Hugo Filipe Mendes Torres Vieira


AuthID: R-000-60Y

Publicações Confirmadas: 15



11
TÍTULO: A Process Calculus Analysis of Compensations  Full Text
AUTORES: Caires, L ; Ferreira, C ; Vieira, H ;
PUBLICAÇÃO: 2009, FONTE: 4th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 5474
INDEXADO EM: Scopus WOS DBLP CrossRef: 23
NO MEU: ORCID
12
TÍTULO: Conversation Types
AUTORES: Caires, L ; Vieira, HT ;
PUBLICAÇÃO: 2009, FONTE: 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held at Joint European Conferences on Theory and Practice of Software in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5502
INDEXADO EM: Scopus WOS DBLP CrossRef: 32
NO MEU: ORCID
13
TÍTULO: The conversation calculus: A model of service-oriented computation
AUTORES: Vieira, HT ; Caires, L ; Seco, JC ;
PUBLICAÇÃO: 2008, FONTE: 17th European Symposium on Programming (ESOP 2008) in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 4960
INDEXADO EM: Scopus WOS DBLP CrossRef: 45
NO MEU: ORCID
14
TÍTULO: An observational model for spatial logics
AUTORES: Tuosto, E; Vieira, HT ;
PUBLICAÇÃO: 2006, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 142, NÚMERO: SPEC. ISS.
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
15
TÍTULO: Extensionality of Spatial Observations in Distributed Systems
AUTORES: Luís Caires ; Hugo Torres Vieira ;
PUBLICAÇÃO: 2006, FONTE: EXPRESS, VOLUME: 175, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
Página 2 de 2. Total de resultados: 15.

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

Links Úteis

Ajuda

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