Klaus Aehlig
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
2000–2012
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | CAV | Resource Aware ML. | Jan Hoffmann, Klaus Aehlig, Martin Hofmann |
| 2011 | POPL | Multivariate amortized resource analysis. | Jan Hoffmann, Klaus Aehlig, Martin Hofmann |
| 2008 | LICS | On the Computational Complexity of Cut-Reduction. | Klaus Aehlig, Arnold Beckmann |
| 2007 | CSL | Propositional Logic for Circuit Classes. | Klaus Aehlig, Arnold Beckmann |
| 2007 | CSL | Relativizing Small Complexity Classes and Their Theories. | Klaus Aehlig, Stephen A. Cook, Phuong Nguyen |
| 2006 | CSL | A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata. | Klaus Aehlig |
| 2005 | FOSSACS | Safety Is not a Restriction at Level 2 for String Languages. | Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong |
| 2002 | CSL | On Continuous Normalization. | Klaus Aehlig, Felix Joachimski |
| 2000 | LICS | A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation. | Klaus Aehlig, Helmut Schwichtenberg |