Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 76



31
TÍTULO: Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication
AUTORES: Henry DeYoung; Luís Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2012, FONTE: CSL, VOLUME: 16
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
32
TÍTULO: Functions as Session-Typed Processes
AUTORES: Toninho, B ; Caires, L ; Pfenning, F ;
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: 28
NO MEU: ORCID | CIÊNCIAVITAE
33
TÍTULO: Linear Logical Relations for Session-Based Concurrency  Full Text
AUTORES: Pérez, JA ; Caires, L ; Pfenning, F ; Toninho, B ;
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: 22
NO MEU: ORCID | CIÊNCIAVITAE
34
TÍTULO: SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
AUTORES: Caires, L ; Vieira, HT ;
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 | CIÊNCIAVITAE
35
TÍTULO: Towards concurrent type theory  Full Text
AUTORES: Luís Caires ; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2012, FONTE: TLDI
INDEXADO EM: Scopus DBLP CrossRef: 17
NO MEU: ORCID | CIÊNCIAVITAE
36
TÍTULO: Core Calculi for Service-Oriented Computing
AUTORES: Luís Caires ; Rocco De Nicola; Rosario Pugliese; Vasco Thudichum Vasconcelos ; Gianluigi Zavattaro;
PUBLICAÇÃO: 2011, FONTE: Results of the SENSORIA Project, VOLUME: 6582
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
37
TÍTULO: Dependent Session Types via Intuitionistic Linear Type Theory
AUTORES: Toninho, B ; Caires, L ; Pfenning, F ;
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: 44
NO MEU: ORCID | CIÊNCIAVITAE
38
TÍTULO: Proof-Carrying Code in a Session-Typed Process Calculus
AUTORES: Frank Pfenning ; Luís Caires ; Bernardo Toninho ;
PUBLICAÇÃO: 2011, FONTE: CPP, VOLUME: 7086 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 18
NO MEU: ORCID | CIÊNCIAVITAE
39
TÍTULO: Tools and Verification
AUTORES: Massimo Bartoletti; Luís Caires ; Ivan Lanese; Franco Mazzanti; Davide Sangiorgi; Hugo Torres Vieira ; Roberto Zunino;
PUBLICAÇÃO: 2011, FONTE: Results of the SENSORIA Project, VOLUME: 6582
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
40
TÍTULO: Type-Based Access Control in Data-Centric Systems  Full Text
AUTORES: Caires, L ; Pérez, JA ; Seco, JC ; Vieira, HT ; Ferrao, L;
PUBLICAÇÃO: 2011, FONTE: 20th European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 6602
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
Página 4 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