Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 72



51
TITLE: Extensionality of Spatial Observations in Distributed Systems
AUTHORS: Caires, L ; Vieira, HT ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 175, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
52
TITLE: Logical semantics of types for concurrency
AUTHORS: Luis Caires ;
PUBLISHED: 2007, SOURCE: 2nd International Conference on Algebra and Coalgebra in Computer Science in ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 4624
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
53
TITLE: Spatial-behavioral types, distributed services, and resources  Full Text
AUTHORS: Luis Caires ;
PUBLISHED: 2007, SOURCE: 2nd Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 4661
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | DBLP
54
TITLE: Elimination of quantifiers and undecidability in spatial logics for concurrency  Full Text
AUTHORS: Luis Caires ; Etienne Lozes;
PUBLISHED: 2006, SOURCE: 15th International Conference on Concurrency Theory in THEORETICAL COMPUTER SCIENCE, VOLUME: 358, ISSUE: 2-3
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
55
TITLE: SCC: A service centered calculus
AUTHORS: 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;
PUBLISHED: 2006, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 74
IN MY: ORCID | DBLP
56
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
57
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
58
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
59
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
60
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
Page 6 of 8. Total results: 72.

A place for researchers and their institutions

Useful Links

Get Help

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