@INPROCEEDINGS{Stewart_Trinder_Maier_TFP2012,
  AUTHOR    = {Stewart, Rob and Trinder, Phil and Maier, Patrick},
  TITLE     = {Supervised Workpools for Reliable Parallel Computing},
  BOOKTITLE = {Trends in Functional Programming, 13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012. Revised Selected Papers},
  PUBLISHER = {Springer},
  YEAR      = {2013},
  NOTE      = {To appear},
}

@INPROCEEDINGS{Maier_Stewart_Trinder_SAC2013,
  AUTHOR    = {Maier, Patrick and Stewart, Rob and Trinder, Phil},
  TITLE     = {Reliable Scalable Symbolic Computation: The Design of {SymGridPar2}},
  BOOKTITLE = {28th ACM Symposium On Applied Computing, SAC 2013, Coimbra, Portugal, March 18-22, 2013},
  PUBLISHER = {ACM Press},
  YEAR      = {2013},
  PAGES     = {1674--1681},
}

@INPROCEEDINGS{Maier_Trinder_IFL2011,
  AUTHOR    = {Maier, Patrick and Trinder, Phil},
  EDITOR    = {Gill, Andy and Hage, Jurriaan},
  TITLE     = {Implementing a High-level Distributed-Memory Parallel {Haskell} in {Haskell}},
  BOOKTITLE = {Implementation and Application of Functional Languages, 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011. Revised Selected Papers},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {7257},
  YEAR      = {2012},
  PAGES     = {35--50},
}

@INPROCEEDINGS{Marlow_Maier_Loidl_Aswad_Trinder_Haskell2010,
  AUTHOR    = {Marlow, Simon and Maier, Patrick and Loidl, Hans-Wolfgang and Aswad, Mustafa K. and Trinder, Phil},
  EDITOR    = {Gibbons, Jeremy},
  TITLE     = {Seq no more: Better Strategies for Parallel {Haskell}},
  BOOKTITLE = {Haskell'10, Proceedings of the 2010 ACM SIGPLAN Haskell Symposium; Baltimore, MD, USA, September 30, 2010},
  PUBLISHER = {ACM Press},
  YEAR      = {2010},
  PAGES     = {91--102},
}

@INPROCEEDINGS{Georgieva_Maier_FTP2009,
  AUTHOR    = {Georgieva, Lilia and Maier, Patrick},
  EDITOR    = {Peltier, Nicolas Peltier and Sofronie-Stokkermans, Viorica},
  TITLE     = {Inductive Reasoning for Shape Invariants},
  BOOKTITLE = {First-order Theorem Proving, FTP 2009; International Workshop; Oslo, Norway, July 2009; Proceedings},
  PUBLISHER = {University of Oslo},
  SERIES    = {Department of Informatics Research Report},
  VOLUME    = {386},
  YEAR      = {2009},
  PAGES     = {75--89},
}

@INPROCEEDINGS{Maier_VMCAI2009,
  AUTHOR    = {Maier, Patrick},
  EDITOR    = {Jones, Neil D. and M{\"u}ller-Olm, Markus},
  TITLE     = {Deciding Extensions of the Theories of Vectors and Bags},
  BOOKTITLE = {Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009; Savannah, GA, USA, January 18-20, 2009; Proceedings},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {5403},
  YEAR      = {2009},
  PAGES     = {245--259},
}

@INPROCEEDINGS{Aspinall_Maier_Stark_FMCO2007,
  AUTHOR    = {Aspinall, David and Maier, Patrick and Stark, Ian},
  EDITOR    = {de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Roever, Willem P.},
  TITLE     = {Safety Guarantees from Explicit Resource Management},
  BOOKTITLE = {Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007; Amsterdam, The Netherlands, October 24-26, 2007; Revised Lectures},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {5382},
  YEAR      = {2008},
  PAGES     = {52--71},
}

@ARTICLE{Aspinall_Maier_Stark_REM2007,
  AUTHOR    = {Aspinall, David and Maier, Patrick and Stark, Ian},
  TITLE     = {Monitoring External Resources in {Java} {MIDP}},
  JOURNAL   = {Electronic Notes in Theoretical Computer Science},
  VOLUME    = {197},
  NUMBER    = {1},
  YEAR      = {2008},
  PAGES     = {17--30},
}

@INPROCEEDINGS{Georgieva_Maier_SEFM2005,
  AUTHOR    = {Georgieva, Lilia and Maier, Patrick},
  EDITOR    = {Aichering, Bernhard K. and Beckert, Bernhard},
  TITLE     = {Description Logics for Shape Analysis},
  BOOKTITLE = {SEFM 2005, 3rd IEEE International Conference on Software Engineering and Formal Methods; Koblenz, Germany, September 7-9, 2005; Proceedings},
  PUBLISHER = {IEEE Computer Society Press},
  YEAR      = {2005},
  PAGES     = {321--330},
}

@INPROCEEDINGS{Charatonik_Georgieva_Maier_CSL2005,
  AUTHOR    = {Charatonik, Witold and Georgieva, Lilia and Maier, Patrick},
  EDITOR    = {Ong, Luke},
  TITLE     = {Bounded Model Checking of Pointer Programs},
  BOOKTITLE = {Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL; Oxford, UK, August 22-25, 2005; Proceedings},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {3634},
  YEAR      = {2005},
  PAGES     = {397--412},
}

@INPROCEEDINGS{Hoenicke_Maier_FM2005,
  AUTHOR    = {Hoenicke, Jochen and Maier, Patrick},
  EDITOR    = {Fitzgerald, John S. and Hayes, Ian J. and Tarlecki, Andrzej},
  TITLE     = {Model-Checking of Specifications Integrating Processes,
               Data and Time},
  BOOKTITLE = {FM 2005: Formal Methods; Newcastle, UK, July 18-22, 2005; Proceedings},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {3582},
  YEAR      = {2005},
  PAGES     = {465--480},
}

@INPROCEEDINGS{Maier_CSL2004,
  AUTHOR    = {Maier, Patrick},
  EDITOR    = {Marcinkowski, Jerzy and Tarlecki, Andrzej},
  TITLE     = {Intuitionistic {LTL} and a New Characterization of Safety and Liveness},
  BOOKTITLE = {Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL; Karpacz, Poland, September 20-24, 2004; Proceedings},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {3210},
  YEAR      = {2004},
  PAGES     = {295--309},
}

@INPROCEEDINGS{Maier_FOSSACS2003,
  AUTHOR    = {Maier, Patrick},
  EDITOR    = {Gordon, Andrew D.},
  TITLE     = {Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete},
  BOOKTITLE = {Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003; Warsaw, Poland, April 7-11, 2003; Proceedings},
  PUBLISHER = {Springer},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {2620},
  YEAR      = {2003},
  PAGES     = {343--357},
}

@PHDTHESIS{Maier_PhD2003,
  AUTHOR    = {Maier, Patrick},
  TITLE     = {A Lattice-Theoretic Framework For Circular Assume-Guarantee Reasoning},
  SCHOOL    = {Universit{\"a}t des Saarlandes},
  ADDRESS   = {Saarbr{\"u}cken},
  MONTH     = {July},
  YEAR      = {2003},
}

@INPROCEEDINGS{Maier_ICALP2001,
  AUTHOR    = {Maier, Patrick},
  EDITOR    = {Orejas, Fernando and Spirakis, Paul G. and van Leeuwen, Jan},
  TITLE     = {A Set-Theoretic Framework for Assume-Guarantee Reasoning},
  BOOKTITLE = {Automata, Languages and Programming: 28th International Colloquium, ICALP 2001; Crete, Greece, July 8-12, 2001; Proceedings},
  PUBLISHER = {Springer},
  YEAR      = {2001},
  PAGES     = {821--834},
}

@INPROCEEDINGS{Goebel_Maier_CASC2000,
  AUTHOR    = {G{\"o}bel, Manfred and Maier, Patrick},
  EDITOR    = {Ganzha, Victor G. and Mayr, Ernst W. and Vorozhtsov, Evgenii V.},
  TITLE     = {Three Remarks on Comprehensive {Gr{\"o}bner} and {SAGBI} Bases},
  BOOKTITLE = {Proceedings of the Third Workshop on Computer Algebra in Scientific Computing (CASC 2000)},
  PUBLISHER = {Springer},
  YEAR      = {2000},
  PAGES     = {191--202},
}