Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 72



41
TÍTULO: A Type System for Access Control Views in Object-Oriented Languages
AUTORES: Mario Pires; Luis Caires ;
PUBLICAÇÃO: 2010, FONTE: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security in AUTOMATED REASONING FOR SECURITY PROTOCOL ANALYSIS AND ISSUES IN THE THEORY OF SECURITY, VOLUME: 6186
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
42
TÍTULO: Aliasing control with view-based typestate
AUTORES: Militao, F; Aldrich, J; Caires, L ;
PUBLICAÇÃO: 2010, FONTE: 24th European Conference on Object-Oriented Programming, ECOOP 2010 - 12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10 in 24th European Conference on Object-Oriented Programming, ECOOP 2010 Workshop Proceedings - Workshop 5:12th Workshop on Formal Techniques for Java-Like Programs, FTFJP'10
INDEXADO EM: Scopus DBLP CrossRef: 13
NO MEU: ORCID | DBLP
43
TÍTULO: Conversation types  Full Text
AUTORES: Luis Caires ; Hugo Torres Vieira ;
PUBLICAÇÃO: 2010, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, NÚMERO: 51-52
INDEXADO EM: Scopus WOS DBLP CrossRef: 42
NO MEU: ORCID | DBLP
44
TÍTULO: Session Types as Intuitionistic Linear Propositions
AUTORES: Luis Caires ; Frank Pfenning ;
PUBLICAÇÃO: 2010, FONTE: 21st Conference on Concurrency Theory in CONCUR 2010 - CONCURRENCY THEORY, VOLUME: 6269
INDEXADO EM: Scopus WOS DBLP CrossRef: 129
NO MEU: ORCID | DBLP
45
TÍTULO: A Process Calculus Analysis of Compensations  Full Text
AUTORES: Luis Caires ; Carla Ferreira ; Hugo Vieira ;
PUBLICAÇÃO: 2009, FONTE: 4th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 5474
INDEXADO EM: Scopus WOS DBLP CrossRef: 23
NO MEU: ORCID | DBLP
46
TÍTULO: Conversation Types
AUTORES: Luis Caires ; Hugo Torres Vieira ;
PUBLICAÇÃO: 2009, FONTE: 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held at Joint European Conferences on Theory and Practice of Software in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 5502
INDEXADO EM: Scopus WOS DBLP CrossRef: 31
NO MEU: ORCID | DBLP
47
TÍTULO: Dynamic Spatial Logics: A Tutorial Survey
AUTORES: Luís Caires ;
PUBLICAÇÃO: 2008, FONTE: Bulletin of the EATCS, VOLUME: 94
INDEXADO EM: DBLP
NO MEU: DBLP
48
TÍTULO: Spatial-behavioral types for concurrency and resource control in distributed systems  Full Text
AUTORES: Luis Caires ;
PUBLICAÇÃO: 2008, FONTE: 2nd Symposium on Trustworthy Global Computing in THEORETICAL COMPUTER SCIENCE, VOLUME: 402, NÚMERO: 2-3
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
NO MEU: ORCID | DBLP
49
TÍTULO: The conversation calculus: A model of service-oriented computation
AUTORES: Hugo T Vieira ; Luis Caires ; Joao C Seco ;
PUBLICAÇÃO: 2008, FONTE: 17th European Symposium on Programming (ESOP 2008) in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 4960
INDEXADO EM: Scopus WOS DBLP CrossRef: 45
NO MEU: ORCID | DBLP
50
Página 5 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