Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 72



31
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
32
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
33
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
34
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
35
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
36
TÍTULO: Tools and verification
AUTORES: Bartoletti, M; Caires, L ; Lanese, I; Mazzanti, F; Sangiorgi, D; Vieira, HT ; Zunino, R;
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: 2
NO MEU: ORCID | DBLP
37
TÍTULO: Type-Based Access Control in Data-Centric Systems  Full Text
AUTORES: Luis Caires ; Jorge A Perez ; Joao Costa Seco ; Hugo Torres Vieira ; Lucio Ferrao;
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 | DBLP
38
TÍTULO: 18th International Conference on Concurrency Theory Preface  Full Text
AUTORES: Luis Caires ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2010, FONTE: INFORMATION AND COMPUTATION, VOLUME: 208, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
39
TÍTULO: A simple proof system for lock-free concurrency
AUTORES: Luís Caires ; Carla Ferreira ; António Ravara;
PUBLICAÇÃO: 2010, FONTE: International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010, VOLUME: 12
INDEXADO EM: DBLP
NO MEU: DBLP
40
TÍTULO: A Spatial-Epistemic Logic for Reasoning about Security Protocols  Full Text
AUTORES: Bernardo Toninho ; Luís Caires ;
PUBLICAÇÃO: 2010, FONTE: Proceedings 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, 30th August 2010., VOLUME: 51
INDEXADO EM: DBLP CrossRef: 3
NO MEU: DBLP
Página 4 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