Klaus Aehlig, List of Publications

Journal Articles

  1. Klaus Aehlig, Stephen Cook, Phuong Nguyen. Relativizing Small Complexity Classes and their Theories. Computational Complexity, 25(1) (2016), 177-215.
  2. Jan Hoffmann, Klaus Aehlig, Martin Hofmann. Multivariate amortized resource analysis. ACM Transactions on Programming Languages and Systems (TOPLAS), 34(1), 2012.
  3. Klaus Aehlig, Florian Haftmann, Tobias Nipkow. A compiled implementation of normalisation by evaluation. Journal of functional programming, 22(1) (2012), 9-30.
  4. Klaus Aehlig, Arnold Beckmann. On the computational complexity of cut-reduction. Annals of Pure and Applied Logic, 161(6) (2010),711-736.
  5. Klaus Aehlig. Parameter-Free Polymorphic Types. Annals of Pure and Applied Logic, 156 (2008), 1-3.
  6. Klaus Aehlig. A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata. Logical Methods in Computer Science, 3(3:1) (2007).
  7. Klaus Aehlig. Induction and Inductive Definitions in Fragments of Second Order Arithmetic. Journal of Symbolic Logic, 70(4) (2005), 1087-1107.
  8. Klaus Aehlig, Jan Johannsen. An Elementary Fragment of Second-Order Lambda Calculus. ACM Transactions of Computational Logic, 6(2) (2005), 468-480.
  9. Klaus Aehlig, Felix Joachimski. Continuous Normalization for the Lambda-Calculus and Gödel's T. Annals of Pure and Applied Logic, 133(1-3) (2005), 39-71.
  10. Klaus Aehlig, Felix Joachimski. Operational Aspects of Untyped Normalization by Evaluation. Mathematical Structures in Computer Science, 14(4) (2004), 587-611.
  11. Klaus Aehlig, Ulrich Berger, Martin Hofmann, Helmut Schwichtenberg. An arithmetic for non-size-increasing polynomial-time computation. Theoretical Computer Science, 318 (2004), 3-27.
  12. Klaus Aehlig, Helmut Schwichtenberg. A syntactical analysis of non-size-increasing polynomial time computation. ACM Transactions on Computational Logic, 3 (2002), 383-401.
  13. Raimund Winkler, Klaus Aehlig. Temporal variation of thoron decay product concentration in the atmossphere and comparision with radon decay product concentration. Radiation and Environmental Biophysics, 37 (1998), 35-39.

Conference Articles

  1. Jan Hoffmann, Klaus Aehlig, Martin Hofmann. Resource Aware ML International Conference on Computer Aided Verification (CAV'12), 2012.
  2. Jan Hoffmann, Klaus Aehlig, Martin Hofmann. Multivariate Amortized Resource Analysis Symposium on Principles of Programming Languages (POPL '11), 2011.
  3. Klaus Aehlig, Florian Haftmann, Tobias Nipkow. A Compiled Implementation of Normalization by Evaluation. In Proceedings of the Twentyfirst International Conference on Theorem Proving in Higher Order Logics (TPHOLs '08). Springer Lecture Notes in Computer Science 5170 (2008), 39-54.
  4. Klaus Aehlig, Arnold Beckmann. On the computational complexity of cut-reduction. In Proceedings of the Twentythird Annual IEEE Symposium on Logic in Computer Science (LICS '08), 284-293.
  5. Klaus Aehlig, Stephen A. Cook, Phuong Nguyen. Relativizing Small Complexity Classes and their Theories. In Jacques Duprac and Thmoas Henzinger, editors Proceedings of the Sixteenth Annual Conference on Computer Science and Logic (CSL 2007). Springer Lecture Notes in Computer Science 4646 (2007), 374-388.
  6. Klaus Aehlig, Arnold Beckmann. Propositional Logic for Circuit Classes. In Jacques Duprac and Thmoas Henzinger, editors Proceedings of the Sixteenth Annual Conference on Computer Science and Logic (CSL 2007). Springer Lecture Notes in Computer Science 4646 (2007), 512-526.
  7. Andreas Abel, Klaus Aehlig, Peter Dybjer. Normalization by Evaluation for Martin-Löf Type Theory with One Universe. In Marcelo Fiore, editor, Proceedings of the twenty-third Conference on the Mathematical Foundations of Programming Semantics (MFPS 2007). Electronic Notes in Theoretical Computer Science 173 (2007), 17-39.
  8. Klaus Aehlig. A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata. In Zoltan Esik, editor, Computer Science Logic (CSL 2006). Springer Lecture Notes in Computer Science 4207 (2006), 104-118.
  9. Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong. The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two Recursion Schemes Is decidable. In Pawel Urzyczyn, editor, Typed Lambda Calculi and Applications (TLCA 2005). Springer Lecture notes in Computer Science 3461 (2005), 39-54.
  10. Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong. Safety is Not a Restriction at Level 2 for String Languages. In Vladimiro Sassone, editor, Foundations of Software Sciences and Computation Structures (FOSSACS 2005). Springer Lecture Notes in Computer Science 3441 (2005), 490-504.
  11. Klaus Aehlig, Felix Joachimski. On Continuous Normalization. In Julian Bradfield, editor, Computer Science Logic (CSL 2002). Springer Lecture Notes in Computer Science 2471 (2002), 59-73.
  12. Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg, and Sebastiaan A. Terwijn. Linear ramified higher type recursion and parallel complexity. In Reinhard Kahle, Peter Schröder-Heister, and Robert Stärk, editors, Proof Theory in Computer Science. Springer Lecture Notes in Computer Science 2183 (2001), 1-21.
  13. Klaus Aehlig, Helmut Schwichtenberg. A syntactical Analysis of Non-Size-Increasing Polynomial Time Computation. Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science (LICS 2000), 84-91.

Other Publications

  1. Klaus Aehlig. Parallel Time and Proof Complexity. Habilitation thesis, University of Munich, 2010.
  2. Klaus Aehlig. On Fragments of Analysis with Strengths of Finitely Iterated Inductive Definitions. PhD thesis, University Munich, 2003.
  3. Klaus Aehlig. Programmextraktion für nicht-wachsende Polynomialzeitberechnungen. Diplomarbeit (Master thesis), University Munich, 2000.
  4. Klaus Aehlig. The Parallelisation of a Finite Element Code on a Shared-Memory Computer using OpenMP. (Final report of a project of the EPCC Summer Scholarship Programme; published as technical report of the Edinburgh Parallel Computing Center, 1999)
  5. Franz Ruckerbauer, Klaus Aehlig, Raimund Winkler. Zeitaufgelöste Messung niedriger Radongaskonzentrationen. gsf-Bericht 4/98. (Technical report of the "Institut für Strahlenschutz" of the "gsf -- Forschungszentrum für Umwelt und Gesundheit GmbH", 1998) 
$Date: 2016/02/14 12:18:51 $