| 2009 |
|---|
| 10 | EE | Patrick Maier:
Deciding Extensions of the Theories of Vectors and Bags.
VMCAI 2009: 245-259 |
| 2008 |
|---|
| 9 | EE | David Aspinall,
Patrick Maier,
Ian Stark:
Monitoring External Resources in Java MIDP.
Electr. Notes Theor. Comput. Sci. 197(1): 17-30 (2008) |
| 2007 |
|---|
| 8 | EE | David Aspinall,
Patrick Maier,
Ian Stark:
Safety Guarantees from Explicit Resource Management.
FMCO 2007: 52-71 |
| 2005 |
|---|
| 7 | EE | Witold Charatonik,
Lilia Georgieva,
Patrick Maier:
Bounded Model Checking of Pointer Programs.
CSL 2005: 397-412 |
| 6 | EE | Lilia Georgieva,
Patrick Maier:
Towards Using Description Logics for Symbolic Shape Analysis.
Description Logics 2005 |
| 5 | EE | Jochen Hoenicke,
Patrick Maier:
Model-Checking of Specifications Integrating Processes, Data and Time.
FM 2005: 465-480 |
| 4 | EE | Lilia Georgieva,
Patrick Maier:
Description Logics for Shape Analysis.
SEFM 2005: 321-331 |
| 2004 |
|---|
| 3 | EE | Patrick Maier:
Intuitionistic LTL and a New Characterization of Safety and Liveness.
CSL 2004: 295-309 |
| 2003 |
|---|
| 2 | EE | Patrick Maier:
Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete.
FoSSaCS 2003: 343-357 |
| 2001 |
|---|
| 1 | EE | Patrick Maier:
A Set-Theoretic Framework for Assume-Guarantee Reasoning.
ICALP 2001: 821-834 |
