Jrgen Zimmer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2000–2006
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | CADE | The MathServe System for Semantic Web Reasoning Services. | Jrgen Zimmer, Serge Autexier |
| 2002 | AISC | Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. | Jrgen Zimmer, Louise A. Dennis |
| 2002 | CADE | Proof Development with OMEGA. | Jrg H. Siekmann, Christoph Benzmller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jrgen Zimmer |
| 2002 | CADE | System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. | Jrgen Zimmer, Michael Kohlhase |
| 2000 | ECAI | Extensions of Constraint Solving for Proof Planning. | Erica Melis, Jrgen Zimmer, Tobias Mller |