Seq no more: better strategies for parallel Haskell S Marlow, P Maier, HW Loidl, MK Aswad, P Trinder Haskell Symposium, 91-102, 2010 | 111 | 2010 |
Intuitionistic LTL and a new characterization of safety and liveness P Maier Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004 | 42 | 2004 |
Model-checking of specifications integrating processes, data and time J Hoenicke, P Maier International Symposium on Formal Methods, 465-480, 2005 | 38 | 2005 |
Implementing a high-level distributed-memory parallel Haskell in Haskell P Maier, P Trinder International Symposium on Implementation and Application of Functional …, 2011 | 32 | 2011 |
Compositional circular assume-guarantee rules cannot be sound and complete P Maier Foundations of Software Science and Computation Structures: 6th …, 2003 | 31 | 2003 |
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 | 28 | 2018 |
A set-theoretic framework for assume-guarantee reasoning P Maier Automata, Languages and Programming: 28th International Colloquium, ICALP …, 2001 | 24 | 2001 |
A lattice-theoretic framework for circular assume-guarantee reasoning P Maier | 18 | 2003 |
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 | 17 | 2014 |
Transparent fault tolerance for scalable functional computation R Stewart, P Maier, P Trinder Journal of functional programming 26, e5, 2016 | 15 | 2016 |
Description logics for shape analysis L Georgieva, P Maier Third IEEE International Conference on Software Engineering and Formal …, 2005 | 15 | 2005 |
Reliable scalable symbolic computation: The design of SymGridPar2 P Maier, R Stewart, P Trinder Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1674-1681, 2013 | 13 | 2013 |
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 | 12 | 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 | 11 | 2016 |
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 | 9 | 2017 |
Bounded model checking of pointer programs W Charatonik, L Georgieva, P Maier Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual …, 2005 | 9 | 2005 |
Implementing YewPar: A framework for parallel tree search B Archibald, P Maier, R Stewart, P Trinder Euro-Par 2019: Parallel Processing: 25th International Conference on …, 2019 | 8 | 2019 |
Supervised workpools for reliable massively parallel computing R Stewart, P Trinder, P Maier Trends in Functional Programming: 13th International Symposium, TFP 2012, St …, 2013 | 8 | 2013 |
High-Performance Computer Algebra: A Hecke Algebra Case Study P Maier, D Livesey, HW Loidl, P Trinder | 6 | 2014 |
Monitoring external resources in Java MIDP D Aspinall, P Maier, I Stark Electronic Notes in Theoretical Computer Science 197 (1), 17-30, 2008 | 6 | 2008 |