Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications, generated: 13:50, 16 October 2019

Search the publication database

  . Return

Your search returned the following 32 documents:

  1. Thomas Hillenbrand, Ruzica Piskac, Uwe Waldmann, and Christoph Weidenbach
    From Search to Computation: Redundancy Criteria and Simplification at Work
    In: Programming Logics, Essays in Memory of Harald Ganzinger, Saarbrücken, Germany, 2013
  2. Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, and Boris Wirtz
    Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
    Science of Computer Programming 77 (10-11): 1122-1150, 2012
  3. Peter Baumgartner and Uwe Waldmann
    A Combined Superposition and Model Evolution Calculus
    Journal of Automated Reasoning 47 (2): 191-227, 2011
  4. Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, and Boris Wirtz
    Exact and Fully Symbolic Verification of Linear Hybrid Automata with Large Discrete State Spaces
    Science of Computer Programming in press: 1-29, 2011

  5. Bernd Becker, Werner Damm, Bernd Finkbeiner, Martin Fränzle, Ernst-Rüdiger Olderog, and Andreas Podelski(Ed.)
    Werner Damm, Stefan Disch, Willem Hagemann, Christoph Scholl, Uwe Waldmann, and Boris Wirtz
    Integrating incremental flow pipes into a symbolic model checker for hybrid systems
    Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), Saarbrücken, ATR 76, Technical Report
  6. Peter Baumgartner and Uwe Waldmann
    Superposition and Model Evolution Combined
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 17-34
  7. Michel Ludwig and Uwe Waldmann
    An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
    In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, 2007, 348-362
  8. Swen Jacobs and Uwe Waldmann
    Comparing Instance Generation Methods for Automated Reasoning
    Journal of Automated Reasoning 38 (1/3): 57-78, 2007

  9. Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, and Boris Wirtz
    Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
    In: Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007, Tokyo, Japan, 2007, 425-440
  10. Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, and Boris Wirtz
    Automatic Verification of Hybrid Systems with Large Discrete State Space
    In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, 2006, 276-291
  11. Swen Jacobs and Uwe Waldmann
    Comparing Instance Generation Methods for Automated Reasoning
    Journal of Automated Reasoning 38: 57-78, 2006. Note: "Online First" version of 2007 journal article

  12. Harald Ganzinger, Viorica Sofronie-Stokkermans, and Uwe Waldmann
    Modular Proof Systems for Partial Functions with Evans Equality
    Information and Computation 204 (10): 1453-1492, 2006
  13. Virgile Prevosto and Uwe Waldmann
    SPASS+T
    In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, Seattle, WA, USA, 2006, 18-33
  14. Swen Jacobs and Uwe Waldmann
    Comparing Instance Generation Methods for Automated Reasoning
    In: Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2005, Koblenz, Germany, 2005, 153-168
    [PDF: Download: InstGen-final.pdf]
  15. Harald Ganzinger, Viorica Sofronie-Stokkermans, and Uwe Waldmann
    Modular Proof Systems for Partial Functions with Weak Equality
    In: Automated reasoning : Second International Joint Conference, IJCAR 2004, Cork, Ireland, 2004, 168-182
  16. Harald Ganzinger, Thomas Hillenbrand, and Uwe Waldmann
    Superposition modulo a Shostak Theory
    In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, July, 30 - August, 2, 2003, 182-196
    [PS: Download: _03CADE.2.ps]
  17. Uwe Waldmann
    A New Input Technique for Accented Letters in Alphabetical Scripts
    In: Proceedings of the 20th International Unicode Conference, Washington, DC, USA, 2002, C12 p., paper no. C12.
  18. Uwe Waldmann
    Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)
    Journal of Symbolic Computation 33 (6): 831-861, 2002
  19. Uwe Waldmann
    Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)
    Journal of Symbolic Computation 33 (6): 777-829, 2002
  20. Uwe Waldmann
    Superposition and Chaining for Totally Ordered Divisible Abelian Groups (Extended Abstract)
    In: Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June, 18-22, 2001, 226-241
  21. Uwe Waldmann
    Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups
    In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), Tbilisi, Georgia, September 6-10, 1999, 131-147. Note: %Earlier version: Technical Report MPI-I-1999-2-003, Max-Planck-Institut für Informatik, Saarbrücken
  22. Uwe Waldmann
    Extending reduction orderings to ACU-compatible reduction orderings
    Information Processing Letters 67 (1): 43-49, 1998
  23. Uwe Waldmann
    Superposition for Divisible Torsion-Free Abelian Groups
    In: Proceedings of the 15th International Conference on Automated Deduction (CADE-98), Lindau, Germany, July, 5 - 10 1998, 1998, 144-159
  24. Uwe Waldmann
    A Superposition Calculus for Divisible Torsion-Free Abelian Groups
    In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), Linz, Austria, October 27-28, 1997, 130-134
  25. Uwe Waldmann
    Cancellative Abelian Monoids in Refutational Theorem Proving
    Doctoral dissertation, Universität des Saarlandes, 1997
  26. Harald Ganzinger and Uwe Waldmann
    Theorem Proving in Cancellative Abelian Monoids (Extended Abstract)
    In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), New Brunswick, USA, July, 30 - August, 3, 1996, 388-402. Note: Full version: Technical Report MPI-I-96-2-001, Max-Planck-Institut für Informatik, Saarbrücken, Germany, January 1996.
  27. Leo Bachmair, Harald Ganzinger, and Uwe Waldmann
    Refutational Theorem Proving for Hierarchic First-Order Theories
    Applicable Algebra in Engineering, Communication and Computing (AAECC) 5 (3/4): 193-212, 1994. Note: Earlier Version: Theorem Proving for Hierarchic First-Order Theories, in Giorgio Levi and H{\'e}l{\`e}ne Kirchner, editors, {\em Algebraic and Logic Programming, Third International Conference}, LNCS 632, pages 420--434, Volterra, Italy, September 2--4, 1992, Springer-Verlag
  28. Leo Bachmair, Harald Ganzinger, and Uwe Waldmann
    Set Constraints are the Monadic Class
    In: Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993, 1993, 75-83
  29. Leo Bachmair, Harald Ganzinger, and Uwe Waldmann
    Superposition with simplification as a decision procedure for the monadic class with equality
    In: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, 1993, 83-96. Note: Revised version of Technical Report MPI-I-93-204
  30. Uwe Waldmann
    Semantics of Order-Sorted Specifications
    Theoretical Computer Science 94 (1): 1-35, 1992
  31. Harald Ganzinger and Uwe Waldmann
    Termination Proofs of Well-Moded Logic Programs Via Conditional Rewrite Systems
    In: Proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems '92, 1992, 430-437
  32. Leo Bachmair, Harald Ganzinger, and Uwe Waldmann
    Theorem proving for hierarchic first-order theories
    In: Algebraic and Logic Programming, 1992, 420-434. Note: Revised version in AAECC, vol.\ 5, number 3/4, pp.\ 193--212, 1994)