Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 72



11
TÍTULO: Linearity, Control Effects, and Behavioral Types
AUTORES: Luís Caires ; Jorge A Pérez;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 18
NO MEU: ORCID | DBLP
12
TÍTULO: Composing Interfering Abstract Protocols
AUTORES: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
13
TÍTULO: Foundations of Session Types and Behavioural Contracts  Full Text
AUTORES: 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;
PUBLICAÇÃO: 2016, FONTE: ACM COMPUTING SURVEYS, VOLUME: 49, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 120
NO MEU: ORCID | DBLP
14
TÍTULO: Linear logic propositions as session types
AUTORES: Caires, L ; Pfenning, F ; Toninho, B ;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 74
15
TÍTULO: Multiparty Session Types Within a Canonical Binary Theory, and Beyond
AUTORES: Luis Caires ; Jorge A Perez;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID | DBLP
16
TÍTULO: Dependent Information Flow Types
AUTORES: Luisa Lourenco; Luis Caires ;
PUBLICAÇÃO: 2015, FONTE: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015 in ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
NO MEU: ORCID | DBLP
17
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
18
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
19
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
20
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
Página 2 de 8. Total de resultados: 72.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service