Antonio Ravara - Google Scholar

Cited by

	All	Since 2015
Citations	1368	461
h-index	17	11
i10-index	20	12

120

199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920207 18 10 8 12 21 29 34 64 100 111 91 117 79 66 68 53 85 95 72 57 98 52

Co-authors

Vasco T. VasconcelosProfessor of Computer Science, LASIGE, 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 MartinsAssistant Professor, LASIGE, Faculdade de Ciências, Universidade de Lisboa, PortugalVerified email at di.fc.ul.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
Carla FerreiraNOVA LINCS / Universidade NOVA de LisboaVerified email at fct.unl.pt
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
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	203	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	138	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	118	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	86	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	54	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	31	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
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	20	2011
Dynamic interfaces VT Vasconcelos, SJ Gay, A Ravara, N Gesbert, AZ Caldeira International Workshop on Foundations of Object-Oriented Languages (FOOL), 2009	19*	2009
Modular session types for objects VT Vasconcelos, A Ravara, N Gesbert, SJ Gay Logical Methods in Computer Science 11, 2015	18*	2015
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	12	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