Thomas Kufl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
1986–1993
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | STACS | The Program Verifier Tatzelwurm. | Thomas Kufl |
| 1992 | TABLEAUX | The Prover of the Program Verification System Tatzelwurm. | Thomas Kufl |
| 1990 | CADE | The Theorem Prover of the Program Verifier Tatzelwurm. | Thomas Kufl, Nicolas Zabel |
| 1988 | CADE | Reasoning about Systems of Linear Inequalities. | Thomas Kufl |
| 1986 | CADE | Program Verifier "Tatzelwurm": Reasoning about Systems of Linear Inequalities. | Thomas Kufl |