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

Uwe Waldmann Vis

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

*2009
23EEPeter Baumgartner, Uwe Waldmann: Superposition and Model Evolution Combined. CADE 2009: 17-34
2007
22EEWerner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz: Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. ATVA 2007: 425-440
21EEMichel Ludwig, Uwe Waldmann: An Extension of the Knuth-Bendix Ordering with LPO-Like Properties. LPAR 2007: 348-362
20EESwen Jacobs, Uwe Waldmann: Comparing Instance Generation Methods for Automated Reasoning. J. Autom. Reasoning 38(1-3): 57-78 (2007)
2006
19EEWerner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz: Automatic Verification of Hybrid Systems with Large Discrete State Space. ATVA 2006: 276-291
18EEHarald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann: Modular proof systems for partial functions with Evans equality. Inf. Comput. 204(10): 1453-1492 (2006)
2005
17EESwen Jacobs, Uwe Waldmann: Comparing Instance Generation Methods for Automated Reasoning. TABLEAUX 2005: 153-168
2004
16EEHarald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann: Modular Proof Systems for Partial Functions with Weak Equality. IJCAR 2004: 168-182
2003
15EEHarald Ganzinger, Thomas Hillenbrand, Uwe Waldmann: Superposition Modulo a Shostak Theory. CADE 2003: 182-196
2002
14EEUwe Waldmann: Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I). J. Symb. Comput. 33(6): 777-829 (2002)
13EEUwe Waldmann: Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II). J. Symb. Comput. 33(6): 831-861 (2002)
2001
12EEUwe Waldmann: Superposition and Chaining for Totally Ordered Divisible Abelian Groups. IJCAR 2001: 226-241
1999
11EEUwe Waldmann: Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups. LPAR 1999: 131-147
1998
10EEUwe Waldmann: Superposition for Divisible Torsion-Free Abelian Groups. CADE 1998: 144-159
9EEUwe Waldmann: Extending Reduction Orderings to ACU-Compatible Reduction Orderings. Inf. Process. Lett. 67(1): 43-49 (1998)
1996
8EEHarald Ganzinger, Uwe Waldmann: Theorem Proving in Cancellative Abelian Monoids (Extended Abstract). CADE 1996: 388-402
1994
7 Leo Bachmair, Harald Ganzinger, Uwe Waldmann: Refutational Theorem Proving for Hierachic First-Order Theories. Appl. Algebra Eng. Commun. Comput. 5: 193-212 (1994)
1993
6 Leo Bachmair, Harald Ganzinger, Uwe Waldmann: Superposition with Simplification as a Desision Procedure for the Monadic Class with Equality. Kurt Gödel Colloquium 1993: 83-96
5 Leo Bachmair, Harald Ganzinger, Uwe Waldmann: Set Constraints are the Monadic Class LICS 1993: 75-83
1992
4EELeo Bachmair, Harald Ganzinger, Uwe Waldmann: Theorem Proving for Hierarchic First-Order Theories. ALP 1992: 420-434
3 Harald Ganzinger, Uwe Waldmann: Termination Proofs of Well-Moded Logic Programs via Conditional Rewrite Systems. CTRS 1992: 430-437
2 Uwe Waldmann: Semantics of Order-Sorted Specifications. Theor. Comput. Sci. 94(1): 1-35 (1992)
1990
1 Uwe Waldmann: Compatibility of Order-Sorted Rewrite Rules. CTRS 1990: 407-416

Coauthor Index

1Leo Bachmair [4] [5] [6] [7]
2Peter Baumgartner [23]
3Werner Damm [19] [22]
4Stefan Disch [19] [22]
5Harald Ganzinger [3] [4] [5] [6] [7] [8] [15] [16] [18]
6Thomas Hillenbrand [15]
7Hardi Hungar [19] [22]
8Swen Jacobs [17] [20] [22]
9Michel Ludwig [21]
10Jun Pang [19] [22]
11Florian Pigorsch [19] [22]
12Christoph Scholl [19] [22]
13Viorica Sofronie-Stokkermans (Viorica Sofronie) [16] [18]
14Boris Wirtz [19] [22]

Colors in the list of coauthors

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