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: Luis Caires ; Carla Ferreira ; Hugo Vieira ;
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 | ResearcherID
12
TÍTULO: Conversation Types
AUTORES: Luis Caires ; Hugo Torres Vieira ;
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: 31
NO MEU: ORCID | ResearcherID
13
TÍTULO: The conversation calculus: A model of service-oriented computation
AUTORES: Hugo T Vieira ; Luis Caires ; Joao C Seco ;
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 | ResearcherID
14
TÍTULO: Extensionality of Spatial Observations in Distributed Systems
AUTORES: Caires, L ; Vieira, HT ;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 175, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
15
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
Página 2 de 2. Total de resultados: 15.

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