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

Publications Master Template, generated: 4:18, 18 October 2019

Search the publication database

  . Return

Your search returned the following 10 documents:

  1. Witold Charatonik, Lilia Georgieva, and Patrick Maier
    Bounded Model Checking of Pointer Programs
    In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, Oxford, UK, 2005, 397-412
  2. Lilia Georgieva and Patrick Maier
    Description Logics for Shape Analysis
    In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), Koblenz, Germany, 2005, 321-330
  3. Jochen Hoenicke and Patrick Maier
    Model-Checking of Specifications Integrating Processes, Data and Time
    In: FM 2005: Formal Methods; International Symposium of Formal Methods Europe, Newcastle, UK, 2005, 465-480
  4. Patrick Maier
    Intuitionistic LTL and a New Characterization of Safety and Liveness
    Max-Planck-Institut für Informatik, Stuhlsatzenhausweg 85, MPI-I-2004-2-002, Research Report
    [PS: Download: MPI-I-2004-2-002.ps]
  5. Patrick Maier
    Intuitionistic LTL and a New Characterization of Safety and Liveness
    In: Computer science logic : 18th International Workshop CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, 2004, 295-309
  6. Patrick Maier
    A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning
    Doctoral dissertation, Universität des Saarlandes, 2003
    [PDF: Download: diss.pdf]
  7. Patrick Maier
    Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete
    In: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, Warsaw, Poland, 2003, 343-357
  8. Patrick Maier
    A Framework for Circular Assume-Guarantee Rules
    In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, Saarbrücken, Germany, March 4 - 6, 2002, 2002, 55-58
  9. Manfred Göbel and Patrick Maier
    Three Remarks on Comprehensive Gröbner and SAGBI Bases
    In: Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing (CASC-2000), Samarkand, Uzbekistan, 2000, 191-202
  10. Patrick Maier
    A Set-Theoretic Framework for Assume-Guarantee Reasoning
    In: Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP-2001), Crete, Greece, 2001, 821-834