Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 76



41
TÍTULO: 18th International Conference on Concurrency Theory Preface  Full Text
AUTORES: Caires, L ; Vasconcelos, VT ;
PUBLICAÇÃO: 2010, FONTE: INFORMATION AND COMPUTATION, VOLUME: 208, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
42
TÍTULO: A simple proof system for lock-free concurrency
AUTORES: Luís Caires ; Carla Ferreira ; António Ravara;
PUBLICAÇÃO: 2010, FONTE: PSPL@LICS
INDEXADO EM: DBLP
43
TÍTULO: A Spatial-Epistemic Logic for Reasoning about Security Protocols  Full Text
AUTORES: Bernardo Toninho ; Luís Caires ;
PUBLICAÇÃO: 2010, FONTE: SecCo, VOLUME: 51
INDEXADO EM: DBLP CrossRef: 3
44
TÍTULO: A Type System for Access Control Views in Object-Oriented Languages
AUTORES: Pires, M; Caires, L ;
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 | CIÊNCIAVITAE
45
TÍTULO: Aliasing control with view-based typestate
AUTORES: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLICAÇÃO: 2010, FONTE: FTfJP@ECOOP
INDEXADO EM: Scopus DBLP CrossRef: 13
NO MEU: ORCID | CIÊNCIAVITAE
46
TÍTULO: Analysis of Service Oriented Software Systems with the Conversation Calculus
AUTORES: Luís Caires ; Hugo Torres Vieira ;
PUBLICAÇÃO: 2010, FONTE: FACS, VOLUME: 6921 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
47
TÍTULO: Conversation types  Full Text
AUTORES: Caires, L ; Vieira, HT ;
PUBLICAÇÃO: 2010, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, NÚMERO: 51-52
INDEXADO EM: Scopus WOS DBLP CrossRef: 48
NO MEU: ORCID | CIÊNCIAVITAE
48
TÍTULO: Session Types as Intuitionistic Linear Propositions
AUTORES: Caires, L ; Pfenning, F ;
PUBLICAÇÃO: 2010, FONTE: 21st Conference on Concurrency Theory in CONCUR 2010 - CONCURRENCY THEORY, VOLUME: 6269
INDEXADO EM: Scopus WOS DBLP CrossRef: 151
NO MEU: ORCID | CIÊNCIAVITAE
49
TÍTULO: A Process Calculus Analysis of Compensations  Full Text
AUTORES: Caires, L ; Ferreira, C ; Vieira, H ;
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 | CIÊNCIAVITAE
50
TÍTULO: Conversation Types
AUTORES: Caires, L ; Vieira, HT ;
PUBLICAÇÃO: 2009, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 32
NO MEU: ORCID | CIÊNCIAVITAE
Página 5 de 8. Total de resultados: 76.

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

Links Úteis

Ajuda

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