Stephan Schweitzer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2003–2005
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | LPAR | Reasoning About Incompletely Defined Programs. | Christoph Walther, Stephan Schweitzer |
| 2004 | LPAR | Automated Termination Analysis for Incompletely Defined Programs. | Christoph Walther, Stephan Schweitzer |
| 2003 | CADE | About VeriFun. | Christoph Walther, Stephan Schweitzer |
| 2003 | LPAR | A Machine-Verified Code Generator. | Christoph Walther, Stephan Schweitzer |