Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 77



61
TITLE: Types for dynamic reconfiguration
AUTHORS: Seco, JC ; Caires, L ;
PUBLISHED: 2006, SOURCE: 15th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 3924
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
62
TITLE: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
AUTHORS: Luís Caires ; Giuseppe F Italiano; Luís Monteiro; Catuscia Palamidessi; Moti Yung;
PUBLISHED: 2005, SOURCE: ICALP, VOLUME: 3580
INDEXED IN: DBLP
IN MY: DBLP
63
TITLE: Lecture Notes in Computer Science: Preface
AUTHORS: Caires, L ; Italiano, GF; Monteiro, L; Palamidessi, C; Yung, M;
PUBLISHED: 2005, SOURCE: 32nd International Colloquium on Automata, Languages and Programming, ICALP 2005 in Lecture Notes in Computer Science, VOLUME: 3580
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
64
TITLE: Subtyping first-class polymorphic components
AUTHORS: Seco, JC ; Caires, L ;
PUBLISHED: 2005, SOURCE: 14th European Symposium on Programming (ESOP 2005) in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 3444
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
65
TITLE: A spatial logic for concurrency - II  Full Text
AUTHORS: Caires, L ; Cardelli, L;
PUBLISHED: 2004, SOURCE: Conference on Foundations of Wide Area Network Computing in THEORETICAL COMPUTER SCIENCE, VOLUME: 322, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 44
IN MY: ORCID | DBLP | CIÊNCIAVITAE
66
TITLE: Behavioral and spatial observations in a Logic for the pi-calculus
AUTHORS: Caires, L ;
PUBLISHED: 2004, SOURCE: 7th International Conference on Foundations of Software Science and Computation Structures in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, VOLUME: 2987
INDEXED IN: Scopus WOS DBLP CrossRef: 31
IN MY: ORCID | DBLP | CIÊNCIAVITAE
67
TITLE: Elimination of quantifiers and undecidability in spatial logics for concurrency
AUTHORS: Caires, L ; Lozes, E;
PUBLISHED: 2004, SOURCE: 15th International Conference on Concurrency Theory in CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 3170
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID | DBLP | CIÊNCIAVITAE
68
TITLE: A spatial logic for concurrency (part I)  Full Text
AUTHORS: Caires, L ; Cardelli, L;
PUBLISHED: 2003, SOURCE: 4th Symposium on Theoretical Aspects of Computer Software in INFORMATION AND COMPUTATION, VOLUME: 186, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 121
IN MY: ORCID | DBLP | CIÊNCIAVITAE
69
TITLE: A spatial logic for concurrency (Part II)
AUTHORS: Caires, L ; Cardelli, L;
PUBLISHED: 2002, SOURCE: 13th International Conference on Concurrency Theory, CONCUR 2002 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2421 LNCS
INDEXED IN: Scopus DBLP CrossRef: 27
IN MY: ORCID | DBLP | CIÊNCIAVITAE
70
TITLE: A Spatial Logic for Concurrency
AUTHORS: Luís Caires ; Luca Cardelli;
PUBLISHED: 2001, SOURCE: 4th International Symposium on Theoretical Aspects of Computer Software, TACS 2001 in Theoretical Aspects of Computer Software, 4th International Symposium, TACS 2001, Sendai, Japan, October 29-31, 2001, Proceedings, VOLUME: 2215
INDEXED IN: Scopus DBLP CrossRef: 34
IN MY: DBLP | CIÊNCIAVITAE
Page 7 of 8. Total results: 77.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service