Antonio Ravara

Cited by

	All	Since 2020
Citations	1814	478
h-index	20	11
i10-index	27	12

140

105

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 16 11 10 16 22 31 49 66 99 112 87 122 76 69 66 61 77 86 69 57 103 74 86 97 116 91 14

Public access

View all

18 articles

1 article

available

not available

Based on funding mandates

Co-authors

Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Francisco MartinsAssociate Professor, Faculty of Sciences and Technology, University of the Azores and LASIGEVerified email at uac.pt
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Hugo Torres VieiraEvidence SrlVerified email at evidence.eu.com
Marco GiuntiUniversity of OxfordVerified email at cs.ox.ac.uk
Hans HüttelAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Pierre-Malo DeniélouGoogle IncVerified email at denielou.pm
Antonio VallecilloUniversidad de MalagaVerified email at lcc.uma.es
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Carla FerreiraNOVA LINCS / NOVA University LisbonVerified email at fct.unl.pt
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Luís Cruz-FilipeUniversity of Southern DenmarkVerified email at imada.sdu.dk
Uwe NestmannProfessor of Computer Science, TU BerlinVerified email at tu-berlin.de
Simão Melo de SousaFull Professor, Algarve UniversityVerified email at ualg.pt

Antonio Ravara

Associate Professor, Department of Informatics, New University of Lisbon

Verified email at fct.unl.pt - Homepage

Programming languages type systems concurrency logic in computer science specification and verification of systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Foundations of session types and behavioural contracts H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016	305	2016
SCC: a service centered calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... International Workshop on Web Services and Formal Methods, 38-57, 2006	210	2006
Type checking a multithreaded functional language with session types VT Vasconcelos, SJ Gay, A Ravara Theoretical Computer Science 368 (1-2), 64-87, 2006	130	2006
Modular session types for distributed object-oriented programming SJ Gay, VT Vasconcelos, A Ravara, N Gesbert, AZ Caldeira ACM Sigplan Notices 45 (1), 299-312, 2010	125	2010
Disciplining orchestration and conversation in service-oriented computing I Lanese, F Martins, VT Vasconcelos, A Ravara Fifth IEEE International Conference on Software Engineering and Formal …, 2007	113	2007
Session types for inter-process communication S Gay, V Vasconcelos, A Ravara Technical Report TR-2003-133, Department of Computing Science, University of …, 2003	90	2003
Typing the behavior of objects and components using session types A Vallecillo, VT Vasconcelos, A Ravara Electronic Notes in Theoretical Computer Science 68 (3), 439-456, 2003	90	2003
Session types for functional multithreading V Vasconcelos, A Ravara, S Gay CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004	72	2004
Typing the behavior of software components using session types A Vallecillo, VT Vasconcelos, A Ravara Fundamenta Informaticæ 73 (4), 583-598, 2006	69	2006
Behavioural Types: from Theory to Tools S Gay, A Ravara Taylor & Francis, 2017	68	2017
Typing non-uniform concurrent objects A Ravara, VT Vasconcelos International Conference on Concurrency Theory, 474-489, 2000	54	2000
Behavioural types for a calculus of concurrent objects A Ravara, V Vasconcelos Euro-Par'97 Parallel Processing: Third International Euro-Par Conference …, 1997	54	1997
Modular session types for objects SJ Gay, N Gesbert, A Ravara, VT Vasconcelos Logical Methods in Computer Science 11, 2015	30	2015
Dynamic recovering of long running transactions C Vaz, C Ferreira, A Ravara International Symposium on Trustworthy Global Computing, 201-215, 2008	30	2008
Lexically scoped distribution: what you see is what you get A Ravara, AG Matos, VT Vasconcelos, L Lopes Electronic Notes in Theoretical Computer Science 85 (1), 61-79, 2003	29	2003
Cameleer: A deductive verification tool for ocaml M Pereira, A Ravara International Conference on Computer Aided Verification, 677-689, 2021	24	2021
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
Models of distribution and mobility: State of the art G Boudol, I Castellani, F Germain, M Lacoste Mikado Deliverable D 1, 1.1, 2002	24	2002
Session types as generic process types SJ Gay, N Gesbert, A Ravara arXiv preprint arXiv:1408.1459, 2014	22	2014
Dynamic interfaces VT Vasconcelos, SJ Gay, A Ravara, N Gesbert, AZ Caldeira International Workshop on Foundations of Object-Oriented Languages (FOOL), 2009	21*	2009

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