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

Christoph Weidenbach Vis

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

*2009
31EEChristoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski: SPASS Version 3.5. CADE 2009: 140-145
30EEMatthias Horbach, Christoph Weidenbach: Decidability Results for Saturation-Based Model Building. CADE 2009: 404-420
29EEMatthias Horbach, Christoph Weidenbach: Deciding the Inductive Validity of FOR ALL THERE EXISTS * Queries. CSL 2009: 332-347
28EEErnst Althaus, Evgeny Kruglov, Christoph Weidenbach: Superposition Modulo Linear Arithmetic SUP(LA). FroCos 2009: 84-99
2008
27EEMatthias Horbach, Christoph Weidenbach: Superposition for Fixed Domains. CSL 2008: 293-307
26EEArnaud Fietzke, Christoph Weidenbach: Labelled Splitting. IJCAR 2008: 459-474
25EEChristoph Weidenbach, Patrick Wischnewski: Contextual Rewriting in SPASS. PAAR/ESHOL 2008
24EEMatthias Horbach, Christoph Weidenbach: Superposition for Fixed Domains CoRR abs/0809.0922: (2008)
2007
23EETal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv: Labelled Clauses. CADE 2007: 311-327
22EEChristoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic: System Description: SpassVersion 3.0. CADE 2007: 514-520
2002
21EEChristoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobald, Dalibor Topic: S PASS Version 2.0. CADE 2002: 275-279
2001
20EEBijan Afshordel, Thomas Hillenbrand, Christoph Weidenbach: First-Order Atom Definitions Extended. LPAR 2001: 309-319
19 Christoph Weidenbach: Combining Superposition, Sorts and Splitting. Handbook of Automated Reasoning 2001: 1965-2013
18 Andreas Nonnengart, Christoph Weidenbach: Computing Small Clause Normal Forms. Handbook of Automated Reasoning 2001: 335-367
1999
17EEChristoph Weidenbach: Towards an Automatic Analysis of Security Protocols in First-Order Logic. CADE 1999: 314-328
16EEChristoph Weidenbach: System Description: Spass Version 1.0.0. CADE 1999: 378-382
15EEUllrich Hustadt, Renate A. Schmidt, Christoph Weidenbach: MSPASS: Subsumption Testing with SPASS. Description Logics 1999
1998
14EEAndreas Nonnengart, Georg Rock, Christoph Weidenbach: On Generating Small Clause Normal Forms. CADE 1998: 397-411
13EEFlorent Jacquemard, Christoph Meyer, Christoph Weidenbach: Unification in Extension of Shallow Equational Theories. RTA 1998: 76-90
12 Reinhold Letz, Christoph Weidenbach: Paradigmen und Perspektiven der automatischen Deduktion. KI 12(4): 15-19 (1998)
1997
11EEHarald Ganzinger, Christoph Meyer, Christoph Weidenbach: Soft Typing for Ordered Resolution. CADE 1997: 321-335
10 Christoph Weidenbach: SPASS - Version 0.49. J. Autom. Reasoning 18(2): 247-252 (1997)
1996
9EEChristoph Weidenbach, Bernd Gaede, Georg Rock: SPASS & FLOTTER Version 0.42. CADE 1996: 141-145
8EEChristoph Weidenbach: Unification in Pseudo-Linear Sort Theories is Decidable. CADE 1996: 343-357
7 Christoph Weidenbach: Unification in Sort Theories and Its Applications. Ann. Math. Artif. Intell. 18(2-4): 261-293 (1996)
1995
6 Hans Jürgen Ohlbach, Christoph Weidenbach: A Note on Assumptions about Skolem Functions. J. Autom. Reasoning 15(2): 267-275 (1995)
5EEChristoph Weidenbach: First-Order Tableaux with Sorts. Logic Journal of the IGPL 3(6): 887-906 (1995)
1993
4 Christoph Weidenbach: Extending the Resolution Method with Sorts. IJCAI 1993: 60-65
1992
3 Christoph Weidenbach: A New Sorted Logic. GWAI 1992: 43-54
2 Manfred Kerber, Christoph Weidenbach: Deduktionssysteme. KI 6(3): 14-22 (1992)
1990
1 Christoph Weidenbach, Hans Jürgen Ohlbach: A Resolution Calculus with Dynamic Sort Structures and Partial Functions. ECAI 1990: 688-693

Coauthor Index

1Bijan Afshordel [20]
2Ernst Althaus [28]
3Uwe Brahm [21]
4Dilyana Dimova [31]
5Arnaud Fietzke [26] [31]
6Bernd Gaede [9]
7Harald Ganzinger [11]
8Thomas Hillenbrand [20] [21] [22]
9Matthias Horbach [24] [27] [29] [30]
10Ullrich Hustadt [15]
11Florent Jacquemard [13]
12Enno Keen [21]
13Manfred Kerber [2]
14Christoph M. Kirsch (Christoph Meyer) [11] [13]
15Evgeny Kruglov [28]
16Rohit Kumar [31]
17Reinhold Letz [12]
18Tal Lev-Ami [23]
19Andreas Nonnengart [14] [18]
20Hans Jürgen Ohlbach [1] [6]
21Thomas W. Reps [23]
22Georg Rock [9] [14]
23Rostislav Rusev [22]
24Shmuel Sagiv (Mooly Sagiv) [23]
25Renate A. Schmidt [15] [22]
26Martin Suda [31]
27Christian Theobald [21]
28Dalibor Topic [21] [22]
29Patrick Wischnewski [25] [31]

Colors in the list of coauthors

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