Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 72



11
TITLE: Linearity, Control Effects, and Behavioral Types
AUTHORS: Luís Caires ; Jorge A. Pérez;
PUBLISHED: 2017, SOURCE: 26th European Symposium on Programming, ESOP 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 in Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, VOLUME: 10201
INDEXED IN: Scopus DBLP
IN MY: DBLP
12
TITLE: Composing Interfering Abstract Protocols
AUTHORS: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLISHED: 2016, SOURCE: 30th European Conference on Object-Oriented Programming, ECOOP 2016 in 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy, VOLUME: 56
INDEXED IN: Scopus DBLP
IN MY: DBLP
13
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: 120
IN MY: DBLP
14
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
IN MY: DBLP
15
TITLE: Multiparty Session Types Within a Canonical Binary Theory, and Beyond
AUTHORS: Luis Caires ; Jorge A Perez;
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: 15
IN MY: DBLP
16
TITLE: Dependent Information Flow Types
AUTHORS: Luisa Lourenco; Luis Caires ;
PUBLISHED: 2015, SOURCE: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015 in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 28
IN MY: DBLP
17
TITLE: A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions PDF
AUTHORS: Luís Caires ; Jorge A. Pérez;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.4242
INDEXED IN: DBLP arXiv
IN MY: DBLP
18
TITLE: Corecursion and Non-divergence in Session-Typed Processes
AUTHORS: Bernardo Toninho ; Luís Caires ; Frank Pfenning ;
PUBLISHED: 2014, SOURCE: Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers, VOLUME: 8902
INDEXED IN: Scopus DBLP CrossRef: 15
IN MY: DBLP
19
TITLE: Information flow analysis for valued-indexed data security compartments
AUTHORS: Lourenco, L; Caires, L ;
PUBLISHED: 2014, SOURCE: 8th International Symposium on Trustworthy Global Computing, TGC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8358 LNCS
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: DBLP
20
TITLE: Linear logical relations and observational equivalences for session-based concurrency  Full Text
AUTHORS: Jorge A Perez ; Luis Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2014, SOURCE: 6th International Conference on Language and Automata Theory and Applications (LATA) in INFORMATION AND COMPUTATION, VOLUME: 239
INDEXED IN: Scopus WOS DBLP CrossRef: 31
IN MY: DBLP
Page 2 of 8. Total results: 72.

A place for researchers and their institutions

Useful Links

Get Help

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