Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 76



51
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
52
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
53
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 | CIÊNCIAVITAE
54
55
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
56
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
57
TÍTULO: Elimination of quantifiers and undecidability in spatial logics for concurrency  Full Text
AUTORES: Caires, L ; Lozes, E;
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 | CIÊNCIAVITAE
58
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 | CIÊNCIAVITAE
59
TÍTULO: SCC: A Service Centered Calculus
AUTORES: Michele Boreale; Roberto Bruni; Luís Caires ; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins ; Ugo Montanari; António Ravara ; Davide Sangiorgi; Vasco Thudichum Vasconcelos ; Gianluigi Zavattaro;
PUBLICAÇÃO: 2006, FONTE: WS-FM, VOLUME: 4184 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 77
NO MEU: ORCID | CIÊNCIAVITAE
60
TÍTULO: Types for dynamic reconfiguration
AUTORES: Seco, JC ; Caires, L ;
PUBLICAÇÃO: 2006, FONTE: 15th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 3924
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
Página 6 de 8. Total de resultados: 76.

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