Patrick Maier
Title
Cited by
Cited by
Year
Seq no more: better strategies for parallel Haskell
S Marlow, P Maier, HW Loidl, MK Aswad, P Trinder
Haskell Symposium, 91-102, 2010
1082010
Model-checking of specifications integrating processes, data and time
J Hoenicke, P Maier
International Symposium on Formal Methods, 465-480, 2005
352005
Implementing a high-level distributed-memory parallel Haskell in Haskell
P Maier, P Trinder
International Symposium on Implementation and Application of Functional …, 2011
322011
Intuitionistic LTL and a new characterization of safety and liveness
P Maier
International Workshop on Computer Science Logic, 295-309, 2004
322004
Compositional circular assume-guarantee rules cannot be sound and complete
P Maier
International Conference on Foundations of Software Science and Computation …, 2003
322003
A set-theoretic framework for assume-guarantee reasoning
P Maier
International Colloquium on Automata, Languages, and Programming, 821-834, 2001
242001
Replicable parallel branch and bound search
B Archibald, P Maier, C McCreesh, R Stewart, P Trinder
Journal of Parallel and Distributed Computing 113, 92-114, 2018
202018
The HdpH DSLs for scalable reliable computation
P Maier, R Stewart, P Trinder
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 65-76, 2014
172014
Description logics for shape analysis
L Georgieva, P Maier
Third IEEE International Conference on Software Engineering and Formal …, 2005
162005
A lattice-theoretic framework for circular assume-guarantee reasoning
P Maier
152003
Transparent fault tolerance for scalable functional computation
R Stewart, P Maier, P Trinder
Journal of functional programming 26, 2016
122016
Reliable scalable symbolic computation: The design of SymGridPar2
P Maier, R Stewart, PW Trinder
Computer Languages, Systems & Structures 40 (1), 19-35, 2014
122014
Bounded model checking of pointer programs
W Charatonik, L Georgieva, P Maier
International Workshop on Computer Science Logic, 397-412, 2005
102005
Towards generic scalable parallel combinatorial search
B Archibald, P Maier, R Stewart, P Trinder, J De Beule
Proceedings of the International Workshop on Parallel Symbolic Computation, 1-10, 2017
82017
Supervised workpools for reliable massively parallel computing
R Stewart, P Trinder, P Maier
International Symposium on Trends in Functional Programming, 247-262, 2012
72012
YewPar: skeletons for exact combinatorial search
B Archibald, P Maier, R Stewart, P Trinder
Proceedings of the 25th ACM SIGPLAN Symposium on Principles and Practice of …, 2020
6*2020
HPC‐GAP: engineering a 21st‐century high‐performance computer algebra system
R Behrends, K Hammond, V Janjic, A Konovalov, S Linton, HW Loidl, ...
Concurrency and Computation: Practice and Experience 28 (13), 3606-3636, 2016
62016
High-Performance Computer Algebra: A Hecke Algebra Case Study
P Maier, D Livesey, HW Loidl, P Trinder
62014
Monitoring external resources in Java MIDP
D Aspinall, P Maier, I Stark
Electronic Notes in Theoretical Computer Science 197 (1), 17-30, 2008
62008
Safety guarantees from explicit resource management
D Aspinall, P Maier, I Stark
International Symposium on Formal Methods for Components and Objects, 52-71, 2007
62007
The system can't perform the operation now. Try again later.
Articles 1–20