| Seq no more: better strategies for parallel Haskell S Marlow, P Maier, HW Loidl, MK Aswad, P Trinder Haskell Symposium, 91-102, 2010 | 113 | 2010 |
| Intuitionistic LTL and a new characterization of safety and liveness P Maier International Workshop on Computer Science Logic, 295-309, 2004 | 43 | 2004 |
| Model-checking of specifications integrating processes, data and time J Hoenicke, P Maier International Symposium on Formal Methods, 465-480, 2005 | 38 | 2005 |
| Compositional circular assume-guarantee rules cannot be sound and complete P Maier Foundations of Software Science and Computation Structures: 6th …, 2003 | 33 | 2003 |
| 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 |
| 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 | 29 | 2018 |
| A set-theoretic framework for assume-guarantee reasoning P Maier Automata, Languages and Programming: 28th International Colloquium, ICALP …, 2001 | 26 | 2001 |
| A lattice-theoretic framework for circular assume-guarantee reasoning P Maier | 19 | 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 | 16 | 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 |
| 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 | 12 | 2016 |
| 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 | 11 | 2020 |
| Implementing YewPar: A framework for parallel tree search B Archibald, P Maier, R Stewart, P Trinder European Conference on Parallel Processing, 184-196, 2019 | 11 | 2019 |
| 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 | 10 | 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 |
| 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 |
| Evolutionary optimisation of antibiotic dosing regimens for bacteria with different levels of resistance M Goranova, G Ochoa, P Maier, A Hoyle Artificial intelligence in medicine 133, 102405, 2022 | 7 | 2022 |
| High-Performance Computer Algebra: A Hecke Algebra Case Study P Maier, D Livesey, HW Loidl, P Trinder | 6 | 2014 |
Phil TrinderProfessor of Computing Science, University of GlasgowPotvrđena adresa e-pošte na glasgow.ac.uk
