Your search returned the following 10 documents:

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