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

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

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

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 (1999)
Mechanized verification of imperative and functional programs.
Habilitation, Bibliographie

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

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

Giesl, Jürgen (1997)
Termination of nested and mutually recursive algorithms.
In: Journal of automated reasoning. 19 (1997), S. 1-29
Artikel, 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)
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