Jürgen Brauburger

According to our database, Jürgen Brauburger authored at least 6 papers between 1996 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1999

Approximating the Domains of Functional and Imperative Programs.

Jürgen Brauburger, Jürgen Giesl

Sci. Comput. Program., 1999

Automatic termination analysis for functional and imperative programs.

Jürgen Brauburger

PhD thesis, 1999

1998

Termination Analysis by Inductive Evaluation.

Jürgen Brauburger, Jürgen Giesl

Proceedings of the Automated Deduction, 1998

1997

Automatic Termination Analysis for Partial Functions Using Polynomial Orderings.

Jürgen Brauburger

Proceedings of the Static Analysis, 4th International Symposium, 1997

Plagiator - A Learning Prover.

Thomas Kolbe, Jürgen Brauburger

Proceedings of the Automated Deduction, 1997

1996

Termination Analysis for Partial Functions.

Jürgen Brauburger, Jürgen Giesl

Proceedings of the Static Analysis, Third International Symposium, 1996