The SCEAS System
Navigation Menu

Search the dblp DataBase


Thomas Hillenbrand: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, Hendrik Spies
    The New WALDMEISTER Loop at Work. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:317-321 [Conf]
  2. Harald Ganzinger, Thomas Hillenbrand, Uwe Waldmann
    Superposition Modulo a Shostak Theory. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:182-196 [Conf]
  3. Thomas Hillenbrand
    A Superposition View on Nelson-Oppen. [Citation Graph (0, 0)][DBLP]
    IJCAR Doctoral Programme, 2004, pp:- [Conf]
  4. Thomas Hillenbrand, Andreas Jaeger, Bernd Löchner
    System Description: Waldmeister - Improvements in Performance and Ease of Use. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:232-236 [Conf]
  5. Thomas Hillenbrand, Bernd Löchner
    The Next W ALDMEISTER Loop. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:486-500 [Conf]
  6. Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov
    On the Evaluation of Indexing Techniques for Theorem Proving. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2001, pp:257-271 [Conf]
  7. Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobald, Dalibor Topic
    S PASS Version 2.0. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:275-279 [Conf]
  8. Arnim Buch, Thomas Hillenbrand, Roland Fettig
    WALDMEISTER: High Performance Equational Theorem Proving. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:63-64 [Conf]
  9. Bijan Afshordel, Thomas Hillenbrand, Christoph Weidenbach
    First-Order Atom Definitions Extended. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:309-319 [Conf]
  10. Thomas Hillenbrand, Arnim Buch, Roland Fettig
    On Gaining Efficiency in Completion-Based Theorem Proving. [Citation Graph (0, 0)][DBLP]
    RTA, 1996, pp:432-435 [Conf]
  11. Bernd Löchner, Thomas Hillenbrand
    A phytography of WALDMEISTER. [Citation Graph (0, 0)][DBLP]
    AI Commun., 2002, v:15, n:2-3, pp:127-133 [Journal]
  12. Thomas Hillenbrand
    Citius altius fortius: Lessons learned from the Theorem Prover WALDMEISTER. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:86, n:1, pp:- [Journal]
  13. Thomas Hillenbrand, Arnim Buch, Roland Vogt, Bernd Löchner
    WALDMEISTER - High-Performance Equational Deduction. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:2, pp:265-270 [Journal]
  14. Jürgen Avenhaus, Thomas Hillenbrand, Bernd Löchner
    On using ground joinable equations in equational theorem proving. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2003, v:36, n:1-2, pp:217-233 [Journal]
  15. Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic
    System Description: SpassVersion 3.0. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:514-520 [Conf]

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