Vasco T. Vasconcelos

Cited by

	All	Since 2016
Citations	4501	1468
h-index	28	16
i10-index	64	23

360

180

270

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202138 14 26 37 58 108 49 73 85 97 78 90 149 217 228 224 222 221 230 228 229 256 343 225 210 315 284 87

New!

Public access

View all

20 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Francisco MartinsAssociate Professor, Faculty of Sciences and Technology, University of the Azores and LASIGEVerified email at uac.pt
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
Simon J GaySchool of Computing Science, University of GlasgowVerified email at dcs.gla.ac.uk
Luis CairesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Antonia LopesDepartamento de Informática and LaSIGE, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Nicholas NgMonzoVerified email at monzo.com
Hugo Torres VieiraUniversidade da Beira InteriorVerified email at ubi.pt
Fernando SilvaCRACS - INESC-TEC & Computer Science Department, FCUP, University of Porto, PortugalVerified email at dcc.fc.up.pt
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Dimitris MostrousVerified email at di.fc.ul.pt
Eduardo R. B. MarquesDCC / FCUP & CRACS / INESC-TECVerified email at dcc.fc.up.pt
Joana CamposLaSIGE, Faculdade de Ciências, Universidade de Lisboa, PortugalVerified email at lasige.di.fc.ul.pt
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
Tiago CogumbreiroAssistant Professor, UMass BostonVerified email at umb.edu
Marco GiuntiNew University of LisbonVerified email at campus.fct.unl.pt
Antonio VallecilloUniversidad de MalagaVerified email at lcc.uma.es
Hervé PaulinoProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
Hans HüttelAssociate Professor, Aalborg UniversityVerified email at cs.aau.dk

Vasco T. Vasconcelos

LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa

Verified email at di.fc.ul.pt - Homepage

Programming Languages Type Systems Software Verification Concurrency Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Language primitives and type discipline for structured communication-based programming K Honda, VT Vasconcelos, M Kubo European Symposium on Programming, 122-138, 1998	979	1998
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
Linear type theory for asynchronous session types SJ Gay, VT Vasconcelos Journal of Functional Programming 20 (1), 19, 2010	198	2010
Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication N Yoshida, VT Vasconcelos Electronic Notes in Theoretical Computer Science 171 (4), 73-93, 2007	182	2007
Typed concurrent objects VT Vasconcelos European Conference on Object-Oriented Programming, 100-117, 1994	170	1994
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	165	2016
Secure information flow as typed process behaviour K Honda, V Vasconcelos, N Yoshida European Symposium on Programming, 180-199, 2000	165	2000
Principal typing schemes in a polyadic π-calculus VT Vasconcelos, K Honda International Conference on Concurrency Theory, 524-538, 1993	138	1993
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	118	2010
Behavioral types in programming languages D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ... Foundations and Trends in Programming Languages 3 (2-3), 95-230, 2016	117	2016
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
Fundamentals of session types VT Vasconcelos Information and Computation 217, 52-70, 2012	99	2012
A typing system for a calculus of objects VT Vasconcelos, M Tokoro International Symposium on Object Technologies for Advanced Software, 460-474, 1993	98	1993
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
Protocol-based verification of message-passing parallel programs HA López, ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, ... Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015	49	2015

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