Vasco T. Vasconcelos - Google Scholar Citations

Cited by

	All	Since 2014
Citations	4104	1573
h-index	27	18
i10-index	60	31

340

170

255

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201938 13 25 39 55 106 47 76 84 99 75 95 147 210 219 227 224 222 233 229 236 257 333 225 214 304

Co-authors

Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
Francisco MartinsAssistant Professor, LASIGE, Faculdade de Ciências, Universidade de Lisboa, PortugalVerified 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
Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Antonia LopesDepartamento de Informática and LaSIGE, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Nicholas NgMonzoVerified email at monzo.com
Fernando SilvaCRACS - INESC-TEC & Computer Science Department, FCUP, University of Porto, PortugalVerified email at dcc.fc.up.pt
Hugo Torres VieiraIMT LuccaVerified email at imtlucca.it
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Eduardo R. B. MarquesCRACS / INESC-TEC & DCC / FCUPVerified email at dcc.fc.up.pt
Dimitris MostrousVerified email at di.fc.ul.pt
Joana CamposLaSIGE, Faculdade de Ciências, Universidade de Lisboa, PortugalVerified email at lasige.di.fc.ul.pt
Tiago CogumbreiroUMass BostonVerified email at umb.edu
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
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

Professor of Computer Science, LASIGE, Faculdade de Ciências, Universidade de Lisboa

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


Title	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	904	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	197	2006
Linear type theory for asynchronous session types SJ Gay, VT Vasconcelos Journal of Functional Programming 20 (1), 19-50, 2010	178	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	177	2007
Typed concurrent objects VT Vasconcelos European Conference on Object-Oriented Programming, 100-117, 1994	162	1994
Secure information flow as typed process behaviour K Honda, V Vasconcelos, N Yoshida European Symposium on Programming, 180-199, 2000	159	2000
Principal typing schemes in a polyadic π-calculus VT Vasconcelos, K Honda International Conference on Concurrency Theory, 524-538, 1993	141	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	116	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	113	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	111	2007
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), 3, 2016	109	2016
A typing system for a calculus of objects VT Vasconcelos, M Tokoro International Symposium on Object Technologies for Advanced Software, 460-474, 1993	95	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	87	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	79	2003
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	76	2016
Fundamentals of session types VT Vasconcelos Information and Computation 217, 52-70, 2012	75	2012
Typing the behavior of software components using session types A Vallecillo, VT Vasconcelos, A Ravara Fundamenta Informaticæ 73 (4), 583-598, 2006	75*	2006
Session types for functional multithreading V Vasconcelos, A Ravara, S Gay International Conference on Concurrency Theory, 497-511, 2004	59	2004
Typing non-uniform concurrent objects A Ravara, VT Vasconcelos International Conference on Concurrency Theory, 474-489, 2000	54	2000
Fundamentals of session types VT Vasconcelos Formal Methods for Web Services, 158-186, 2009	46*	2009

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