Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Jürgen Brauburger

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/daglib/0097892
- ask others
Jürgen Brauburger: Automatic termination analysis for functional and imperative programs. DISKI 207, Infix 1999, ISBN 978-3-89601-207-4, pp. 1-244
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/scp/BrauburgerG99
- ask others
Jürgen Brauburger, Jürgen Giesl: Approximating the Domains of Functional and Imperative Programs. Sci. Comput. Program. 35(2): 113-136 (1999)
1998
[c4]
- view
  - electronic edition @ springer.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/BrauburgerG98
- ask others
Jürgen Brauburger, Jürgen Giesl: Termination Analysis by Inductive Evaluation. CADE 1998: 254-269
1997
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cade/KolbeB97
- ask others
Thomas Kolbe, Jürgen Brauburger: Plagiator - A Learning Prover. CADE 1997: 256-259
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sas/Braunburger97
- ask others
Jürgen Brauburger: Automatic Termination Analysis for Partial Functions Using Polynomial Orderings. SAS 1997: 330-344
1996
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sas/BrauburgerG96
- ask others
Jürgen Brauburger, Jürgen Giesl: Termination Analysis for Partial Functions. SAS 1996: 113-127

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?