Stephan Swiderski

Analyzing Program Termination and Complexity Automatically with AProVE

Jürgen Giesl, Marc Brockschmidt, René Thiemann, 2016, Journal of Automated Reasoning.

Proving Termination by Dependency Pairs and Inductive Theorem Proving

Jürgen Giesl, Peter Schneider-Kamp, Carsten Fuhs, 2011, Journal of Automated Reasoning.

Termination Analysis by Dependency Pairs and Inductive Theorem Proving

Jürgen Giesl, Peter Schneider-Kamp, Carsten Fuhs, 2009, CADE.

Proving Termination by Bounded Increase

Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, 2007, CADE.

Proving Termination of Programs Automatically with AProVE

Jürgen Giesl, Marc Brockschmidt, René Thiemann, 2014, IJCAR.