Artikel

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

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

Buchkapitel

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

Buch

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

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

Konferenzveröffentlichung

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

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

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

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

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

Giesl, Jürgen (1995)
Automated termination proofs with measure functions.
Konferenzveröffentlichung, 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

Habilitation

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

Dissertation

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