Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 76



11
12
13
TITLE: Preface
AUTHORS: Christel Baier; Luís Caires ;
PUBLISHED: 2018, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10854 LNCS
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
14
TITLE: Linearity, Control Effects, and Behavioral Types
AUTHORS: Luís Caires ; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: ESOP, VOLUME: 10201 LNCS
INDEXED IN: Scopus DBLP CrossRef: 21
IN MY: ORCID | CIÊNCIAVITAE
15
TITLE: Composing Interfering Abstract Protocols
AUTHORS: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLISHED: 2016, SOURCE: ECOOP, VOLUME: 56
INDEXED IN: Scopus DBLP
IN MY: ORCID | CIÊNCIAVITAE
16
TITLE: Foundations of Session Types and Behavioural Contracts  Full Text
AUTHORS: 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;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 130
IN MY: ORCID | CIÊNCIAVITAE
17
TITLE: Linear logic propositions as session types
AUTHORS: Caires, L ; Pfenning, F ; Toninho, B ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 80
IN MY: ORCID | CIÊNCIAVITAE
18
TITLE: Multiparty Session Types Within a Canonical Binary Theory, and Beyond
AUTHORS: Caires, L ; Pérez, JA;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID | CIÊNCIAVITAE
19
TITLE: Dependent Information Flow Types
AUTHORS: Lourenço, L; Caires, L ;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 31
IN MY: ORCID | CIÊNCIAVITAE
20
TITLE: A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions
AUTHORS: Luís Caires ; Jorge A Pérez;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.4242
INDEXED IN: DBLP
Page 2 of 8. Total results: 76.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service