Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 76



21
TÍTULO: Corecursion and Non-divergence in Session-Typed Processes
AUTORES: Bernardo Toninho ; Luís Caires ; Frank Pfenning ;
PUBLICAÇÃO: 2014, FONTE: TGC, VOLUME: 8902
INDEXADO EM: Scopus DBLP CrossRef: 20
NO MEU: ORCID | CIÊNCIAVITAE
22
TÍTULO: Linear logical relations and observational equivalences for session-based concurrency  Full Text
AUTORES: Pérez, JA ; Caires, L ; Pfenning, F ; Toninho, B ;
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: 36
NO MEU: ORCID | CIÊNCIAVITAE
23
TÍTULO: Rely-Guarantee Protocols
AUTORES: Militao, F; Aldrich, J; Caires, L ;
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: 5
NO MEU: ORCID | CIÊNCIAVITAE
24
TÍTULO: Substructural typestates
AUTORES: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLICAÇÃO: 2014, FONTE: PLPV
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
25
TÍTULO: A Type System for Flexible Role Assignment in Multiparty Communicating Systems
AUTORES: Baltazar, P; Caires, L ; Vasconcelos, VT ; Vieira, HT ;
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 | CIÊNCIAVITAE
26
TÍTULO: Behavioral Polymorphism and Parametricity in Session-Based Communication  Full Text
AUTORES: Caires, L ; Pérez, JA ; Pfenning, F ; Toninho, B ;
PUBLICAÇÃO: 2013, FONTE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXADO EM: Scopus WOS DBLP CrossRef: 37
NO MEU: ORCID | CIÊNCIAVITAE
27
TÍTULO: Higher-Order Processes, Functions, and Sessions: A Monadic Integration  Full Text
AUTORES: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLICAÇÃO: 2013, FONTE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXADO EM: Scopus WOS DBLP CrossRef: 62
NO MEU: ORCID | CIÊNCIAVITAE
28
TÍTULO: Information Flow Analysis for Valued-Indexed Data Security Compartments
AUTORES: Luísa Lourenço; Luís Caires ;
PUBLICAÇÃO: 2013, FONTE: TGC, VOLUME: 8358 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 13
NO MEU: ORCID | CIÊNCIAVITAE
29
TÍTULO: The Type Discipline of Behavioral Separation
AUTORES: Caires, L ; Seco, JC ;
PUBLICAÇÃO: 2013, FONTE: ACM SIGPLAN NOTICES, VOLUME: 48, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | 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: 76.

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