| An operational semantics for StAC, a language for modelling long-running business transactions M Butler, C Ferreira International Conference on Coordination Languages and Models (COORD), 87-104, 2004 | 199 | 2004 |
| A trace semantics for long-running transactions M Butler, T Hoare, C Ferreira Communicating Sequential Processes. The First 25 Years, 133-150, 2005 | 195 | 2005 |
| 'Cause I'm strong enough: Reasoning about consistency choices in distributed systems A Gotsman, H Yang, C Ferreira, M Najafzadeh, M Shapiro ACM SIGPLAN Notices (POPL) 51 (1), 371-384, 2016 | 192 | 2016 |
| Putting consistency back into eventual consistency V Balegas, S Duarte, C Ferreira, R Rodrigues, N Preguiça, M Najafzadeh, ... European Conference on Computer Systems (EuroSys), 6:1-6:16, 2015 | 181 | 2015 |
| Comparing two approaches to compensable flow composition R Bruni, M Butler, C Ferreira, T Hoare, H Melgratti, U Montanari International Conference on Concurrency Theory (CONCUR), 383-397, 2005 | 86 | 2005 |
| A process compensation language M Butler, C Ferreira International Conference on Integrated Formal Methods (IFM), 61-76, 2000 | 84 | 2000 |
| Precise modelling of compensating business transactions and its application to BPEL M Butler, C Ferreira, MY Ng Journal of Universal Computer Science 11 (5), 712-743, 2005 | 78 | 2005 |
| Extending the concept of transaction compensation M Chessell, C Griffin, D Vines, M Butler, C Ferreira, P Henderson IBM Systems Journal 41 (4), 743-758, 2002 | 73 | 2002 |
| Extending eventually consistent cloud databases for enforcing numeric invariants V Balegas, D Serra, S Duarte, C Ferreira, M Shapiro, R Rodrigues, ... Reliable Distributed Systems (SRDS), 2015 IEEE 34th Symposium on, 31-36, 2015 | 60 | 2015 |
| The CISE tool: proving weakly-consistent applications correct M Najafzadeh, A Gotsman, H Yang, C Ferreira, M Shapiro Proceedings of the 2nd Workshop on the Principles and Practice of …, 2016 | 56 | 2016 |
| On the expressive power of primitives for compensation handling I Lanese, C Vaz, C Ferreira European Symposium on Programming (ESOP), 366-386, 2010 | 47 | 2010 |
| A process calculus analysis of compensations L Caires, C Ferreira, H Vieira International Symposium on Trustworthy Global Computing (TGC), 87-103, 2008 | 45 | 2008 |
| IPA: invariant-preserving applications for weakly consistent replicated databases V Balegas, S Duarte, C Ferreira, R Rodrigues, N Preguiça Proceedings of the VLDB Endowment 12 (4), 404-418, 2018 | 41 | 2018 |
| Dynamic recovering of long running transactions C Vaz, C Ferreira, A Ravara International Symposium on Trustworthy Global Computing (TGC), 201-215, 2008 | 30 | 2008 |
| ECROs: building global scale systems from sequential code K De Porre, C Ferreira, N Preguiça, E Gonzalez Boix Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021 | 26 | 2021 |
| Model-based trace-checking Y Howard, S Gruner, A Gravell, C Ferreira, JC Augusto arXiv preprint arXiv:1111.2825, 2011 | 26 | 2011 |
| Advanced mechanisms for service combination and transactions C Ferreira, I Lanese, A Ravara, HT Vieira, G Zavattaro Rigorous Software Engineering for Service-Oriented Systems: Results of the …, 2011 | 24 | 2011 |
| Test mocks for low-code applications built with OutSystems A Jacinto, M Lourenço, C Ferreira Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 23 | 2020 |
| Composition in state-based replicated data types C Baquero, PS Almeida, A Cunha, C Ferreira Bulletin of the European Association for Theoretical Computer Science, 2017 | 23* | 2017 |
| Geo-Replication: Fast If Possible, Consistent If Necessary V Balegas, C Li, M Najafzadeh, D Porto, A Clement, S Duarte, C Ferreira, ... IEEE Data Engineering Bulletin 39 (1), 12, 2016 | 23 | 2016 |
Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
