Vasco T. Vasconcelos 个人学术档案

引用次数

	总计	2019 年至今
引用	5478	1708
h 指数	32	19
i10 指数	72	32

380

190

285

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202439 11 29 40 57 107 50 82 91 99 78 108 145 225 217 205 226 215 228 212 236 232 316 223 195 314 259 287 309 369 168

开放获取的出版物数量

查看全部

22 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Francisco MartinsAssociate Professor, Faculty of Sciences and Technology, University of the Azores and LASIGE在 uac.pt 的电子邮件经过验证
Antonio RavaraAssociate Professor, Department of Informatics, New University of Lisbon在 fct.unl.pt 的电子邮件经过验证
Simon J GaySchool of Computing Science, University of Glasgow在 dcs.gla.ac.uk 的电子邮件经过验证
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de Lisboa在 tecnico.ulisboa.pt 的电子邮件经过验证
Ivan LaneseUniversity of Bologna在 unibo.it 的电子邮件经过验证
Andreia MordidoLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa在 fc.ul.pt 的电子邮件经过验证
Rocco De NicolaProfessor of Computer Science, IMT Lucca在 imtlucca.it 的电子邮件经过验证
Antonia LopesDepartamento de Informática and LaSIGE, Faculdade de Ciências, Universidade de Lisboa在 ciencias.ulisboa.pt 的电子邮件经过验证
Nicholas NgMonzo在 monzo.com 的电子邮件经过验证
Peter ThiemannProfessor of Computer Science, University of Freiburg在 informatik.uni-Freiburg.de 的电子邮件经过验证
Hugo Torres VieiraEvidence Srl在 evidence.eu.com 的电子邮件经过验证
Fernando SilvaCRACS - INESC-TEC & Computer Science Department, FCUP, University of Porto, Portugal在 fc.up.pt 的电子邮件经过验证
Gianluigi ZavattaroProfessor in Computer Science, University of Bologna在 cs.unibo.it 的电子邮件经过验证
Joana CamposLaSIGE, Faculdade de Ciências, Universidade de Lisboa, Portugal在 lasige.di.fc.ul.pt 的电子邮件经过验证
Eduardo R. B. MarquesDCC / FCUP & CRACS / INESC-TEC在 dcc.fc.up.pt 的电子邮件经过验证
César Augusto Ribeiro dos SantosResearch Engineer, Siemens Industry Software NV在 siemens.com 的电子邮件经过验证
Pierre-Malo DeniélouGoogle Inc在 denielou.pm 的电子邮件经过验证
Michele BorealeUniversità di Firenze, DiSIA在 unifi.it 的电子邮件经过验证
Prof. Michele LoretiSchool of Science and Technology, University of Camerino在 unicam.it 的电子邮件经过验证
Isabel NunesLasige, Faculdade de Ciências, Universidade de Lisboa在 fc.ul.pt 的电子邮件经过验证

关注

Vasco T. Vasconcelos

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

在 di.fc.ul.pt 的电子邮件经过验证 - 首页

Programming Languages Type Systems Software Verification Concurrency Theory


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Language primitives and type discipline for structured communication-based programming K Honda, VT Vasconcelos, M Kubo European Symposium on Programming, 122-138, 1998	1166	1998
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	281	2016
Linear type theory for asynchronous session types SJ Gay, VT Vasconcelos Journal of Functional Programming 20 (1), 19-50, 2010	243	2010
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	208	2006
Fundamentals of session types VT Vasconcelos Formal Methods for Web Services, 158-186, 2009	201	2009
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	198	2007
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	186	2016
Secure information flow as typed process behaviour K Honda, V Vasconcelos, N Yoshida Programming Languages and Systems: 9th European Symposium on Programming …, 2000	179	2000
Typed concurrent objects VT Vasconcelos European Conference on Object-Oriented Programming, 100-117, 1994	171	1994
Principal typing schemes in a polyadic π-calculus VT Vasconcelos, K Honda International Conference on Concurrency Theory, 524-538, 1993	144	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	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	123	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
A typing system for a calculus of objects VT Vasconcelos, M Tokoro Object Technologies for Advanced Software: First JSSST International …, 1993	101	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	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
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	68	2015
Context-free session types P Thiemann, VT Vasconcelos Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	56	2016

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用