Carla Ferreira

Cited by

	All	Since 2018
Citations	1682	587
h-index	19	12
i10-index	34	14

140

105

20022003200420052006200720082009201020112012201320142015201620172018201920202021202220237 28 26 50 55 97 96 68 131 79 73 77 52 57 73 78 82 106 74 139 116 69

Public access

View all

16 articles

5 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
Joao Costa SecoNOVA LINCS - Universidade Nova de LisboaVerified email at fct.unl.pt
Ivan LaneseUniversity of BolognaVerified email at unibo.it
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
Elisa Gonzalez BoixProfessor of Computer Science, Vrije Universiteit BrusselVerified email at vub.be
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
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
Tomas VojnarFIT, Brno University of TechnologyVerified email at fit.vutbr.cz
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	195	2004
A trace semantics for long-running transactions M Butler, T Hoare, C Ferreira Communicating Sequential Processes. The First 25 Years, 133-150, 2005	193	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	174	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	162	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	84	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	76	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
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	53	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	49	2016
On the expressive power of primitives for compensation handling I Lanese, C Vaz, C Ferreira European Symposium on Programming (ESOP), 366-386, 2010	46	2010
A process calculus analysis of compensations L Caires, C Ferreira, H Vieira International Symposium on Trustworthy Global Computing (TGC), 87-103, 2008	43	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	31	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
Model-based trace-checking Y Howard, S Gruner, A Gravell, C Ferreira, JC Augusto arXiv preprint arXiv:1111.2825, 2011	25	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	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	21	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 International Conference of B and Z Users, 477-496, 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