Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 77



51
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 | DBLP | CIÊNCIAVITAE
52
TÍTULO: Dynamic Spatial Logics: A Tutorial Survey
AUTORES: Luís Caires ;
PUBLICAÇÃO: 2008, FONTE: Bulletin of the EATCS, VOLUME: 94
INDEXADO EM: DBLP
NO MEU: DBLP
53
TÍTULO: Spatial-behavioral types for concurrency and resource control in distributed systems  Full Text
AUTORES: Luis Caires ;
PUBLICAÇÃO: 2008, FONTE: 2nd Symposium on Trustworthy Global Computing in THEORETICAL COMPUTER SCIENCE, VOLUME: 402, NÚMERO: 2-3
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
54
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 | DBLP | CIÊNCIAVITAE
55
56
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 | DBLP | CIÊNCIAVITAE
57
TÍTULO: Logical semantics of types for concurrency
AUTORES: Luis Caires ;
PUBLICAÇÃO: 2007, FONTE: 2nd International Conference on Algebra and Coalgebra in Computer Science in ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 4624
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
58
TÍTULO: Spatial-behavioral types, distributed services, and resources  Full Text
AUTORES: Luis Caires ;
PUBLICAÇÃO: 2007, FONTE: 2nd Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 4661
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
59
TÍTULO: Elimination of quantifiers and undecidability in spatial logics for concurrency  Full Text
AUTORES: Luis Caires ; Etienne Lozes;
PUBLICAÇÃO: 2006, FONTE: 15th International Conference on Concurrency Theory in THEORETICAL COMPUTER SCIENCE, VOLUME: 358, NÚMERO: 2-3
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
60
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 | CIÊNCIAVITAE
Página 6 de 8. Total de resultados: 77.

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

Links Úteis

Ajuda

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