Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 75



41
TITLE: A simple proof system for lock-free concurrency
AUTHORS: Luís Caires ; Carla Ferreira ; António Ravara;
PUBLISHED: 2010, SOURCE: PSPL@LICS
INDEXED IN: DBLP
42
TITLE: A Spatial-Epistemic Logic for Reasoning about Security Protocols  Full Text
AUTHORS: Bernardo Toninho ; Luís Caires ;
PUBLISHED: 2010, SOURCE: SecCo, VOLUME: 51
INDEXED IN: DBLP CrossRef: 3
43
TITLE: A Type System for Access Control Views in Object-Oriented Languages
AUTHORS: Pires, M; Caires, L ;
PUBLISHED: 2010, SOURCE: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security in AUTOMATED REASONING FOR SECURITY PROTOCOL ANALYSIS AND ISSUES IN THE THEORY OF SECURITY, VOLUME: 6186
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
44
TITLE: Aliasing control with view-based typestate
AUTHORS: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLISHED: 2010, SOURCE: FTfJP@ECOOP
INDEXED IN: Scopus DBLP CrossRef: 13
IN MY: ORCID | CIÊNCIAVITAE
45
TITLE: Analysis of Service Oriented Software Systems with the Conversation Calculus
AUTHORS: Luís Caires ; Hugo Torres Vieira ;
PUBLISHED: 2010, SOURCE: FACS, VOLUME: 6921 LNCS
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
46
TITLE: Conversation types  Full Text
AUTHORS: Caires, L ; Vieira, HT ;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 51-52
INDEXED IN: Scopus WOS DBLP CrossRef: 48
IN MY: ORCID | CIÊNCIAVITAE
47
TITLE: Session Types as Intuitionistic Linear Propositions
AUTHORS: Caires, L ; Pfenning, F ;
PUBLISHED: 2010, SOURCE: 21st Conference on Concurrency Theory in CONCUR 2010 - CONCURRENCY THEORY, VOLUME: 6269
INDEXED IN: Scopus WOS DBLP CrossRef: 151
IN MY: ORCID | CIÊNCIAVITAE
48
TITLE: A Process Calculus Analysis of Compensations  Full Text
AUTHORS: Caires, L ; Ferreira, C ; Vieira, H ;
PUBLISHED: 2009, SOURCE: 4th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 5474
INDEXED IN: Scopus WOS DBLP CrossRef: 23
IN MY: ORCID | CIÊNCIAVITAE
49
TITLE: Conversation Types
AUTHORS: Caires, L ; Vieira, HT ;
PUBLISHED: 2009, SOURCE: 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held at Joint European Conferences on Theory and Practice of Software in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5502
INDEXED IN: Scopus WOS DBLP CrossRef: 32
IN MY: ORCID | CIÊNCIAVITAE
50
TITLE: Dynamic Spatial Logics: A Tutorial Survey
AUTHORS: Luís Caires ;
PUBLISHED: 2008, SOURCE: Bulletin of the EATCS, VOLUME: 94
INDEXED IN: DBLP
IN MY: DBLP
Page 5 of 8. Total results: 75.

footer slogan

Useful Links

Get Help

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