TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 15.

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

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

Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias
Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (eds.) :

09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
[Online-Edition: http://drops.dagstuhl.de/opus/volltexte/2010/2503/]
In: Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009. In: Dagstuhl Seminar Proceedings , 09411 . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany
[Konferenz- oder Workshop-Beitrag], (2009)

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

Giesl, Jürgen ; Middeldorp, A. :
Eliminating dummy elimination.
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 . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (2000)

Giesl, Jürgen :
Context-moving transformations for function verification.
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 . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (1999)

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

Giesl, Jürgen ; Middeldorp, A. :
Transforming context-sensitive rewrite systems.
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) . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (1999)

Giesl, Jürgen ; Walther, ; Brauburger, J. :
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. Kluwer Acad. Publ, Dordrecht
[Buchkapitel], (1998)

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

Giesl, Jürgen :
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 .
[Konferenz- oder Workshop-Beitrag], (1996)

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

Giesl, Jürgen :
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen.
Infix , St. Augustin
[Dissertation]

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

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

Diese Liste wurde am Tue Jun 19 02:20:20 2018 CEST generiert.