Stephan Swiderski

Publication Activity (10 Years)

Years Active: 2006-2011
Publications (10 Years): 0

Publications

Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann
Automated termination proofs for haskell by term rewriting. ACM Trans. Program. Lang. Syst. 33 (2) (2011)
Carsten Fuhs, Jürgen Giesl, Michael Parting, Peter Schneider-Kamp, Stephan Swiderski
Proving Termination by Dependency Pairs and Inductive Theorem Proving. J. Autom. Reason. 47 (2) (2011)
Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp
Inductive Theorem Proving meets Dependency Pairs. Interaction versus Automation: The two Faces of Deduction (2009)
Stephan Swiderski, Michael Parting, Jürgen Giesl, Carsten Fuhs, Peter Schneider-Kamp
Termination Analysis by Dependency Pairs and Inductive Theorem Proving. CADE (2009)
Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik
Termination of Programs using Term Rewriting and SAT Solving. Deduction and Decision Procedures (2007)
Jürgen Giesl, René Thiemann, Stephan Swiderski, Peter Schneider-Kamp
Proving Termination by Bounded Increase. CADE (2007)
Jürgen Giesl, Stephan Swiderski, Peter Schneider-Kamp, René Thiemann
Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages. RTA (2006)