Jürgen Brauburger

Publication Activity (10 Years)

Years Active: 1996-1999
Publications (10 Years): 0

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Jürgen Brauburger, Jürgen Giesl
Approximating the Domains of Functional and Imperative Programs. Sci. Comput. Program. 35 (2) (1999)
Jürgen Brauburger, Jürgen Giesl
Termination Analysis by Inductive Evaluation. CADE (1998)
Thomas Kolbe, Jürgen Brauburger
Plagiator - A Learning Prover. CADE (1997)
Jürgen Brauburger
Automatic Termination Analysis for Partial Functions Using Polynomial Orderings. SAS (1997)
Jürgen Brauburger, Jürgen Giesl
Termination Analysis for Partial Functions. SAS (1996)