dblp.uni-trier.dewww.uni-trier.de

Thomas Hillenbrand Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Bijan Afshordel [5]
2Jürgen Avenhaus [10]
3Uwe Brahm [9]
4Arnim Buch [1] [2] [3]
5Roland Fettig [1] [2]
6Jean-Marie Gaillourdet [12]
7Harald Ganzinger [13]
8Andreas Jaeger [4]
9Enno Keen [9]
10Bernd Löchner [3] [4] [7] [8] [10] [12]
11Robert Nieuwenhuis [6]
12Alexandre Riazanov [6]
13Rostislav Rusev [15]
14Renate A. Schmidt [15]
15Hendrik Spies [12]
16Christian Theobald [9]
17Dalibor Topic [9] [15]
18Roland Vogt [3]
19Andrei Voronkov [6]
20Uwe Waldmann [13]
21Christoph Weidenbach [5] [9] [15]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)