Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 75



21
TITLE: Linear logical relations and observational equivalences for session-based concurrency  Full Text
AUTHORS: Pérez, JA ; Caires, L ; Pfenning, F ; Toninho, B ;
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: 36
IN MY: ORCID | CIÊNCIAVITAE
22
TITLE: Rely-Guarantee Protocols
AUTHORS: Militao, F; Aldrich, J; Caires, L ;
PUBLISHED: 2014, SOURCE: 28th European Conference on Object-Oriented Programming (ECOOP) in ECOOP 2014 - OBJECT-ORIENTED PROGRAMMING, VOLUME: 8586
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
23
TITLE: Substructural typestates
AUTHORS: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLISHED: 2014, SOURCE: PLPV
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
24
TITLE: A Type System for Flexible Role Assignment in Multiparty Communicating Systems
AUTHORS: Baltazar, P; Caires, L ; Vasconcelos, VT ; Vieira, HT ;
PUBLISHED: 2013, SOURCE: 7th International Symposium Trustworthy Global Computing (TGC) in TRUSTWORTHY GLOBAL COMPUTING, TGC 2013, VOLUME: 8358
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | CIÊNCIAVITAE
25
TITLE: Behavioral Polymorphism and Parametricity in Session-Based Communication  Full Text
AUTHORS: Caires, L ; Pérez, JA ; Pfenning, F ; Toninho, B ;
PUBLISHED: 2013, SOURCE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXED IN: Scopus WOS DBLP CrossRef: 37
IN MY: ORCID | CIÊNCIAVITAE
26
TITLE: Higher-Order Processes, Functions, and Sessions: A Monadic Integration  Full Text
AUTHORS: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLISHED: 2013, SOURCE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXED IN: Scopus WOS DBLP CrossRef: 62
IN MY: ORCID | CIÊNCIAVITAE
27
TITLE: Information Flow Analysis for Valued-Indexed Data Security Compartments
AUTHORS: Luísa Lourenço; Luís Caires ;
PUBLISHED: 2013, SOURCE: TGC, VOLUME: 8358 LNCS
INDEXED IN: Scopus DBLP CrossRef: 13
IN MY: ORCID | CIÊNCIAVITAE
28
TITLE: The type discipline of behavioral separation
AUTHORS: Luís Caires ; João C Seco;
PUBLISHED: 2013, SOURCE: ACM SIGPLAN Notices, VOLUME: 48, ISSUE: 1
INDEXED IN: CrossRef: 5
IN MY: ORCID | CIÊNCIAVITAE
29
TITLE: The Type Discipline of Behavioral Separation
AUTHORS: Caires, L ; Seco, JC ;
PUBLISHED: 2013, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 48, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID | CIÊNCIAVITAE
30
TITLE: Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication
AUTHORS: Henry DeYoung; Luís Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2012, SOURCE: CSL, VOLUME: 16
INDEXED IN: Scopus DBLP
IN MY: ORCID | CIÊNCIAVITAE
Page 3 of 8. Total results: 75.

footer slogan

Useful Links

Get Help

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