Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 133



91
TITLE: Preface
AUTHORS: Vasconcelos, VT ; Yoshida, N;
PUBLISHED: 2009, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 241, ISSUE: C
INDEXED IN: Scopus DBLP
IN MY: DBLP
92
TITLE: Preface
AUTHORS: Vasco T Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2009, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 241
INDEXED IN: CrossRef
IN MY: ORCID
93
94
TITLE: Session Types for Linear Multithreaded Functional Programming
AUTHORS: Vasco T Vasconcelos ;
PUBLISHED: 2009, SOURCE: 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 09) in PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
95
TITLE: Session-Based Compilation Framework for Multicore Programming  Full Text
AUTHORS: Nobuko Yoshida; Vasco Vasconcelos ; Herve Paulino ; Kohei Honda;
PUBLISHED: 2009, SOURCE: 7th International Symposium on Formal Methods for Components and Objects in FORMAL METHODS FOR COMPONENTS AND OBJECTS, VOLUME: 5751
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
96
TITLE: Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
AUTHORS: Vasco Thudichum Vasconcelos ; Francisco Martins ; Tiago Cogumbreiro;
PUBLISHED: 2009, SOURCE: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009., VOLUME: 17
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
97
TITLE: Type-Directed Compilation for Multicore Programming
AUTHORS: Honda, K; Vasconcelos, VT ; Yoshida, N;
PUBLISHED: 2009, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 241, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
98
TITLE: Behavioural theory at work: Program transformations in a service-centired calculus
AUTHORS: Luis Cruz Filipe; Ivan Lanese; Francisco Martins ; Antonio Ravara ; Vasco T Vasconcelos ;
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
IN MY: ORCID | DBLP
99
100
TITLE: Disciplining orchestration and conversation in service-oriented computing
AUTHORS: Ivan Lanese; Vasco T Vasconcelos ; Francisco Martins ; Anotnio Ravara ;
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
IN MY: ORCID | DBLP
Page 10 of 14. Total results: 133.

A place for researchers and their institutions

Useful Links

Get Help

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