Search the dblp DataBase

Publications of Author

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