Bernardo Toninho (Faculdade de Ci\^encias e Tecnologia

Identifiers

• name variant Bernardo Toninho (Faculdade de Ci\^encias e Tecnologia 0.60 · backfill

Papers (1)

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

Mentions

• 1102.5584 #1 · backfill · confidence 0.70 Bernardo Toninho (Faculdade de Ci\^encias e Tecnologia

Frequent Coauthors

• Carnegie Mellon University) 1 shared papers
• Computer Science Department 1 shared papers
• Lu\'is Caires (Departamento de Informatica / Universidade Nova de Lisboa) 1 shared papers
• Universidade Nova de Lisboa 1 shared papers