BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Maier:Patrick

Contributed to:

SAC 20132013
SAC 20132014
IFL 20112011
VMCAI 20092009
CSL 20052005
FM 20052005
SEFM 20052005
CSL 20042004
FoSSaCS 20032003
ICALP 20012001

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.