Fabian Emmes

According to our database, Fabian Emmes authored at least 10 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Analyzing Program Termination and Complexity Automatically with AProVE.

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

J. Autom. Reason., 2017

2016

Analyzing Runtime and Size Complexity of Integer Programs.

Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl

ACM Trans. Program. Lang. Syst., 2016

2014

Alternating Runtime and Size Complexity Analysis of Integer Programs.

Marc Brockschmidt, Fabian Emmes, Stephan Falke, Carsten Fuhs, Jürgen Giesl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Proving Termination of Programs Automatically with AProVE.

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

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Analyzing Innermost Runtime Complexity of Term Rewriting by Dependency Pairs.

Lars Noschinski, Fabian Emmes, Jürgen Giesl

J. Autom. Reason., 2013

2012

Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs.

Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

Proving Non-looping Non-termination Automatically.

Fabian Emmes, Tim Enger, Jürgen Giesl

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog.

Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl, Carsten Fuhs

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems.

Lars Noschinski, Fabian Emmes, Jürgen Giesl

Proceedings of the Automated Deduction - CADE-23 - 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31, 2011

2008

Improving Context-Sensitive Dependency Pairs.

Beatriz Alarcón, Fabian Emmes, Carsten Fuhs, Jürgen Giesl, Raúl Gutiérrez, Salvador Lucas, Peter Schneider-Kamp, René Thiemann

Proceedings of the Logic for Programming, 2008