Antonio Ravara

Cited by

	All	Since 2016
Citations	1390	408
h-index	17	9
i10-index	20	9

120

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020217 18 10 8 11 20 28 33 63 101 110 91 117 79 61 68 56 81 95 69 57 98 77 9

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, Universidade Nova de LisboaVerified email at fct.unl.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 VieiraUniversidade da Beira InteriorVerified email at ubi.pt
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
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Marco CarboneAssociate Professor, IT University of CopenhagenVerified email at itu.dk
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
Carla FerreiraNOVA LINCS / Universidade NOVA de LisboaVerified email at fct.unl.pt
Luca PadovaniDipartimento di Informatica, Università degli Studi di TorinoVerified email at unito.it
Luís Cruz-FilipeUniversity of Southern DenmarkVerified email at imada.sdu.dk
Marco GiuntiNew University of LisbonVerified email at campus.fct.unl.pt
Uwe NestmannProfessor of Computer Science, TU BerlinVerified email at tu-berlin.de

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
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	204	2006
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	161	2016
Type checking a multithreaded functional language with session types VT Vasconcelos, SJ Gay, A Ravara Theoretical Computer Science 368 (1-2), 64-87, 2006	119	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	117	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	112	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	83	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	78	2003
Typing the behavior of software components using session types A Vallecillo, VT Vasconcelos, A Ravara Fundamenta Informaticæ 73 (4), 583-598, 2006	74*	2006
Session types for functional multithreading V Vasconcelos, A Ravara, S Gay International Conference on Concurrency Theory, 497-511, 2004	62	2004
Typing non-uniform concurrent objects A Ravara, VT Vasconcelos International Conference on Concurrency Theory, 474-489, 2000	53	2000
Behavioural types for a calculus of concurrent objects A Ravara, V Vasconcelos European Conference on Parallel Processing, 554-561, 1997	45	1997
Behavioural Types: from Theory to Tools S Gay, A Ravara River Publishers, 2017	34	2017
Dynamic recovering of long running transactions C Vaz, C Ferreira, A Ravara International Symposium on Trustworthy Global Computing, 201-215, 2008	31	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	24	2003
Modular session types for objects SJ Gay, N Gesbert, A Ravara, VT Vasconcelos arXiv preprint arXiv:1205.5344, 2012	20	2012
Advanced mechanisms for service combination and transactions C Ferreira, I Lanese, A Ravara, HT Vieira, G Zavattaro Rigorous Software Engineering for Service-Oriented Systems, 302-325, 2011	19	2011
Dynamic interfaces VT Vasconcelos, SJ Gay, A Ravara, N Gesbert, AZ Caldeira International Workshop on Foundations of Object-Oriented Languages (FOOL), 2009	18*	2009
Session types as generic process types SJ Gay, N Gesbert, A Ravara arXiv preprint arXiv:1408.1459, 2014	15	2014
Foundations of behavioural types H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ... Report of the EU COST Action IC1201–Behavioural Types for Reliable Large …, 2014	15	2014
The stream-based service-centred calculus: a foundation for service-oriented programming L Cruz-Filipe, I Lanese, F Martins, A Ravara, VT Vasconcelos Formal Aspects of Computing 26 (5), 865-918, 2014	11	2014

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

Upload PDF

Follow this author

Cited by

Co-authors