Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 77



31
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
32
TÍTULO: Analysis of service oriented software systems with the Conversation Calculus
AUTORES: Caires, L ; Vieira, HT ;
PUBLICAÇÃO: 2012, FONTE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
33
TÍTULO: Cut reduction in linear logic as asynchronous session-typed communication  Full Text
AUTORES: DeYoung, H; Caires, L ; Pfenning, F ; Toninho, B ;
PUBLICAÇÃO: 2012, FONTE: 26th International Workshop on Computer Science Logic, CSL 2012/21st Annual Conference of the European Association for Computer Science Logic, EACSL in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 16
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
34
TÍTULO: Functions as Session-Typed Processes
AUTORES: Bernardo Toninho ; Luis Caires ; Frank Pfenning ;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, FOSSACS 2012, VOLUME: 7213
INDEXADO EM: Scopus WOS DBLP CrossRef: 27
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
35
TÍTULO: Linear Logical Relations for Session-Based Concurrency  Full Text
AUTORES: Jorge A Perez ; Luis Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2012, FONTE: 21st European Symposium on Programming (ESOP) held as Part of the 15th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7211
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
36
TÍTULO: SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
AUTORES: Luis Caires ; Hugo Torres Vieira ;
PUBLICAÇÃO: 2012, FONTE: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, VOLUME: 7214
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
37
TÍTULO: Towards concurrent type theory
AUTORES: Caires, L ; Pfenning, F ; Toninho, B ;
PUBLICAÇÃO: 2012, FONTE: 8th ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI'12, Co-located with POPL 2012 in Conference Record of the Annual ACM Symposium on Principles of Programming Languages
INDEXADO EM: Scopus DBLP CrossRef: 17
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
38
TÍTULO: Core calculi for service-oriented computing
AUTORES: Caires, L ; De Nicola, R; Pugliese, R; Vasconcelos, VT ; Zavattaro, G;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
39
TÍTULO: Dependent Session Types via Intuitionistic Linear Type Theory
AUTORES: Bernardo Toninho ; Luis Caires ; Frank Pfenning ;
PUBLICAÇÃO: 2011, FONTE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING
INDEXADO EM: Scopus WOS DBLP CrossRef: 39
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
40
TÍTULO: Proof-carrying code in a session-typed process calculus
AUTORES: Pfenning, F ; Caires, L ; Toninho, B ;
PUBLICAÇÃO: 2011, FONTE: 1st International Conference on Certified Programs and Proofs, CPP 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7086 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 18
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 4 de 8. Total de resultados: 77.

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

Links Úteis

Ajuda

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