Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 72



21
TÍTULO: Rely-Guarantee Protocols
AUTORES: Filipe Militao; Jonathan Aldrich; Luis Caires ;
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: 4
NO MEU: ORCID | DBLP
22
TÍTULO: Substructural typestates
AUTORES: Militao, F; Aldrich, J; Caires, L ;
PUBLICAÇÃO: 2014, FONTE: 2014 8th ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, PLPV 2014 - Co-located with POPL 2014 in PLPV 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Languages Meets Program Verification, Co-located with POPL 2014
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
23
TÍTULO: A Type System for Flexible Role Assignment in Multiparty Communicating Systems
AUTORES: Pedro Baltazar; Luis Caires ; Vasco T Vasconcelos ; Hugo Torres Vieira ;
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 | DBLP
24
TÍTULO: Behavioral Polymorphism and Parametricity in Session-Based Communication  Full Text
AUTORES: Luis Caires ; Jorge A Perez ; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2013, FONTE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXADO EM: Scopus WOS DBLP CrossRef: 35
NO MEU: ORCID | DBLP
25
TÍTULO: Higher-Order Processes, Functions, and Sessions: A Monadic Integration  Full Text
AUTORES: Bernardo Toninho ; Luis Caires ; Frank Pfenning ;
PUBLICAÇÃO: 2013, FONTE: 22nd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 7792
INDEXADO EM: Scopus WOS DBLP CrossRef: 59
NO MEU: ORCID | DBLP
26
TÍTULO: The Type Discipline of Behavioral Separation
AUTORES: Luis Caires ; Joao C Seco ;
PUBLICAÇÃO: 2013, FONTE: 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2013 in ACM SIGPLAN NOTICES, VOLUME: 48, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | DBLP
27
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
28
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
29
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
30
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
Página 3 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