TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 15.

Giesl, Jürgen and Hähnle, Reiner (2011):
Preface: Special Issue of Selected Extended Papers of IJCAR 2010.
In: J. Autom. Reasoning, pp. 337-339, 47, (4), DOI: 10.1007/s10817-011-9240-3,
[Online-Edition: https://doi.org/10.1007/s10817-011-9240-3],
[Article]

Giesl, Jürgen and Hähnle, Reiner (eds.) (2010):
Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings.
Springer, In: Lecture Notes in Computer Science, 6173, ISBN 978-3-642-14202-4,
DOI: 10.1007/978-3-642-14203-1,
[Online-Edition: https://doi.org/10.1007/978-3-642-14203-1],
[Book]

Ball, Thomas and Giesl, Jürgen and Hähnle, Reiner and Nipkow, Tobias
Ball, Thomas and Giesl, Jürgen and Hähnle, Reiner and Nipkow, Tobias (eds.) (2009):
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, In: Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009, In: Dagstuhl Seminar Proceedings, 09411, [Online-Edition: http://drops.dagstuhl.de/opus/volltexte/2010/2503/],
[Conference or Workshop Item]

Ball, Thomas and Giesl, Jürgen and Hähnle, Reiner and Nipkow, Tobias (eds.) (2009):
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, In: Dagstuhl Seminar Proceedings, 09411, [Online-Edition: http://drops.dagstuhl.de/portals/09411/],
[Book]

Giesl, Jürgen and Middeldorp, A. (2000):
Eliminating dummy elimination.
Berlin (u.a.), Springer, In: CADE-17: International Conference on Automated Deduction <17, 2000, Pittsburgh, PA>: Proceedings. - Berlin (u.a.): Springer, 2000 = Lecture notes in artifical intelligence; 1831. S. 309-323, [Conference or Workshop Item]

Giesl, Jürgen (1999):
Context-moving transformations for function verification.
Berlin (u.a.), Springer, In: LOPSTR'99: International workshop on Logic-based Program Synthesis and Transformation <9, 1999, Venice>: Proceedings. - Berlin (u.a.): Springer, 2000 = Lecture notes in computer science; 1817. S. 293-312, [Conference or Workshop Item]

Giesl, Jürgen (1999):
Mechanized verification of imperative and functional programs.
Darmstadt, Technische Univ. Darmstadt, [Habilitation]

Giesl, Jürgen and Middeldorp, A. (1999):
Transforming context-sensitive rewrite systems.
Berlin (u.a.), Springer, In: RTA'99: Rewriting techniques and applications: 10th International Conference ; 1999 Trento, Italy ; Proceedings. Hrsg.: P. Narendran. - Berlin (u.a.): Springer, 1999. S. 271-285 (Lecture notes in computer science; 1631), [Conference or Workshop Item]

Giesl, Jürgen and Walther, and Brauburger, J. (1998):
Termination analysis for functional programs.
In: Automated deduction: a basis for applications. Bd. 3. Hrsg.: W. Bibel (u.a.) - Dordrecht: Kluwer Acad. Publ.,1998. S. 135-164, Dordrecht, Kluwer Acad. Publ, [Book Section]

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

Giesl, Jürgen (1996):
Proving partial correctness of partial functions.
In: Workshop on Mechanization of Partial Functions held in conjunction with: International Conference on Automated Deduction <13, 1996, New Brunswick., NJ>: Proceedings. S. 33-38, [Conference or Workshop Item]

Giesl, Jürgen (1995):
Automated termination proofs with measure functions.
Heidelberg (u.a.), Springer, In: German Annual Conference on Artificial Intelligence <19, 1995, Bielefeld>: Proceedings. - Berlin, Heidelberg (u.a.):Springer, 1995. S. 149-160, 981, [Conference or Workshop Item]

Giesl, Jürgen (1995):
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen.
St. Augustin: Infix, 1995. 306 S.,
St. Augustin, Infix, TU Darmstadt, 96, [Ph.D. Thesis]

Giesl, Jürgen (1995):
Generating polynomial orderings for termination proofs.
Heidelberg (u.a.), Springer, In: International Conference on Rewriting Techniques and Applications <6, 1995, Kaiserlautern>: Proceedings. - Berlin, Heidelberg (u.a.): Springer, 1995. S. 426-431, 914, [Conference or Workshop Item]

Giesl, Jürgen (1995):
Termination analysis for functional programs using term orderings.
Heidelberg (u.a.), Springer, In: International static analysis symposium <2, 1995, Glasgow>: Proceedings. - Berlin, Heidelberg (u.a.):Springer, 1995. S. 154-171, 983, [Conference or Workshop Item]

This list was generated on Tue Jun 25 01:23:58 2019 CEST.