| TaDA: A Logic for Time and Data Abstraction P da Rocha Pinto, T Dinsdale-Young, P Gardner ECOOP 2014–Object-Oriented Programming, 207-231, 2014 | 168 | 2014 |
| Modular Termination Verification for Non-blocking Concurrency P da Rocha Pinto, T Dinsdale-Young, P Gardner, J Sutherland European Symposium on Programming Languages and Systems, 176-201, 2016 | 47 | 2016 |
| Caper: Automatic Verification for Fine-Grained Concurrency T Dinsdale-Young, P da Rocha Pinto, KJ Andersen, L Birkedal European Symposium on Programming, 420-447, 2017 | 42 | 2017 |
| Fault-tolerant resource reasoning G Ntzik, P da Rocha Pinto, P Gardner Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015 | 27 | 2015 |
| A Simple Abstraction for Complex Concurrent Indexes P da Rocha Pinto, T Dinsdale-Young, M Dodds, P Gardner, ... ACM SIGPLAN Notices 46 (10), 845-864, 2011 | 27 | 2011 |
| Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper) P da Rocha Pinto, T Dinsdale-Young, P Gardner Electronic Notes in Theoretical Computer Science 319, 3-18, 2015 | 16 | 2015 |
| Reasoning with Time and Data Abstractions P da Rocha Pinto PhD Thesis, Imperial College London, 2016 | 15 | 2016 |
| A concurrent specification of POSIX file systems G Ntzik, P da Rocha Pinto, J Sutherland, P Gardner 32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018 | 13 | 2018 |
| A perspective on specifying and verifying concurrent modules T Dinsdale-Young, P da Rocha Pinto, P Gardner Journal of Logical and Algebraic Methods in Programming 98, 1-25, 2018 | 8 | 2018 |
| Abstract Specifications for Concurrent Maps S Xiong, P da Rocha Pinto, G Ntzik, P Gardner European Symposium on Programming, 964-990, 2017 | 8 | 2017 |
| Reasoning about Concurrent Indexes P da Rocha Pinto Master's Thesis, Imperial College London, 2010 | 3 | 2010 |
Philippa GardnerProfessor of Theoretical Computer Science, Imperial College LondonVerified email at imperial.ac.uk
