Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 77



41
TITLE: Tools and verification
AUTHORS: Bartoletti, M; Caires, L ; Lanese, I; Mazzanti, F; Sangiorgi, D; Vieira, HT ; Zunino, R;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
42
TITLE: Type-Based Access Control in Data-Centric Systems  Full Text
AUTHORS: Luis Caires ; Jorge A Perez ; Joao Costa Seco ; Hugo Torres Vieira ; Lucio Ferrao;
PUBLISHED: 2011, SOURCE: 20th European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 6602
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
43
TITLE: 18th International Conference on Concurrency Theory Preface  Full Text
AUTHORS: Luis Caires ; Vasco T Vasconcelos ;
PUBLISHED: 2010, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 208, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
44
TITLE: A simple proof system for lock-free concurrency
AUTHORS: Luís Caires ; Carla Ferreira ; António Ravara;
PUBLISHED: 2010, SOURCE: International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010, VOLUME: 12
INDEXED IN: DBLP
IN MY: DBLP
45
TITLE: A Spatial-Epistemic Logic for Reasoning about Security Protocols  Full Text
AUTHORS: Bernardo Toninho ; Luís Caires ;
PUBLISHED: 2010, SOURCE: Proceedings 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, 30th August 2010., VOLUME: 51
INDEXED IN: DBLP CrossRef: 3
IN MY: DBLP
46
TITLE: A Type System for Access Control Views in Object-Oriented Languages
AUTHORS: Mario Pires; Luis Caires ;
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 | DBLP | CIÊNCIAVITAE
47
TITLE: Aliasing control with view-based typestate
AUTHORS: Militao, F; Aldrich, J; Caires, L ;
PUBLISHED: 2010, SOURCE: 24th European Conference on Object-Oriented Programming, ECOOP 2010 - 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10 in 24th European Conference on Object-Oriented Programming, ECOOP 2010 Workshop Proceedings - Workshop 5:12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10
INDEXED IN: Scopus DBLP CrossRef: 13
IN MY: ORCID | DBLP | CIÊNCIAVITAE
48
TITLE: Conversation types  Full Text
AUTHORS: Luis Caires ; Hugo Torres Vieira ;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 51-52
INDEXED IN: Scopus WOS DBLP CrossRef: 42
IN MY: ORCID | DBLP | CIÊNCIAVITAE
49
TITLE: Session Types as Intuitionistic Linear Propositions
AUTHORS: Luis Caires ; Frank Pfenning ;
PUBLISHED: 2010, SOURCE: 21st Conference on Concurrency Theory in CONCUR 2010 - CONCURRENCY THEORY, VOLUME: 6269
INDEXED IN: Scopus WOS DBLP CrossRef: 129
IN MY: ORCID | DBLP | CIÊNCIAVITAE
50
TITLE: A Process Calculus Analysis of Compensations  Full Text
AUTHORS: Luis Caires ; Carla Ferreira ; Hugo Vieira ;
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 | DBLP | CIÊNCIAVITAE
Page 5 of 8. Total results: 77.

footer slogan

Useful Links

Get Help

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