Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 133



101
TÍTULO: Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication
AUTORES: Yoshida, N; Vasconcelos, VT ;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 171, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
102
TÍTULO: Checking the conformance of Java classes against algebraic specifications
AUTORES: Isabel Nunes; Antonia Lopes ; Vasco Vasconcelos ; Joao Abreu; Luis S Reis;
PUBLICAÇÃO: 2006, FONTE: 8th International Conference on Formal Engineering Methods (ICFEM 2006) in Formal Methods and Software Engineering, Proceedings, VOLUME: 4260
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
103
TÍTULO: SCC: A service centered calculus
AUTORES: 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;
PUBLICAÇÃO: 2006, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 74
NO MEU: ORCID | DBLP
104
TÍTULO: Type checking a multithreaded functional language with session types  Full Text
AUTORES: Vasco T Vasconcelos ; Simon J Gay; Antonio Ravara ;
PUBLICAÇÃO: 2006, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 368, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
105
TÍTULO: Typing the behavior of software components using session types  Full Text
AUTORES: Antonio Vallecillo; Vasco T Vasconcelos ; Antonio Ravara ;
PUBLICAÇÃO: 2006, FONTE: 1st International Workshop on Foundations of Coordination Languages & Software Architectures (FOCLASA 02) in FUNDAMENTA INFORMATICAE, VOLUME: 73, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
106
TÍTULO: A software framework for rapid prototyping of run-time systems for mobile calculi  Full Text
AUTORES: Bettini, L; De Nicola, R; Falassi, D; Lacoste, M; Lopes, L ; Oliveira, L; Paulino, H ; Vasconcelos, VT ;
PUBLICAÇÃO: 2005, FONTE: 2nd IST/FET International Workshop on Global Computing in GLOBAL COMPUTING, VOLUME: 3267
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP
107
TÍTULO: History-based access control for distributed processes
AUTORES: Martins, F ; Vasconcelos, V ;
PUBLICAÇÃO: 2005, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
108
TÍTULO: Lambda and pi calculi, CAM and SECD machines
AUTORES: Vasconcelos, VT ;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 15, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
109
TÍTULO: MiKO - Mikado Koncurrent Objects
AUTORES: Francisco Martins ; Liliana Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLICAÇÃO: 2005, FONTE: Foundations of Global Computing 2005 in Foundations of Global Computing, 20.-25. February 2005, VOLUME: 05081
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
110
TÍTULO: Session types for functional multithreading
AUTORES: Vasconcelos, V ; Ravara, A ; Gay, S;
PUBLICAÇÃO: 2004, FONTE: 15th International Conference on Concurrency Theory in CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 3170
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP
Página 11 de 14. Total de resultados: 133.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service