The SCEAS System
Navigation Menu

Search the dblp DataBase


Jürgen Zimmer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jürgen Zimmer, Louise A. Dennis
    Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus. [Citation Graph (0, 0)][DBLP]
    AISC, 2002, pp:319-331 [Conf]
  2. 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]
  3. Jürgen Zimmer, Serge Autexier
    The MathServe System for Semantic Web Reasoning Services. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:140-144 [Conf]
  4. Jürgen Zimmer, Michael Kohlhase
    System Description: The MathWeb Software Bus for Distributed Mathematical Reasoning. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:139-143 [Conf]
  5. Erica Melis, Jürgen Zimmer, Tobias Müller
    Extensions of Constraint Solving for Proof Planning. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:229-233 [Conf]
  6. Erica Melis, Jürgen Zimmer, Tobias Müller
    Integrating Constraint Solving into Proof Planning. [Citation Graph (0, 0)][DBLP]
    FroCos, 2000, pp:32-46 [Conf]
  7. Jürgen Zimmer
    A Framework for Agent-Based Brokering of Reasoning Services. [Citation Graph (0, 0)][DBLP]
    MICAI, 2004, pp:212-221 [Conf]
  8. Jürgen Zimmer, Erica Melis
    Constraint Solving for Proof Planning. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2004, v:33, n:1, pp:51-88 [Journal]

Search in 0.824secs, Finished in 0.824secs
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