Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 77



21
TÍTULO: A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions PDF
AUTORES: Luís Caires ; Jorge A. Pérez;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1407.4242
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
22
TÍTULO: Corecursion and Non-divergence in Session-Typed Processes
AUTORES: Bernardo Toninho ; Luís Caires ; Frank Pfenning ;
PUBLICAÇÃO: 2014, FONTE: Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers, VOLUME: 8902
INDEXADO EM: Scopus DBLP CrossRef: 17
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
23
TÍTULO: Information flow analysis for valued-indexed data security compartments
AUTORES: Lourenco, L; Caires, L ;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
24
TÍTULO: Linear logical relations and observational equivalences for session-based concurrency  Full Text
AUTORES: Jorge A Perez ; Luis Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2014, FONTE: 6th International Conference on Language and Automata Theory and Applications (LATA) in INFORMATION AND COMPUTATION, VOLUME: 239
INDEXADO EM: Scopus WOS DBLP CrossRef: 33
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
25
TÍTULO: Rely-Guarantee Protocols
AUTORES: Filipe Militao; Jonathan Aldrich; Luis Caires ;
PUBLICAÇÃO: 2014, FONTE: 28th European Conference on Object-Oriented Programming (ECOOP) in ECOOP 2014 - OBJECT-ORIENTED PROGRAMMING, VOLUME: 8586
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
26
TÍTULO: Substructural typestates
AUTORES: Militao, F; Aldrich, J; Caires, L ;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
27
TÍTULO: A Type System for Flexible Role Assignment in Multiparty Communicating Systems
AUTORES: Pedro Baltazar; Luis Caires ; Vasco T Vasconcelos ; Hugo Torres Vieira ;
PUBLICAÇÃO: 2013, FONTE: 7th International Symposium Trustworthy Global Computing (TGC) in TRUSTWORTHY GLOBAL COMPUTING, TGC 2013, VOLUME: 8358
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
28
TÍTULO: Behavioral Polymorphism and Parametricity in Session-Based Communication  Full Text
AUTORES: Luis Caires ; Jorge A Perez ; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2013, FONTE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXADO EM: Scopus WOS DBLP CrossRef: 35
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
29
TÍTULO: Higher-Order Processes, Functions, and Sessions: A Monadic Integration  Full Text
AUTORES: Bernardo Toninho ; Luis Caires ; Frank Pfenning ;
PUBLICAÇÃO: 2013, FONTE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXADO EM: Scopus WOS DBLP CrossRef: 59
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
30
TÍTULO: The type discipline of behavioral separation
AUTORES: Luís Caires ; João C Seco;
PUBLICAÇÃO: 2013, FONTE: ACM SIGPLAN Notices, VOLUME: 48, NÚMERO: 1
INDEXADO EM: CrossRef: 5
NO MEU: ORCID | CIÊNCIAVITAE
Página 3 de 8. Total de resultados: 77.

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