Luís Manuel Marques da Costa Caires
AuthID: R-000-9MG
1
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
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP2
TÃTULO: Preface
AUTORES: Caires, L;
PUBLICAÇÃO: 2019, FONTE: 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11423 LNCS
AUTORES: Caires, L;
PUBLICAÇÃO: 2019, FONTE: 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11423 LNCS
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID3
TÃTULO: Programming Languages and Systems. 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and ...
AUTORES: Luís Caires;
PUBLICAÇÃO: 2019
AUTORES: Luís Caires;
PUBLICAÇÃO: 2019
INDEXADO EM: 
Openlibrary
Openlibrary4
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
ORCID5
TÃTULO: The type discipline of behavioral separation
AUTORES: Luís Caires; João C Seco;
PUBLICAÇÃO: 2013, FONTE: ACM SIGPLAN Notices, VOLUME: 48, NÚMERO: 1
AUTORES: Luís Caires; João C Seco;
PUBLICAÇÃO: 2013, FONTE: ACM SIGPLAN Notices, VOLUME: 48, NÚMERO: 1
