Andreas Franke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1999–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | VR | Applying Multi-User Virtual Reality to Collaborative Medical Training. | Jonas Schild, Sebastian Misztal, Benjamin Roth, Leonard Flock, Thomas Luiz, Dieter Lerner, Markus Herkersdorf, Konstantin Wegner, Markus Neuberaer, Andreas Franke, Claus Kemp, Johannes Pranqhofer, Sven Seele, Helmut Buhler, Rainer Herpers |
| 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 |
| 2000 | CADE | System Description: MBASE, an Open Mathematical Knowledge Base. | Andreas Franke, Michael Kohlhase |
| 1999 | CADE | System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving. | Andreas Franke, Michael Kohlhase |