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

MPI-INF RG1 Publications, generated: 13:08, 22 October 2019

Search the publication database

  . Return

Your search returned the following 9 documents:

  1. Arnaud Fietzke, Evgeny Kruglov, and Christoph Weidenbach
    Automatic Generation of Invariants for Circular Derivations in SUP(LA)
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, 2012, 197-211
  2. Arnaud Fietzke and Christoph Weidenbach
    Superposition as a Decision Procedure for Timed Automata
    Mathematics in Computer Science 6 (4): 409-425, 2012
  3. Arnaud Fietzke and Christoph Weidenbach
    Superposition as a Decision Procedure for Timed Automata
    In: Fourth International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS 2011), Beijing, China, 2011
  4. Arnaud Fietzke, Holger Hermanns, and Christoph Weidenbach
    Superposition-based Analysis of First-Order Probabilistic Timed Automata
    In: Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, 2010, 302-316
  5. Arnaud Fietzke and Christoph Weidenbach
    Labelled Splitting
    Annals of Mathematics and Artificial Intelligence 55 (1-2): 3-34, 2009
  6. Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Martin Suda, and Patrick Wischnewski
    SPASS Version 3.5
    In: Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, 2009, 140-145
  7. Arnaud Fietzke
    Labelled Splitting
    Master's thesis, Universität des Saarlandes, 2007

  8. Arnaud Fietzke and Christoph Weidenbach
    Labelled Splitting
    In: IJCAR, Sydney, Australia, 2008, 459-474
  9. Arnaud Fietzke and Christoph Weidenbach
    Labelled Splitting
    MPI-INF RG1, MPI für Informatik, MPI-I-2008-RG1-001, Research Report
    [PDF: Download: MPI-I-2008-RG1-001.pdf]