Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 77



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

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service