Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 77



21
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
22
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: 17
IN MY: ORCID | DBLP | CIÊNCIAVITAE
23
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: ORCID | DBLP | CIÊNCIAVITAE
24
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: 33
IN MY: ORCID | DBLP | CIÊNCIAVITAE
25
TITLE: Rely-Guarantee Protocols
AUTHORS: Filipe Militao; Jonathan Aldrich; Luis Caires ;
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: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
26
TITLE: Substructural typestates
AUTHORS: Militao, F; Aldrich, J; Caires, L ;
PUBLISHED: 2014, SOURCE: 2014 8th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, PLPV 2014 - Co-located with POPL 2014 in PLPV 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Co-located with POPL 2014
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
27
TITLE: A Type System for Flexible Role Assignment in Multiparty Communicating Systems
AUTHORS: Pedro Baltazar; Luis Caires ; Vasco T Vasconcelos ; Hugo Torres Vieira ;
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 | DBLP | CIÊNCIAVITAE
28
TITLE: Behavioral Polymorphism and Parametricity in Session-Based Communication  Full Text
AUTHORS: Luis Caires ; Jorge A Perez ; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2013, SOURCE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXED IN: Scopus WOS DBLP CrossRef: 35
IN MY: ORCID | DBLP | CIÊNCIAVITAE
29
TITLE: Higher-Order Processes, Functions, and Sessions: A Monadic Integration  Full Text
AUTHORS: Bernardo Toninho ; Luis Caires ; Frank Pfenning ;
PUBLISHED: 2013, SOURCE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXED IN: Scopus WOS DBLP CrossRef: 59
IN MY: ORCID | DBLP | CIÊNCIAVITAE
30
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
Page 3 of 8. Total results: 77.

footer slogan

Useful Links

Get Help

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