Fabian Emmes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2008–2014
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CADE | Proving Termination of Programs Automatically with AProVE. | Jrgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plcker, Peter Schneider-Kamp, Thomas Strder, Stephanie Swiderski, Ren Thiemann |
| 2014 | TACAS | Alternating Runtime and Size Complexity Analysis of Integer Programs. | Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jrgen Giesl |
| 2012 | CADE | Proving Non-looping Non-termination Automatically. | Fabian Emmes, Tim Enger, Jrgen Giesl |
| 2012 | LOPSTR | Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs. | Jrgen Giesl, Thomas Strder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs |
| 2012 | PPDP | Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs. | Jrgen Giesl, Thomas Strder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs |
| 2011 | CADE | A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems. | Lars Noschinski, Fabian Emmes, Jrgen Giesl |
| 2011 | LOPSTR | A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog. | Thomas Strder, Fabian Emmes, Peter Schneider-Kamp, Jrgen Giesl, Carsten Fuhs |
| 2008 | LPAR | Improving Context-Sensitive Dependency Pairs. | Beatriz Alarcn, Fabian Emmes, Carsten Fuhs, Jrgen Giesl, Ral Gutirrez, Salvador Lucas, Peter Schneider-Kamp, Ren Thiemann |