Martin Hofmann 0001
Person information
- affiliation: LMU Munich, Institute for Informatics
Other persons with the same name
- Martin Hofmann
- Martin Hofmann 0002 — SAP AG, Walldorf, Germany
- Martin Hofmann 0005 — Forschungszentrum Karlsruhe, Germany
- Martin Hofmann 0006 — Vanderbilt University, Nashville, TN, USA
- Martin Hofmann 0007 — University of Jena, Germany
- Martin Hofmann 0008 — University of Bamberg, Germany
- Martin Hofmann-Apitius (aka: Martin Hofmann 0009) — Fraunhofer Institute for Algorithms and Scientific Computing (and 1 more)
- Martin Hofmann 0010 — Volkswagen AG
- Martin Hofmann 0011 — TU Munich, Institute for Human-Machine Communication
- Martin Hofmann 0012 — Pädagogische Hochschule des Kantons St.Gallen
- Martin Hofmann 0013 — Institute of Sports Science, University of Magdeburg
- Martin Hofmann 0014 — University of Würzburg, Institute of Mathematics
- Martin Möddel (aka: Martin Hofmann 0016) — University Medical Center Hamburg-Eppendorf, Institute of Biomedical Imaging, Germany
- Martin Hofmann 0017 — Ruhr University Bochum, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j37]Nick Benton, Martin Hofmann, Vivek Nigam:
Proof-Relevant Logical Relations for Name Generation. Logical Methods in Computer Science 14(1) (2018) - [j36]Nick Benton, Martin Hofmann, Vivek Nigam:
Effect-dependent transformations for concurrent programs. Sci. Comput. Program. 155: 27-51 (2018) - [j35]Martin Hofmann, David Aspinall, Brian Campbell, Ian Stark, Perdita Stevens:
Foreword. Theor. Comput. Sci. 741: 1-2 (2018) - [c88]Sabine Bauer, Steffen Jost, Martin Hofmann:
Decidable Inequalities over Infinite Trees. LPAR 2018: 111-130 - [i19]Serdar Erbatur, Martin Hofmann, Eugen Zalinescu:
Enforcing Programming Guidelines with Region Types and Effects. CoRR abs/1801.07647 (2018) - [i18]
- [i17]Martin Hofmann, Georg Moser:
Analysis of Logarithmic Amortised Complexity. CoRR abs/1807.08242 (2018) - 2017
- [c87]Serdar Erbatur, Martin Hofmann, Eugen Zalinescu:
Enforcing Programming Guidelines with Region Types and Effects. APLAS 2017: 85-104 - [c86]Martin Hofmann, Jérémy Ledent:
A cartesian-closed category for higher-order model checking. LICS 2017: 1-12 - [c85]
- [i16]Nick Benton, Martin Hofmann, Vivek Nigam:
Proof-Relevant Logical Relations for Name Generation. CoRR abs/1708.05193 (2017) - 2016
- [c84]
- [c83]Nick Benton, Andrew Kennedy, Martin Hofmann, Vivek Nigam:
Counting Successes: Effects and Transformations for Non-deterministic Programs. A List of Successes That Can Change the World 2016: 56-72 - [c82]
- [c81]Nick Benton, Martin Hofmann, Vivek Nigam:
Effect-dependent transformations for concurrent programs. PPDP 2016: 188-201 - [c80]Martin Hofmann, Christian Neukirchen, Harald Rueß:
Certification for μ-Calculus with Winning Strategies. SPIN 2016: 111-128 - [i15]Christoph-Simon Senjak, Martin Hofmann:
An implementation of Deflate in Coq. CoRR abs/1609.01220 (2016) - [i14]Andrej Bauer, Martin Hofmann, Matija Pretnar, Jeremy Yallop:
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112). Dagstuhl Reports 6(3): 44-58 (2016) - 2015
- [c79]
- [c78]
- [c77]Serdar Erbatur, Martin Hofmann:
GuideForce: Type-Based Enforcement of Programming Guidelines. SEFM Workshops 2015: 75-89 - [c76]Martin Hofmann, Georg Moser:
Multivariate Amortised Resource Analysis for Term Rewrite Systems. TLCA 2015: 241-256 - [i13]Nick Benton, Martin Hofmann, Vivek Nigam:
Effect-Dependent Transformations for Concurrent Programs. CoRR abs/1510.02419 (2015) - 2014
- [j34]Pierre-Louis Curien, Richard Garner, Martin Hofmann:
Revisiting the categorical interpretation of dependent type theory. Theor. Comput. Sci. 546: 99-119 (2014) - [c75]
- [c74]Gordon Cichon, Martin Hofmann:
Formal Semantics of Synchronous Transfer Architecture. Modellierung 2014: 257-272 - [c73]Nick Benton, Martin Hofmann, Vivek Nigam:
Abstract effects and proof-relevant logical relations. POPL 2014: 619-632 - [c72]Martin Hofmann, Georg Moser:
Amortised Resource Analysis and Typed Polynomial Interpretations. RTA-TLCA 2014: 272-286 - [i12]Martin Hofmann, Harald Ruess:
Certification for mu-calculus with winning strategies. CoRR abs/1401.1693 (2014) - [i11]
- [i10]Martin Hofmann, Georg Moser:
Amortised Resource Analysis and Typed Polynomial Interpretations (extended version). CoRR abs/1402.1922 (2014) - 2013
- [j33]Lennart Beringer, Robert Grabowski, Martin Hofmann:
Verifying pointer and string analyses with region type systems. Computer Languages, Systems & Structures 39(2): 49-65 (2013) - [j32]Martin Hofmann, Benjamin C. Pierce, Daniel Wagner:
Edit languages for information trees. ECEASST 57 (2013) - [c71]Martin Hofmann, Dulma Rodriguez:
Automatic Type Inference for Amortised Heap-Space Analysis. ESOP 2013: 593-613 - [c70]Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev:
On Monadic Parametricity of Second-Order Functionals. FoSSaCS 2013: 225-240 - [c69]Martin Hofmann, Ramyaa Ramyaa, Ulrich Schöpp:
Pure Pointer Programs and Tree Isomorphism. FoSSaCS 2013: 321-336 - [c68]
- [c67]Nick Benton, Martin Hofmann, Vivek Nigam:
Proof-Relevant Logical Relations for Name Generation. TLCA 2013: 48-60 - [i9]Martin Hofmann, Ramyaa Ramyaa:
Power of Nondetreministic JAGs on Cayley graphs. CoRR abs/1310.8317 (2013) - 2012
- [j31]Jan Hoffmann, Klaus Aehlig, Martin Hofmann:
Multivariate amortized resource analysis. ACM Trans. Program. Lang. Syst. 34(3): 14:1-14:62 (2012) - [c66]
- [c65]
- [c64]
- [c63]
- [i8]Nick Benton, Martin Hofmann, Vivek Nigam:
Abstract Effects and Proof-Relevant Logical Relations. CoRR abs/1212.5692 (2012) - 2011
- [b2]Martin Hofmann, Martin Lange:
Automatentheorie und Logik. eXamen.press, Springer 2011, ISBN 978-3-642-18089-7, pp. I-X, 1-240 - [j30]Ugo Dal Lago, Martin Hofmann:
Realizability models and implicit complexity. Theor. Comput. Sci. 412(20): 2029-2047 (2011) - [c62]Robert Grabowski, Martin Hofmann, Keqin Li:
Type-Based Enforcement of Secure Programming Guidelines - Code Injection Prevention at SAP. Formal Aspects in Security and Trust 2011: 182-197 - [c61]Jan Hoffmann, Klaus Aehlig, Martin Hofmann:
Multivariate amortized resource analysis. POPL 2011: 357-370 - [c60]
- [e7]Martin Hofmann:
Foundations of Software Science and Computational Structures - 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings. Lecture Notes in Computer Science 6604, Springer 2011, ISBN 978-3-642-19804-5 [contents] - 2010
- [j29]Ugo Dal Lago, Martin Hofmann:
Bounded Linear Logic, Revisited. Logical Methods in Computer Science 6(4) (2010) - [j28]Ugo Dal Lago, Martin Hofmann:
A Semantic Proof of Polytime Soundness of Light Affine Logic. Theory Comput. Syst. 46(4): 673-689 (2010) - [j27]Martin Hofmann, Ulrich Schöpp:
Pure pointer programs with iteration. ACM Trans. Comput. Log. 11(4): 26:1-26:23 (2010) - [c59]Jan Hoffmann, Martin Hofmann:
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics. APLAS 2010: 172-187 - [c58]Jan Hoffmann, Martin Hofmann:
Amortized Resource Analysis with Polynomial Potential. ESOP 2010: 287-306 - [c57]Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl:
What Is a Pure Functional? ICALP (2) 2010: 199-210 - [c56]Lennart Beringer, Robert Grabowski, Martin Hofmann:
Verifying Pointer and String Analyses with Region Type Systems. LPAR (Dakar) 2010: 82-102 - [c55]Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann:
Static determination of quantitative resource usage for higher-order programs. POPL 2010: 223-236 - [c54]
- [c53]Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl:
Verifying a Local Generic Solver in Coq. SAS 2010: 340-355 - [e6]Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann:
Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010. Dagstuhl Seminar Proceedings 10351, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [e5]Martin Wirsing, Martin Hofmann, Axel Rauschmayer:
Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6084, Springer 2010, ISBN 978-3-642-15639-7 [contents] - [i7]Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann:
10351 Abstracts Collection - Modelling, Controlling and Reasoning About State. Modelling, Controlling and Reasoning About State 2010 - [i6]Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann:
10351 Executive Summary - Modelling, Controlling and Reasoning About State. Modelling, Controlling and Reasoning About State 2010
2000 – 2009
- 2009
- [c52]Martin Hofmann, Dulma Rodriguez:
Efficient Type-Checking for Amortised Heap-Space Analysis. CSL 2009: 317-331 - [c51]Martin Hofmann, Dulma Rodriguez:
Membership Checking in Greatest Fixpoints Revisited. FICS 2009: 46-53 - [c50]Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann:
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM 2009: 354-369 - [c49]
- [c48]Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann:
Relational semantics for effect-based program transformations: higher-order store. PPDP 2009: 301-312 - [c47]
- 2008
- [d2]Lennart Beringer, Martin Hofmann:
Secure information flow and program logics. Archive of Formal Proofs 2008 (2008) - [d1]Lennart Beringer, Martin Hofmann:
A Bytecode Logic for JML and Types. Archive of Formal Proofs 2008 (2008) - [j26]David Aspinall, Martin Hofmann, Michal Konecný:
A type system with usage aspects. J. Funct. Program. 18(2): 141-178 (2008) - [c46]Masahito Hasegawa, Martin Hofmann, Gordon D. Plotkin:
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. Pillars of Computer Science 2008: 367-385 - [c45]
- [c44]Ugo Dal Lago, Martin Hofmann:
A Semantic Proof of Polytime Soundness of Light Affine Logic. CSR 2008: 134-145 - [c43]
- [e4]Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett:
Types, Logics and Semantics for State, 03.02. - 08.02.2008. Dagstuhl Seminar Proceedings 08061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - [i5]Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett:
08061 Executive Summary -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008 - [i4]Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett:
08061 Abstracts Collection -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008 - [i3]Ulrich Schöpp, Martin Hofmann:
Pointer Programs and Undirected Reachability. Electronic Colloquium on Computational Complexity (ECCC) 15(090) (2008) - 2007
- [j25]David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano:
A program logic for resources. Theor. Comput. Sci. 389(3): 411-445 (2007) - [c42]
- [c41]Lennart Beringer, Martin Hofmann, Mariela Pavlova:
Certification Using the Mobius Base Logic. FMCO 2007: 25-51 - [c40]Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann:
Relational semantics for effect-based program transformations with dynamic allocation. PPDP 2007: 87-96 - [c39]
- [e3]Martin Hofmann, Matthias Felleisen:
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007. ACM 2007, ISBN 1-59593-575-4 [contents] - 2006
- [j24]Martin Hofmann, Jaap van Oosten, Thomas Streicher:
Well-foundedness in Realizability. Arch. Math. Log. 45(7): 795-805 (2006) - [j23]Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann:
Consistency of the theory of contexts. J. Funct. Program. 16(3): 327-372 (2006) - [j22]
- [c38]Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer:
Reading, Writing and Relations. APLAS 2006: 114-130 - [c37]
- [c36]
- [c35]Christian Dax, Martin Hofmann, Martin Lange:
A Proof System for the Linear Time µ-Calculus. FSTTCS 2006: 273-284 - [c34]Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard:
MOBIUS: Mobility, Ubiquity, Security. TGC 2006: 10-29 - [c33]Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace:
Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET 2006 - 2005
- [j21]Martin Hofmann, Pawel Urzyczyn:
Typed Lambda Calculi and Applications 2003, Selected Papers. Fundam. Inform. 65(1-2) (2005) - [c32]
- [c31]
- [c30]Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace:
The Embounded project (project start paper). Trends in Functional Programming 2005: 195-210 - [c29]Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska:
Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming 2005: 211-226 - [i2]Ugo Dal Lago, Martin Hofmann:
Quantitative Models and Implicit Complexity. CoRR abs/cs/0506079 (2005) - 2004
- [j20]Martín Hötzel Escardó, Martin Hofmann, Thomas Streicher:
On the non-sequential nature of the interval-domain model of real-number computation. Mathematical Structures in Computer Science 14(6): 803-814 (2004) - [j19]Klaus Aehlig, Ulrich Berger, Martin Hofmann, Helmut Schwichtenberg:
An arithmetic for non-size-increasing polynomial-time computation. Theor. Comput. Sci. 318(1-2): 3-27 (2004) - [j18]Martin Hofmann, Philip J. Scott:
Realizability models for BLL-like languages. Theor. Comput. Sci. 318(1-2): 121-137 (2004) - [c28]David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark:
Mobile Resource Guarantees for Smart Devices. CASSIS 2004: 1-26 - [c27]
- [c26]Lennart Beringer, Martin Hofmann, Alberto Momigliano, Olha Shkaravska:
Automatic Certification of Heap Consumption. LPAR 2004: 347-362 - [c25]David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano:
A Program Logic for Resource Verification. TPHOLs 2004: 34-49 - [e2]Thorsten Altenkirch, Martin Hofmann, John Hughes:
Dependently Typed Programming, 12.09. - 17.09.2004. Dagstuhl Seminar Proceedings 04381, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - [i1]Thorsten Altenkirch, Martin Hofmann, John Hughes:
04381 Abstracts Collection - Dependently Typed Programming. Dependently Typed Programming 2004 - 2003
- [j17]Martin Hofmann:
Linear types and non-size-increasing polynomial time computation. Inf. Comput. 183(1): 57-85 (2003) - [j16]
- [c24]
- [c23]Martin Hofmann, Steffen Jost:
Static prediction of heap space usage for first-order functional programs. POPL 2003: 185-197 - [e1]Martin Hofmann:
Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. Lecture Notes in Computer Science 2701, Springer 2003, ISBN 3-540-40332-9 [contents] - 2002
- [j15]
- [j14]Martin Hofmann, Thomas Streicher:
Completeness of Continuation Models for lambda-mu-Calculus. Inf. Comput. 179(2): 332-355 (2002) - [j13]Stephen Bellantoni, Martin Hofmann:
A New "Feasible" Arithmetic. J. Symb. Log. 67(1): 104-116 (2002) - [c22]
- [c21]
- 2001
- [c20]Thorsten Altenkirch, Peter Dybjer, Martin Hofmann, Philip J. Scott:
Normalization by Evaluation for Typed Lambda Calculus with Coproducts. LICS 2001: 303-310 - [c19]Martin Hofmann:
The Strength of Non-size-increasing Computation (Introduction and Summary). MFCS 2001: 58-61 - [c18]Martin Hofmann:
From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour. TLCA 2001: 2-3 - 2000
- [j12]Martin Hofmann:
Safe recursion with higher types and BCK-algebra. Ann. Pure Appl. Logic 104(1-3): 113-166 (2000) - [j11]Martin Hofmann:
A Type System for Bounded Space and Functional In-Place Update. Nord. J. Comput. 7(4): 258-289 (2000) - [j10]
- [c17]Martin Hofmann:
A Type System for Bounded Space and Functional In-Place Update--Extended Abstract. ESOP 2000: 165-179 - [c16]Martin Hofmann, Francis Tang:
Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover. TPHOLs 2000: 268-282
1990 – 1999
- 1999
- [j9]
- [j8]