Vasco T. Vasconcelos

Cituota

	Visi	Nuo 2019
Šaltiniai	5656	1856
h-rodyklė	32	19
i10-rodyklė	74	34

380

190

285

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202439 11 29 40 57 108 50 82 91 100 79 108 145 226 217 205 226 218 230 212 242 232 321 222 196 318 256 287 319 371 303

Viešas pasiekiamumas

Peržiūrėti viską

22 straipsniai

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Francisco MartinsAssociate Professor, Faculty of Sciences and Technology, University of the Azores and LASIGEPatvirtintas el. paštas uac.pt
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonPatvirtintas el. paštas fct.unl.pt
Simon J GaySchool of Computing Science, University of GlasgowPatvirtintas el. paštas dcs.gla.ac.uk
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaPatvirtintas el. paštas tecnico.ulisboa.pt
Ivan LaneseUniversity of BolognaPatvirtintas el. paštas unibo.it
Andreia MordidoLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaPatvirtintas el. paštas fc.ul.pt
Rocco De NicolaProfessor of Computer Science, IMT LuccaPatvirtintas el. paštas imtlucca.it
Antonia LopesDepartamento de Informática and LaSIGE, Faculdade de Ciências, Universidade de LisboaPatvirtintas el. paštas ciencias.ulisboa.pt
Nicholas NgMonzoPatvirtintas el. paštas monzo.com
Peter ThiemannProfessor of Computer Science, University of FreiburgPatvirtintas el. paštas informatik.uni-Freiburg.de
Hugo Torres VieiraEvidence SrlPatvirtintas el. paštas evidence.eu.com
Fernando SilvaCRACS - INESC-TEC & Computer Science Department, FCUP, University of Porto, PortugalPatvirtintas el. paštas fc.up.pt
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaPatvirtintas el. paštas cs.unibo.it
Joana CamposLaSIGE, Faculdade de Ciências, Universidade de Lisboa, PortugalPatvirtintas el. paštas lasige.di.fc.ul.pt
Eduardo R. B. MarquesDCC / FCUP & CRACS / INESC-TECPatvirtintas el. paštas dcc.fc.up.pt
César Augusto Ribeiro dos SantosResearch Engineer, Siemens Industry Software NVPatvirtintas el. paštas siemens.com
Pierre-Malo DeniélouGoogle IncPatvirtintas el. paštas denielou.pm
Michele BorealeUniversità di Firenze, DiSIAPatvirtintas el. paštas unifi.it
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoPatvirtintas el. paštas unicam.it
Isabel NunesLasige, Faculdade de Ciências, Universidade de LisboaPatvirtintas el. paštas fc.ul.pt

Stebėti

Vasco T. Vasconcelos

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

Patvirtintas el. paštas di.fc.ul.pt - Pagrindinis puslapis

Programming Languages Type Systems Software Verification Concurrency Theory


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
Language primitives and type discipline for structured communication-based programming K Honda, VT Vasconcelos, M Kubo European Symposium on Programming, 122-138, 1998	1210	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	298	2016
Linear type theory for asynchronous session types SJ Gay, VT Vasconcelos Journal of Functional Programming 20 (1), 19-50, 2010	251	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	210	2006
Fundamentals of session types VT Vasconcelos Formal Methods for Web Services, 158-186, 2009	209	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	202	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	201	2016
Secure information flow as typed process behaviour K Honda, V Vasconcelos, N Yoshida Programming Languages and Systems: 9th European Symposium on Programming …, 2000	181	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	146	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	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
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
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	70	2015
Typing the behavior of software components using session types A Vallecillo, VT Vasconcelos, A Ravara Fundamenta Informaticæ 73 (4), 583-598, 2006	69	2006
Context-free session types P Thiemann, VT Vasconcelos Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	59	2016

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai