Antonio Ravara

Citée par

	Toutes	Depuis 2020
Citations	1825	481
indice h	20	11
indice i10	27	11

120

19981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 17 11 10 16 22 32 47 67 100 111 87 120 76 69 66 62 78 93 70 55 105 74 85 96 113 89 24

Accès public

Tout afficher

17 articles

1 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaAdresse e-mail validée de di.fc.ul.pt
Simon J GaySchool of Computing Science, University of GlasgowAdresse e-mail validée de dcs.gla.ac.uk
Ivan LaneseUniversity of BolognaAdresse e-mail validée de unibo.it
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaAdresse e-mail validée de tecnico.ulisboa.pt
Francisco MartinsAssociate Professor, Faculty of Sciences and Technology, University of the Azores and LASIGEAdresse e-mail validée de uac.pt
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaAdresse e-mail validée de cs.unibo.it
Hugo Torres VieiraEvidence SrlAdresse e-mail validée de evidence.eu.com
Marco GiuntiUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
Hans HüttelAssociate Professor, Aalborg UniversityAdresse e-mail validée de cs.aau.dk
Emilio TuostoGran Sasso Science InstituteAdresse e-mail validée de gssi.it
Pierre-Malo DeniélouGoogle IncAdresse e-mail validée de denielou.pm
Marco CarboneAssociate Professor, IT University of CopenhagenAdresse e-mail validée de itu.dk
Antonio VallecilloUniversidad de MalagaAdresse e-mail validée de lcc.uma.es
Rocco De NicolaProfessor of Computer Science, IMT LuccaAdresse e-mail validée de imtlucca.it
Carla FerreiraNOVA LINCS / NOVA University LisbonAdresse e-mail validée de fct.unl.pt
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoAdresse e-mail validée de unicam.it
Davide SangiorgiProfessor of Computer Science, University of BolognaAdresse e-mail validée de cs.unibo.it
Luís Cruz-FilipeUniversity of Southern DenmarkAdresse e-mail validée de imada.sdu.dk
Uwe NestmannProfessor of Computer Science, TU BerlinAdresse e-mail validée de tu-berlin.de
Simão Melo de SousaFull Professor, Algarve UniversityAdresse e-mail validée de ualg.pt

Suivre

Antonio Ravara

Associate Professor, Department of Informatics, New University of Lisbon

Adresse e-mail validée de fct.unl.pt - Page d'accueil

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


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	304	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	131	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	127	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
Typing the behavior of software components using session types A Vallecillo, VT Vasconcelos, A Ravara Fundamenta Informaticæ 73 (4), 583-598, 2006	71	2006
Session types for functional multithreading V Vasconcelos, A Ravara, S Gay International Conference on Concurrency Theory, 497-511, 2004	71	2004
Behavioural Types: from Theory to Tools S Gay, A Ravara Taylor & Francis, 2017	70	2017
Behavioural types for a calculus of concurrent objects A Ravara, V Vasconcelos Euro-Par'97 Parallel Processing: Third International Euro-Par Conference …, 1997	56	1997
Typing non-uniform concurrent objects A Ravara, VT Vasconcelos International Conference on Concurrency Theory, 474-489, 2000	54	2000
Modular session types for objects SJ Gay, N Gesbert, A Ravara, VT Vasconcelos Logical Methods in Computer Science 11, 2015	31	2015
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	29	2003
Cameleer: a deductive verification tool for OCaml M Pereira, A Ravara International Conference on Computer Aided Verification, 677-689, 2021	27	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	26	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs