Antonio Ravara

Citado por

	Todos	Desde 2019
Citações	1786	553
Índice h	19	11
Índice i10	27	15

140

105

1998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320247 16 11 10 16 22 31 49 64 101 112 87 122 76 67 65 62 77 85 70 57 101 74 85 96 117 80

Acesso público

Ver tudo

18 artigos

1 artigo

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaEmail confirmado em di.fc.ul.pt
Simon J GaySchool of Computing Science, University of GlasgowEmail confirmado em dcs.gla.ac.uk
Ivan LaneseUniversity of BolognaEmail confirmado em unibo.it
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaEmail confirmado em tecnico.ulisboa.pt
Francisco MartinsAssociate Professor, Faculty of Sciences and Technology, University of the Azores and LASIGEEmail confirmado em uac.pt
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaEmail confirmado em cs.unibo.it
Hugo Torres VieiraEvidence SrlEmail confirmado em evidence.eu.com
Marco GiuntiUniversity of OxfordEmail confirmado em cs.ox.ac.uk
Hans HüttelAssociate Professor, Aalborg UniversityEmail confirmado em cs.aau.dk
Emilio TuostoGran Sasso Science InstituteEmail confirmado em gssi.it
Pierre-Malo DeniélouGoogle IncEmail confirmado em denielou.pm
Antonio VallecilloUniversidad de MalagaEmail confirmado em lcc.uma.es
Marco CarboneAssociate Professor, IT University of CopenhagenEmail confirmado em itu.dk
Rocco De NicolaProfessor of Computer Science, IMT LuccaEmail confirmado em imtlucca.it
Carla FerreiraNOVA LINCS / NOVA University LisbonEmail confirmado em fct.unl.pt
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoEmail confirmado em unicam.it
Davide SangiorgiProfessor of Computer Science, University of BolognaEmail confirmado em cs.unibo.it
Luís Cruz-FilipeUniversity of Southern DenmarkEmail confirmado em imada.sdu.dk
Uwe NestmannProfessor of Computer Science, TU BerlinEmail confirmado em tu-berlin.de
Simão Melo de SousaFull Professor, Algarve UniversityEmail confirmado em ualg.pt

Seguir

Antonio Ravara

Associate Professor, Department of Informatics, New University of Lisbon

Email confirmado em fct.unl.pt - Página inicial

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


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
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	294	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	63	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
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	21	2014
Dynamic interfaces VT Vasconcelos, SJ Gay, A Ravara, N Gesbert, AZ Caldeira International Workshop on Foundations of Object-Oriented Languages (FOOL), 2009	20*	2009
Cameleer: A deductive verification tool for ocaml M Pereira, A Ravara International Conference on Computer Aided Verification, 677-689, 2021	19	2021

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores