Luı́s Caires
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento(PT)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Security and Verification in Computing, Advanced Software Engineering Methodologies
Most-Cited Works
- → Session Types as Intuitionistic Linear Propositions(2010)310 cited
- → A spatial logic for concurrency (part I)(2003)226 cited
- → Foundations of Session Types and Behavioural Contracts(2016)207 cited
- → SCC: A Service Centered Calculus(2006)146 cited
- → Linear logic propositions as session types(2014)130 cited
- → A Spatial Logic for Concurrency (Part II)(2002)114 cited
- → Higher-Order Processes, Functions, and Sessions: A Monadic Integration(2013)111 cited