Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 143



111
TITLE: Checking the conformance of Java classes against algebraic specifications
AUTHORS: Isabel Nunes; Antonia Lopes ; Vasco Vasconcelos ; Joao Abreu; Luis S Reis;
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 | DBLP | CIÊNCIAVITAE
112
TITLE: SCC: A service centered calculus
AUTHORS: Boreale, M; Bruni, R; Caires, L ; De Nicola, R; Lanese, I; Loreti, M; Martins, F ; Montanari, U; Ravara, A ; Sangiorgi, D; Vasconcelos, V ; Zavattaro, G;
PUBLISHED: 2006, SOURCE: 3rd International Workshop on Web Services and Formal Methods, WS-FM 2006 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4184 LNCS
INDEXED IN: Scopus DBLP CrossRef: 74
IN MY: ORCID | DBLP | CIÊNCIAVITAE
113
TITLE: Type checking a multithreaded functional language with session types  Full Text
AUTHORS: Vasco T Vasconcelos ; Simon J Gay; Antonio Ravara ;
PUBLISHED: 2006, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 368, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
114
TITLE: Typing the behavior of software components using session types  Full Text
AUTHORS: Antonio Vallecillo; Vasco T Vasconcelos ; Antonio Ravara ;
PUBLISHED: 2006, SOURCE: 1st International Workshop on Foundations of Coordination Languages & Software Architectures (FOCLASA 02) in FUNDAMENTA INFORMATICAE, VOLUME: 73, ISSUE: 4
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
115
TITLE: A software framework for rapid prototyping of run-time systems for mobile calculi  Full Text
AUTHORS: Bettini, L; De Nicola, R; Falassi, D; Lacoste, M; Lopes, L ; Oliveira, L; Paulino, H ; Vasconcelos, VT ;
PUBLISHED: 2005, SOURCE: 2nd IST/FET International Workshop on Global Computing in GLOBAL COMPUTING, VOLUME: 3267
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
116
TITLE: History-based access control for distributed processes
AUTHORS: Martins, F ; Vasconcelos, V ;
PUBLISHED: 2005, SOURCE: International Symposium on Trustworthy Global Computing, TGC 2005 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3705 LNCS
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
117
TITLE: Lambda and pi calculi, CAM and SECD machines
AUTHORS: Vasconcelos, VT ;
PUBLISHED: 2005, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 15, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
118
TITLE: MiKO - Mikado Koncurrent Objects
AUTHORS: Francisco Martins ; Liliana Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2005, SOURCE: Foundations of Global Computing 2005 in Foundations of Global Computing, 20.-25. February 2005, VOLUME: 05081
INDEXED IN: Scopus DBLP
IN MY: DBLP
119
TITLE: Session types for functional multithreading
AUTHORS: Vasconcelos, V ; Ravara, A ; Gay, S;
PUBLISHED: 2004, SOURCE: 15th International Conference on Concurrency Theory in CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 3170
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
120
TITLE: A multi-threaded asynchronous language
AUTHORS: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 12 of 15. Total results: 143.

footer slogan

Useful Links

Get Help

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