Jrgen Brauburger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1996–1998
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | CADE | Termination Analysis by Inductive Evaluation. | Jrgen Brauburger, Jrgen Giesl |
| 1997 | CADE | Plagiator - A Learning Prover. | Thomas Kolbe, Jrgen Brauburger |
| 1997 | SAS | Automatic Termination Analysis for Partial Functions Using Polynomial Orderings. | Jrgen Brauburger |
| 1996 | SAS | Termination Analysis for Partial Functions. | Jrgen Brauburger, Jrgen Giesl |