Edit Profile Hofmann, Martin Compute Distance To: Compute Author ID: hofmann.martin.1 Published as: Hofmann, M.; Hofmann, Martin Homepage: https://www.tcs.ifi.lmu.de/mitarbeiter/martin-hofmann External Links: MGP · Wikidata · dblp · GND Member of Collective: the-univalent-foundations-program. Documents Indexed: 85 Publications since 1995, including 7 Books Biographic References: 1 Publication all top 5 Co-Authors 17 single-authored 8 Beringer, Lennart 6 Dal Lago, Ugo 5 Aspinall, David 5 Benton, Nick 4 Jost, Steffen 4 Loidl, Hans-Wolfgang 4 Nigam, Vivek 4 Pierce, Benjamin C. 4 Streicher, Thomas 3 Karbyshev, Aleksandr 3 Momigliano, Alberto 3 Rodriguez, Dulma 3 Schöpp, Ulrich 2 Aehlig, Klaus 2 Bauer, Sabine 2 Grabowski, Robert 2 Hoffmann, Jan-Philipp 2 Kennedy, Andrew J. 2 Lange, Martin 2 Moser, Georg 2 Ramyaa, Ramyaa 2 Seidl, Helmut 2 Wagner, Daniel 1 Bauer, Andrej 1 Bellantoni, Stephen J. 1 Berger, Ulrich 1 Campbell, Brian A. 1 Chen, Wei 1 Coquand, Thierry 1 Curien, Pierre-Louis 1 Dax, Christian 1 Gabbay, Murdoch James 1 Garner, Richard 1 Hammond, Kevin 1 Hasegawa, Masahito 1 Hötzel Escardó, Martín 1 Konečný, Michal 1 Neukirchen, Christian 1 Pavlova, Mariela 1 Pavlović, Duško 1 Plotkin, Gordon D. 1 Rauschmayer, Axel 1 Rosolini, Giuseppe 1 Rueß, Harald 1 Sannella, Donald T. 1 Schwichtenberg, Helmut 1 Scott, Philip J. 1 Shkaravska, Olha 1 Stark, Ian 1 Stevens, Perdita 1 Tang, Francis C. Y. 1 Urzyczyn, Paweł 1 van Oosten, Jaap 1 Wirsing, Martin all top 5 Serials 8 Theoretical Computer Science 4 Information and Computation 3 MSCS. Mathematical Structures in Computer Science 3 Lecture Notes in Computer Science 2 Journal of Functional Programming 2 Logical Methods in Computer Science 1 The Journal of Symbolic Logic 1 Annals of Pure and Applied Logic 1 Archive for Mathematical Logic 1 Nordic Journal of Computing 1 The Bulletin of Symbolic Logic 1 Theory of Computing Systems 1 Fundamenta Informaticae 1 Computer Languages, Systems & Structures 1 ACM Transactions on Computational Logic 1 Electronic Notes in Theoretical Computer Science all top 5 Fields 71 Computer science (68-XX) 36 Mathematical logic and foundations (03-XX) 7 General and overarching topics; collections (00-XX) 7 Category theory; homological algebra (18-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 1 Combinatorics (05-XX) 1 General algebraic systems (08-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year Citations contained in zbMATH Access to citation profile requires subscription Wikidata Timeline