Carla Ferreira

Cited by

	All	Since 2018
Citations	1661	552
h-index	19	11
i10-index	34	14

140

105

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220238 29 28 50 53 97 84 69 131 76 79 84 54 64 73 81 82 109 71 138 114 37

Public access

View all

15 articles

6 articles

available

not available

Based on funding mandates

Co-authors

Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
Nuno PreguiçaNOVA LINCS / Universidade NOVA de LisboaVerified email at fct.unl.pt
Marc ShapiroSorbonne-Université—LIP6 & InriaVerified email at acm.org
Valter BalegasNOVA LINCS, FCT, Univ. Nova de LisboaVerified email at campus.fct.unl.pt
Rodrigo RodriguesInstituto Superior Técnico (IST - Técnico ULisboa)Verified email at campus.ul.pt
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Joao Costa SecoNOVA LINCS - Universidade Nova de LisboaVerified email at fct.unl.pt
Tony (C.A.R.) HoarePrincipal Researcher, Microsoft Research; Emeritus Professor, University of Oxford; GriffithVerified email at griffith.edu.au
Joao LourencoNOVA University LisbonVerified email at fct.unl.pt
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
Luis CairesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
Elisa Gonzalez BoixProfessor of Computer Science, Vrije Universiteit BrusselVerified email at vub.be
Tomas VojnarFIT, Brno University of TechnologyVerified email at fit.vutbr.cz
Paulo Sérgio AlmeidaHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Alcino CunhaHASLab, INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Carlos BaqueroProfessor at DEI, FEUP, University of Porto. Researcher at HASLab, INESC TEC.Verified email at fe.up.pt

Carla Ferreira

NOVA University Lisbon / NOVA LINCS

Verified email at fct.unl.pt - Homepage


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	197	2004
A trace semantics for long-running transactions M Butler, T Hoare, C Ferreira Communicating Sequential Processes. The First 25 Years, 133-150, 2005	196	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	168	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	155	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	85	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	75	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	74	2002
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	50	2016
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	49	2015
On the expressive power of primitives for compensation handling I Lanese, C Vaz, C Ferreira European Symposium on Programming (ESOP), 366-386, 2010	49	2010
A process calculus analysis of compensations L Caires, C Ferreira, H Vieira International Symposium on Trustworthy Global Computing (TGC), 87-103, 2008	42	2008
Dynamic recovering of long running transactions C Vaz, C Ferreira, A Ravara International Symposium on Trustworthy Global Computing (TGC), 201-215, 2008	31	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	28	2018
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
Model-based trace-checking Y Howard, S Gruner, A Gravell, C Ferreira, JC Augusto arXiv preprint arXiv:1111.2825, 2011	23	2011
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	20	2016
Animation and model checking of CSP and B using Prolog technology M Leuschel, L Adhianto, M Butler, C Ferreira, L Mikhailov	20	2001
Verifying concurrent programs using contracts RJ Dias, C Ferreira, J Fiedor, JM Lourenço, A Smrcka, DG Sousa, ... 2017 IEEE International Conference on Software Testing, Verification and …, 2017	19	2017
Using B refinement to analyse compensating business processes C Ferreira, M Butler ZB 2003: Formal Specification and Development in Z and B: Third …, 2003	19	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors