| | 2005 | [Charatonik, Witold]
[Georgieva, Lilia]
Maier, Patrick | [Ong, Luke] | | Bounded Model Checking of Pointer Programs
In: Computer Science Logic; 19th International Workshop, CSL 2005; 14th Annual Conference of the EACSL, 397-412 | Proceedings Article | |
| | 2005 | [Georgieva, Lilia]
Maier, Patrick | [Aichernig, Bernhard K.]
[Beckert, Bernhard] | | Description Logics for Shape Analysis
In: Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 321-330 | Proceedings Article | |
| | 2005 | [Hoenicke, Jochen]
Maier, Patrick | [Fitzgerald, John]
[Hayes, Ian J.]
[Tarlecki, Andrzej] | | Model-Checking of Specifications Integrating Processes, Data and Time
In: FM 2005: Formal Methods; International Symposium of Formal Methods Europe, 465-480 | Proceedings Article | |
| | 2004 | Maier, Patrick | [Marcinkowski, Jerzy]
[Tarlecki, Andrzej] | | 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, 295-309 | Proceedings Article | |
| | 2002 | Maier, Patrick | Charatonik, Witold
Ganzinger, Harald | | A Framework for Circular Assume-Guarantee Rules
In: Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi, 55-58 | Proceedings Article | |
| | 2001 | Maier, Patrick | [Orejas, Fernando]
[Spirakis, Paul G.]
[van Leeuwen, Jan] | | A Set-Theoretic Framework for Assume-Guarantee Reasoning
In: Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP-2001), 821-834 | Proceedings Article | |
| | 2000 | [Göbel, Manfred]
Maier, Patrick | [Ganzha, Victor G.]
[Mayr, Ernst W.]
[Vorozhtsov, Evgenii V.] | | Three Remarks on Comprehensive Gröbner and SAGBI Bases
In: Proceedings of the 3rd Workshop on Computer Algebra in Scientific Computing (CASC-2000), 191-202 | Proceedings Article | |
2 |
| Marcinkowski, Jerzy (ed.) |
| |