2011

Giesl, Jürgen ; Hähnle, Reiner (2011)
Preface: Special Issue of Selected Extended Papers of IJCAR 2010.
In: J. Autom. Reasoning, 47 (4)
doi: 10.1007/s10817-011-9240-3
Artikel, Bibliographie

2010

Hrsg.: Giesl, Jürgen ; Hähnle, Reiner (2010)
Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings.
doi: 10.1007/978-3-642-14203-1
Buch, Bibliographie

2009

Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias
Hrsg.: Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (2009)
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (2009)
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009.
Buch, Bibliographie

2000

Giesl, Jürgen ; Middeldorp, A. (2000)
Eliminating dummy elimination.
Konferenzveröffentlichung, Bibliographie

1999

Giesl, Jürgen (1999)
Context-moving transformations for function verification.
Konferenzveröffentlichung, Bibliographie

Giesl, Jürgen (1999)
Mechanized verification of imperative and functional programs.
Habilitation, Bibliographie

Giesl, Jürgen ; Middeldorp, A. (1999)
Transforming context-sensitive rewrite systems.
Konferenzveröffentlichung, Bibliographie

1998

Giesl, Jürgen ; Walther, Christoph ; Brauburger, J.
Hrsg.: Bibel, Wolfgang (1998)
Termination Analysis for Functional Programs.
In: Automated deduction: a basis for applications. Volume III Applications
doi: 10.1007/978-94-017-0437-3
Buchkapitel, Bibliographie

1997

Giesl, Jürgen (1997)
Termination of nested and mutually recursive algorithms.
In: Journal of automated reasoning. 19 (1997), S. 1-29
Artikel, Bibliographie

1996

Giesl, Jürgen (1996)
Proving partial correctness of partial functions.
Konferenzveröffentlichung, Bibliographie

1995

Giesl, Jürgen (1995)
Automated termination proofs with measure functions.
Konferenzveröffentlichung, Bibliographie

Giesl, Jürgen (1995)
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen.
Technische Universität Darmstadt
Dissertation, Bibliographie

Giesl, Jürgen (1995)
Generating polynomial orderings for termination proofs.
Konferenzveröffentlichung, Bibliographie

Giesl, Jürgen (1995)
Termination analysis for functional programs using term orderings.
Konferenzveröffentlichung, Bibliographie