Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 76



11
12
13
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
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
14
TÍTULO: Linearity, Control Effects, and Behavioral Types
AUTORES: Luís Caires ; Jorge A Pérez;
PUBLICAÇÃO: 2017, FONTE: ESOP, VOLUME: 10201 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 21
NO MEU: ORCID | CIÊNCIAVITAE
15
TÍTULO: Composing Interfering Abstract Protocols
AUTORES: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLICAÇÃO: 2016, FONTE: ECOOP, VOLUME: 56
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
16
TÍTULO: Foundations of Session Types and Behavioural Contracts  Full Text
AUTORES: Hans Hüttel; Ivan Lanese; Vasco T Vasconcelos ; Luís Caires ; Marco Carbone; Pierre Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro;
PUBLICAÇÃO: 2016, FONTE: ACM COMPUTING SURVEYS, VOLUME: 49, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 130
NO MEU: ORCID | CIÊNCIAVITAE
17
TÍTULO: Linear logic propositions as session types
AUTORES: Caires, L ; Pfenning, F ; Toninho, B ;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 80
NO MEU: ORCID | CIÊNCIAVITAE
18
TÍTULO: Multiparty Session Types Within a Canonical Binary Theory, and Beyond
AUTORES: Caires, L ; Pérez, JA;
PUBLICAÇÃO: 2016, FONTE: 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems(FORTE) held as part of the 11th International Federated Conference on Distributed Computing Techniques (DisCoTec) in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2016), VOLUME: 9688
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
NO MEU: ORCID | CIÊNCIAVITAE
19
TÍTULO: Dependent Information Flow Types
AUTORES: Lourenço, L; Caires, L ;
PUBLICAÇÃO: 2015, FONTE: ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 31
NO MEU: ORCID | CIÊNCIAVITAE
20
TÍTULO: A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions
AUTORES: Luís Caires ; Jorge A Pérez;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1407.4242
INDEXADO EM: DBLP
Página 2 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