Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 72



51
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
52
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
53
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
54
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
55
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
56
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: 3
NO MEU: ORCID | DBLP
57
TÍTULO: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
AUTORES: Luís Caires ; Giuseppe F Italiano; Luís Monteiro; Catuscia Palamidessi; Moti Yung;
PUBLICAÇÃO: 2005, FONTE: ICALP, VOLUME: 3580
INDEXADO EM: DBLP
NO MEU: DBLP
58
TÍTULO: Lecture Notes in Computer Science: Preface
AUTORES: Caires, L ; Italiano, GF; Monteiro, L; Palamidessi, C; Yung, M;
PUBLICAÇÃO: 2005, FONTE: 32nd International Colloquium on Automata, Languages and Programming, ICALP 2005 in Lecture Notes in Computer Science, VOLUME: 3580
INDEXADO EM: Scopus
NO MEU: ORCID
59
TÍTULO: Subtyping first-class polymorphic components
AUTORES: Seco, JC ; Caires, L ;
PUBLICAÇÃO: 2005, FONTE: 14th European Symposium on Programming (ESOP 2005) in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 3444
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
60
TÍTULO: A spatial logic for concurrency - II  Full Text
AUTORES: Caires, L ; Cardelli, L;
PUBLICAÇÃO: 2004, FONTE: Conference on Foundations of Wide Area Network Computing in THEORETICAL COMPUTER SCIENCE, VOLUME: 322, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 44
NO MEU: ORCID | DBLP
Página 6 de 8. Total de resultados: 72.

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