Travelled to:1 × Germany
1 × Greece
1 × Portugal
2 × Poland
2 × USA
2 × United Kingdom
Collaborated with:∅ P.W.Trinder L.Georgieva R.J.Stewart J.Hoenicke W.Charatonik
Talks about:guarante (2) scalabl (2) reliabl (2) symbol (2) haskel (2) design (2) comput (2) model (2) check (2) assum (2)
Person: Patrick Maier
DBLP: Maier:Patrick
Contributed to:
20132014
2011
2009
2005
2005
20052004
2003
2001Wrote 10 papers:
- SAC-2013-MaierST #design #reliability #scalability #symbolic computation
- Reliable scalable symbolic computation: the design of SymGridPar2 (PM, RJS, PWT), pp. 1674–1681.
- SAC-PL-J-2013-MaierST14 #design #reliability #scalability #symbolic computation
- Reliable scalable symbolic computation: The design of SymGridPar2 (PM, RJS, PWT), pp. 19–35.
- IFL-2011-MaierT #haskell #implementation #parallel
- Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell (PM, PWT), pp. 35–50.
- VMCAI-2009-Maier
- Deciding Extensions of the Theories of Vectors and Bags (PM), pp. 245–259.
- CSL-2005-CharatonikGM #bound #model checking #pointer #source code
- Bounded Model Checking of Pointer Programs (WC, LG, PM), pp. 397–412.
- FM-2005-HoenickeM #model checking #process #specification
- Model-Checking of Specifications Integrating Processes, Data and Time (JH, PM), pp. 465–480.
- SEFM-2005-GeorgievaM #analysis #logic
- Description Logics for Shape Analysis (LG, PM), pp. 321–331.
- CSL-2004-Maier #liveness #ltl #safety
- Intuitionistic LTL and a New Characterization of Safety and Liveness (PM), pp. 295–309.
- FoSSaCS-2003-Maier #composition
- Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete (PM), pp. 343–357.
- ICALP-2001-Maier #framework #reasoning
- A Set-Theoretic Framework for Assume-Guarantee Reasoning (PM), pp. 821–834.