Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 72



41
TITLE: A Type System for Access Control Views in Object-Oriented Languages
AUTHORS: Mario Pires; Luis Caires ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
42
TITLE: Aliasing control with view-based typestate
AUTHORS: Militao, F; Aldrich, J; Caires, L ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 13
IN MY: ORCID | DBLP
43
TITLE: Conversation types  Full Text
AUTHORS: Luis Caires ; Hugo Torres Vieira ;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 51-52
INDEXED IN: Scopus WOS DBLP CrossRef: 42
IN MY: ORCID | DBLP
44
TITLE: Session Types as Intuitionistic Linear Propositions
AUTHORS: Luis Caires ; Frank Pfenning ;
PUBLISHED: 2010, SOURCE: 21st Conference on Concurrency Theory in CONCUR 2010 - CONCURRENCY THEORY, VOLUME: 6269
INDEXED IN: Scopus WOS DBLP CrossRef: 129
IN MY: ORCID | DBLP
45
TITLE: A Process Calculus Analysis of Compensations  Full Text
AUTHORS: Luis Caires ; Carla Ferreira ; Hugo Vieira ;
PUBLISHED: 2009, SOURCE: 4th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 5474
INDEXED IN: Scopus WOS DBLP CrossRef: 23
IN MY: ORCID | DBLP
46
TITLE: Conversation Types
AUTHORS: Luis Caires ; Hugo Torres Vieira ;
PUBLISHED: 2009, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 31
IN MY: ORCID | DBLP
47
TITLE: Dynamic Spatial Logics: A Tutorial Survey
AUTHORS: Luís Caires ;
PUBLISHED: 2008, SOURCE: Bulletin of the EATCS, VOLUME: 94
INDEXED IN: DBLP
IN MY: DBLP
48
TITLE: Spatial-behavioral types for concurrency and resource control in distributed systems  Full Text
AUTHORS: Luis Caires ;
PUBLISHED: 2008, SOURCE: 2nd Symposium on Trustworthy Global Computing in THEORETICAL COMPUTER SCIENCE, VOLUME: 402, ISSUE: 2-3
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | DBLP
49
TITLE: The conversation calculus: A model of service-oriented computation
AUTHORS: Hugo T Vieira ; Luis Caires ; Joao C Seco ;
PUBLISHED: 2008, SOURCE: 17th European Symposium on Programming (ESOP 2008) in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 4960
INDEXED IN: Scopus WOS DBLP CrossRef: 45
IN MY: ORCID | DBLP
50
Page 5 of 8. Total results: 72.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service