Fabian Emmes

11 papers A 4B 1C 3Journal 3
YearRankTypeTitle / Venue / Authors
2017 J jnl
Analyzing Program Termination and Complexity Automatically with AProVE.
J. Autom. Reason.
Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann
2016 J jnl
Analyzing Runtime and Size Complexity of Integer Programs.
ACM Trans. Program. Lang. Syst.
Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl
2014 A conf
Alternating Runtime and Size Complexity Analysis of Integer Programs.
TACAS
Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl
2014 A conf
Proving Termination of Programs Automatically with AProVE.
IJCAR
Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann
2013 J jnl
Analyzing Innermost Runtime Complexity of Term Rewriting by Dependency Pairs.
J. Autom. Reason.
Lars Noschinski, Fabian Emmes, Jürgen Giesl
2012 A conf
Proving Non-looping Non-termination Automatically.
IJCAR
Fabian Emmes, Tim Enger, Jürgen Giesl
2012 C conf
Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs.
LOPSTR
Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs
2012 C conf
Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs.
PPDP
Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs
2011 A conf
A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems.
CADE
Lars Noschinski, Fabian Emmes, Jürgen Giesl
2011 C conf
A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog.
LOPSTR
Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl, Carsten Fuhs
2008 B conf
Improving Context-Sensitive Dependency Pairs.
LPAR
Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann