Lu\'is Caires (Departamento de Informatica / Universidade Nova de Lisboa)

Identifiers

• name variant Lu\'is Caires (Departamento de Informatica / Universidade Nova de Lisboa) 0.60 · backfill

Papers (1)

1. A Spatial-Epistemic Logic for Reasoning about Security Protocols cs.LO · 2011 · author #5

Mentions

• 1102.5584 #5 · backfill · confidence 0.70 Lu\'is Caires (Departamento de Informatica / Universidade Nova de Lisboa)

Frequent Coauthors

• Bernardo Toninho (Faculdade de Ci\^encias e Tecnologia 1 shared papers
• Carnegie Mellon University) 1 shared papers
• Computer Science Department 1 shared papers
• Universidade Nova de Lisboa 1 shared papers