Universidade Nova de Lisboa

Identifiers

• name variant Universidade Nova de Lisboa 0.60 · backfill

Papers (2)

1. Hide and New in the Pi-Calculus cs.PL · 2012 · author #3
2. A Spatial-Epistemic Logic for Reasoning about Security Protocols cs.LO · 2011 · author #2

Mentions

• 1208.2749 #3 · backfill · confidence 0.70 Universidade Nova de Lisboa
• 1102.5584 #2 · backfill · confidence 0.70 Universidade Nova de Lisboa

Frequent Coauthors

• Bernardo Toninho (Faculdade de Ci\^encias e Tecnologia 1 shared papers
• Carnegie Mellon University) 1 shared papers
• Catuscia Palamidessi (INRIA Saclay 1 shared papers
• Computer Science Department 1 shared papers
• DI-FCT 1 shared papers
• Ecole polytechnique 1 shared papers
• France) 1 shared papers
• Frank D. Valencia (INRIA Saclay 1 shared papers
• LIX 1 shared papers
• Lu\'is Caires (Departamento de Informatica / Universidade Nova de Lisboa) 1 shared papers
• Marco Giunti (CITI 1 shared papers
• Portugal) 1 shared papers