Patrick Maier

Heriot-Watt University

other persons with the same name:

• Patrick Maier - Technische Universität München

	2010
12		Simon Marlow, Patrick Maier, Hans-Wolfgang Loidl, Mustafa Aswad, Philip W. Trinder: Seq no more: better strategies for parallel Haskell. Haskell 2010: 91-102
	2009
11		Patrick Maier: Deciding Extensions of the Theories of Vectors and Bags. VMCAI 2009: 245-259
	2008
10		David Aspinall, Patrick Maier, Ian Stark: Monitoring External Resources in Java MIDP. Electr. Notes Theor. Comput. Sci. 197(1): 17-30 (2008)
	2007
9		David Aspinall, Patrick Maier, Ian Stark: Safety Guarantees from Explicit Resource Management. FMCO 2007: 52-71
	2005
8		Witold Charatonik, Lilia Georgieva, Patrick Maier: Bounded Model Checking of Pointer Programs. CSL 2005: 397-412
7		Lilia Georgieva, Patrick Maier: Towards Using Description Logics for Symbolic Shape Analysis. Description Logics 2005
6		Jochen Hoenicke, Patrick Maier: Model-Checking of Specifications Integrating Processes, Data and Time. FM 2005: 465-480
5		Lilia Georgieva, Patrick Maier: Description Logics for Shape Analysis. SEFM 2005: 321-331
	2004
4		Patrick Maier: Intuitionistic LTL and a New Characterization of Safety and Liveness. CSL 2004: 295-309
3		Patrick Maier: A lattice-theoretic framework for circular assume-guarantee reasoning. Saarland University 2004: 1-119
	2003
2		Patrick Maier: Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete. FoSSaCS 2003: 343-357
	2001
1		Patrick Maier: A Set-Theoretic Framework for Assume-Guarantee Reasoning. ICALP 2001: 821-834

Coauthor Index

1	David Aspinall	[9] [10]
2	Mustafa Aswad	[12]
3	Witold Charatonik	[8]
4	Lilia Georgieva	[5] [7] [8]
5	Jochen Hoenicke	[6]
6	Hans-Wolfgang Loidl	[12]
7	Simon Marlow	[12]
8	Ian Stark	[9] [10]
9	Philip W. Trinder	[12]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page