Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 127



71
TITLE: Core Calculi for Service-Oriented Computing
AUTHORS: Luís Caires ; Rocco De Nicola; Rosario Pugliese; Vasco Thudichum Vasconcelos ; Gianluigi Zavattaro;
PUBLISHED: 2011, SOURCE: Results of the SENSORIA Project, VOLUME: 6582
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
72
TITLE: Runtime Verification for Generic Classes with CONGU2  Full Text
AUTHORS: Crispim, P; Lopes, A ; Vasconcelos, VT ;
PUBLISHED: 2011, SOURCE: 13th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, VOLUME: 6527
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
73
TITLE: Session Typing for a Featherweight Erlang
AUTHORS: Mostrous, D; Vasconcelos, VT ;
PUBLISHED: 2011, SOURCE: 13th International Conference on Coordination Models and Languages (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2011, VOLUME: 6721
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: ORCID
74
TITLE: Sessions, from Types to Programming Languages
AUTHORS: Vasco T Vasconcelos ;
PUBLISHED: 2011, SOURCE: Bulletin of the EATCS, VOLUME: 103
INDEXED IN: DBLP
IN MY: DBLP
75
TITLE: 18th International Conference on Concurrency Theory Preface  Full Text
AUTHORS: Caires, L ; Vasconcelos, VT ;
PUBLISHED: 2010, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 208, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
76
TITLE: A Linear Account of Session Types in the Pi Calculus
AUTHORS: Giunti, M ; Vasconcelos, VT ;
PUBLISHED: 2010, SOURCE: 21st Conference on Concurrency Theory in CONCUR 2010 - CONCURRENCY THEORY, VOLUME: 6269
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID
77
TITLE: Channels as Objects in Concurrent Object-Oriented Programming  Full Text
AUTHORS: Joana Campos; Vasco T Vasconcelos ;
PUBLISHED: 2010, SOURCE: PLACES, VOLUME: 69
INDEXED IN: DBLP CrossRef: 2
78
TITLE: Distributed Informal Information Systems for Innovation: An Empirical Study of the Role of Social Networks
AUTHORS: Vasco Vasconcelos ; Pedro Campos ;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT II, VOLUME: 110, ISSUE: PART 2
INDEXED IN: Scopus WOS CrossRef: 1
79
TITLE: Linear type theory for asynchronous session types
AUTHORS: Gay, SJ; Vasconcelos, VT ;
PUBLISHED: 2010, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 20, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 140
IN MY: ORCID
80
TITLE: Modular Session Types for Distributed Object-Oriented Programming
AUTHORS: Gay, SJ; Vasconcelos, VT ; Ravara, A; Gesbert, N; Caldeira, AZ;
PUBLISHED: 2010, SOURCE: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10 in POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 8 of 13. Total results: 127.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service