 | 2006 |
|---|
| 7 |       | Christian Diedrich,
Jan Krause,
Andreas Franke:
UML based software development under safety constraints.
Sicherheit 2006: 361-368 |
| 2002 |
|---|
| 6 |  | Jörg H. Siekmann,
Christoph Benzmüller,
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,
Jürgen Zimmer:
Proof Development with OMEGA.
CADE 2002: 144-149 |
| 2001 |
|---|
| 5 | | Michael Kohlhase,
Andreas Franke:
MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems.
J. Symb. Comput. 32(4): 365-402 (2001) |
| 2000 |
|---|
| 4 | | Andreas Franke,
Michael Kohlhase:
System Description: MBASE, an Open Mathematical Knowledge Base.
CADE 2000: 455-459 |
| 1999 |
|---|
| 3 | | Andreas Franke,
Michael Kohlhase:
System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving.
CADE 1999: 217-221 |
| 2 | | Andreas Franke,
Michael Kohlhase:
MBase: Representing mathematical knowledge in a relational data base.
Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
| 1 | | Andreas Franke,
Stephan M. Hess,
Christoph G. Jung,
Michael Kohlhase,
Volker Sorge:
Agent-Oriented Integration of Distributed Mathematical Services.
J. UCS 5(3): 156-187 (1999) |
