| 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 | 299 | 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 | 124 | 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 | 67 | 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 |
| Cameleer: A deductive verification tool for ocaml M Pereira, A Ravara International Conference on Computer Aided Verification, 677-689, 2021 | 22 | 2021 |
| 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 | 21* | 2009 |
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaПодтвержден адрес электронной почты в домене di.fc.ul.pt
Simon J GaySchool of Computing Science, University of GlasgowПодтвержден адрес электронной почты в домене dcs.gla.ac.uk
Ivan LaneseUniversity of BolognaПодтвержден адрес электронной почты в домене unibo.it
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaПодтвержден адрес электронной почты в домене tecnico.ulisboa.pt
Francisco MartinsAssociate Professor, Faculty of Sciences and Technology, University of the Azores and LASIGEПодтвержден адрес электронной почты в домене uac.pt
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaПодтвержден адрес электронной почты в домене cs.unibo.it
Hugo Torres VieiraEvidence SrlПодтвержден адрес электронной почты в домене evidence.eu.com
Marco GiuntiUniversity of OxfordПодтвержден адрес электронной почты в домене cs.ox.ac.uk
Hans HüttelAssociate Professor, Aalborg UniversityПодтвержден адрес электронной почты в домене cs.aau.dk
Antonio VallecilloUniversidad de MalagaПодтвержден адрес электронной почты в домене lcc.uma.es
Marco CarboneAssociate Professor, IT University of CopenhagenПодтвержден адрес электронной почты в домене itu.dk
Rocco De NicolaProfessor of Computer Science, IMT LuccaПодтвержден адрес электронной почты в домене imtlucca.it
Carla FerreiraNOVA LINCS / NOVA University LisbonПодтвержден адрес электронной почты в домене fct.unl.pt
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoПодтвержден адрес электронной почты в домене unicam.it
Luís Cruz-FilipeUniversity of Southern DenmarkПодтвержден адрес электронной почты в домене imada.sdu.dk
Simão Melo de SousaFull Professor, Algarve UniversityПодтвержден адрес электронной почты в домене ualg.pt
