MPI-INF Logo
Publications

Publications

Previous Page

Next Page

#YearAuthor(s) [non member]TitleType
2
Show details for MacNish, Craig (ed.)MacNish, Craig (ed.)
6
Show details for Madden, PeterMadden, Peter
2
Show details for Magirou, VangelisMagirou, Vangelis
1
Show details for Maher, Michael (ed.)Maher, Michael (ed.)
1
Show details for Maibaum, T. S. E. (ed.)Maibaum, T. S. E. (ed.)
1
Show details for Maibaum, T.S.E. (ed.)Maibaum, T.S.E. (ed.)
10
Hide details for Maier, PatrickMaier, Patrick
2005[Charatonik, Witold]
[Georgieva, Lilia]
Maier, Patrick		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		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		Model-Checking of Specifications Integrating Processes, Data and Time
In: FM 2005: Formal Methods; International Symposium of Formal Methods Europe, 465-480		Proceedings Article
2004Maier, PatrickAttachment IconIntuitionistic LTL and a New Characterization of Safety and LivenessReport
2004Maier, PatrickIntuitionistic 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
2003Maier, PatrickAttachment IconA Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning
Universität des Saarlandes		Thesis - PhD thesis
2003Maier, PatrickCompositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete
In: Foundations of software science and computation structures : 6th International Conference, FOSSACS 2003, 343-357		Proceedings Article
2002Maier, PatrickA 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
2001Maier, PatrickA 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		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
Show details for Majumdar, RupakMajumdar, Rupak
2
Show details for Makinson, DavidMakinson, David
2
Show details for Malkis, AlexanderMalkis, Alexander
1
Show details for Maluszynski, Jan (ed.)Maluszynski, Jan (ed.)
1
Show details for Mancarella, P. (ed.)Mancarella, P. (ed.)
2
Show details for Mannila, HeikkiMannila, Heikki
1
Show details for Mantel, Heiko (ed.)Mantel, Heiko (ed.)
1
Show details for Marché, Claude (ed.)Marché, Claude (ed.)
2
Show details for Marcinkowski, Jerzy (ed.)Marcinkowski, Jerzy (ed.)
1
Show details for Marek, V. W. (ed.)Marek, V. W. (ed.)
2
Show details for Margaria, Tiziana (ed.)Margaria, Tiziana (ed.)
4
Show details for Martelli, MaurizioMartelli, Maurizio
1
Show details for Martin, David (ed.)Martin, David (ed.)

Next Page