Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 127



91
TITLE: Behavioural theory at work: Program transformations in a service-centired calculus
AUTHORS: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A ; Vasconcelos, VT ;
PUBLISHED: 2008, SOURCE: 10th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, VOLUME: 5051
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
92
TITLE: Compiling the pi-calculus into a Multithreaded Typed Assembly Language
AUTHORS: Tiago Cogumbreiro; Francisco Martins ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2008, SOURCE: PLACES@DisCoTec, VOLUME: 241, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
93
TITLE: Preface
AUTHORS: Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2008, SOURCE: PLACES@DisCoTec, VOLUME: 241, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
94
TITLE: Type-Directed Compilation for Multicore Programming
AUTHORS: Kohei Honda; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2008, SOURCE: PLACES@DisCoTec, VOLUME: 241, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
95
96
TITLE: Disciplining orchestration and conversation in service-oriented computing
AUTHORS: Lanese, I; Vasconcelos, VT ; Martins, F ; Ravara, A ;
PUBLISHED: 2007, SOURCE: 5th IEEE International Conference on Software Engineering and Formal Methods in SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 26
IN MY: ORCID
97
TITLE: Checking the conformance of Java classes against algebraic specifications
AUTHORS: Nunes, I; Lopes, A ; Vasconcelos, V ; Abreu, J; Reis, LS;
PUBLISHED: 2006, SOURCE: 8th International Conference on Formal Engineering Methods (ICFEM 2006) in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 4260
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID
98
99
TITLE: SCC: A Service Centered Calculus
AUTHORS: Michele Boreale; Roberto Bruni; Luís Caires ; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins ; Ugo Montanari; António Ravara ; Davide Sangiorgi; Vasco Thudichum Vasconcelos ; Gianluigi Zavattaro;
PUBLISHED: 2006, SOURCE: WS-FM, VOLUME: 4184 LNCS
INDEXED IN: Scopus DBLP CrossRef: 77
IN MY: ORCID
100
TITLE: Type checking a multithreaded functional language with session types  Full Text
AUTHORS: Vasconcelos, VT ; Gay, SJ; Ravara, A ;
PUBLISHED: 2006, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 368, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 65
IN MY: ORCID
Page 10 of 13. Total results: 127.

footer slogan

Useful Links

Get Help

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