Luís Manuel Marques da Costa Caires
AuthID: R-000-9MG
1
TÃTULO: Thread and Memory-Safe Programming with CLASS Full Text
AUTORES: Caires, Luis;
PUBLICAÇÃO: 2025, FONTE: 16th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2505.20848, NÚMERO: 420
AUTORES: Caires, Luis;
PUBLICAÇÃO: 2025, FONTE: 16th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2505.20848, NÚMERO: 420
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP2
TÃTULO: The Session Abstract Machine
AUTORES: Caires, Luis; Toninho, Bernardo ;
PUBLICAÇÃO: 2024, FONTE: 33rd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, PT I, ESOP 2024, VOLUME: 14576
AUTORES: Caires, Luis; Toninho, Bernardo ;
PUBLICAÇÃO: 2024, FONTE: 33rd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, PT I, ESOP 2024, VOLUME: 14576
3
TÃTULO: Preface
AUTORES: Christel Baier; Luís Caires;
PUBLICAÇÃO: 2018, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10854 LNCS
AUTORES: Christel Baier; Luís Caires;
PUBLICAÇÃO: 2018, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10854 LNCS
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID4
TÃTULO: Linear logic propositions as session types
AUTORES: Caires, L; Pfenning, F; Toninho, B ;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science, VOLUME: 29, NÚMERO: 5
AUTORES: Caires, L; Pfenning, F; Toninho, B ;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science, VOLUME: 29, NÚMERO: 5
INDEXADO EM: Scopus
Scopus