The SCEAS System
Navigation Menu

Search the dblp DataBase


Andreas Franke: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002