Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 76



61
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
62
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 | CIÊNCIAVITAE
63
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 | CIÊNCIAVITAE
64
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 | CIÊNCIAVITAE
65
TÍTULO: Behavioral and spatial observations in a Logic for the pi-calculus
AUTORES: Caires, L ;
PUBLICAÇÃO: 2004, FONTE: 7th International Conference on Foundations of Software Science and Computation Structures in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, VOLUME: 2987
INDEXADO EM: Scopus WOS DBLP CrossRef: 31
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
66
TÍTULO: Elimination of quantifiers and undecidability in spatial logics for concurrency
AUTORES: Caires, L ; Lozes, É;
PUBLICAÇÃO: 2004, FONTE: 15th International Conference on Concurrency Theory in CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 3170
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID | CIÊNCIAVITAE
67
TÍTULO: A spatial logic for concurrency (part I)  Full Text
AUTORES: Caires, L ; Cardelli, L;
PUBLICAÇÃO: 2003, FONTE: 4th Symposium on Theoretical Aspects of Computer Software in INFORMATION AND COMPUTATION, VOLUME: 186, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 122
NO MEU: ORCID | CIÊNCIAVITAE
68
TÍTULO: A Spatial Logic for Concurrency (Part II)
AUTORES: Luís Caires ; Luca Cardelli;
PUBLICAÇÃO: 2002, FONTE: CONCUR, VOLUME: 2421 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 28
NO MEU: ORCID | CIÊNCIAVITAE
69
TÍTULO: A Spatial Logic for Concurrency
AUTORES: Luís Caires ; Luca Cardelli;
PUBLICAÇÃO: 2001, FONTE: TACS, VOLUME: 2215
INDEXADO EM: Scopus DBLP CrossRef: 35
NO MEU: CIÊNCIAVITAE
70
TÍTULO: A basic model of typed components
AUTORES: Seco, JC; Caires, L ;
PUBLICAÇÃO: 2000, FONTE: 14th European Conference on Object Oriented Programming (ECOOP 2000) in ECOOP 2000 - OBJECT-ORIENTED PROGRAMMING, VOLUME: 1850
INDEXADO EM: Scopus WOS DBLP CrossRef: 23
NO MEU: CIÊNCIAVITAE
Página 7 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