Universidade do Minho)

Identifiers

• name variant Universidade do Minho) 0.60 · backfill

Papers (5)

1. A note on strong normalization in classical natural deduction cs.LO · 2016 · author #2
2. A logic for n-dimensional hierarchical refinement cs.LO · 2016 · author #2
3. Bisimilarity and refinement for hybrid(ised) logics cs.LO · 2013 · author #2
4. Bounded Model Checking of Temporal Formulas with Alloy cs.SE · 2012 · author #2
5. Producing and Detecting Correlated atoms quant-ph · 2006 · author #7

Mentions

• 1305.6115 #2 · backfill · confidence 0.70 Universidade do Minho)
• 1207.2746 #2 · backfill · confidence 0.70 Universidade do Minho)

Frequent Coauthors

• Alain Aspect (LCFIO) 1 shared papers
• Alcino Cunha (HASlab / INESC TEC 1 shared papers
• Alexandre Madeira (Haslab-INESC TEC 1 shared papers
• Alexandre Madeira (HASLab INESC TEC 1 shared papers
• Aur\'elien Perrin (LCFIO) 1 shared papers
• Christoph I. Westbrook (LCFIO) 1 shared papers
• Denis Boiron (LCFIO) 1 shared papers
• Departamento de Fisica 1 shared papers
• Dep Matem\'atica Universidade de Aveiro) 1 shared papers
• Hong Chang (LCFIO) 1 shared papers
• Isabelle Bouchoule (LCFIO) 1 shared papers
• Jean-Baptiste Trebbia (LCFIO) 1 shared papers
• J\'er\^ome Est\`eve (LCFIO) 1 shared papers
• John McNamara (LASER Center Vrije Universiteit Amsterdam) 1 shared papers
• Jose Carlos Viana Gomes (LCFIO 1 shared papers
• Jos\'e Esp\'irito Santo (Centro de Matem\'atica 1 shared papers
• Lu\'is S. Barbosa (HASLab INESC TEC 1 shared papers
• Lu\'is Soares Barbosa (Haslab-INESC TEC 1 shared papers
• Manuel A. Martins (CIDMA 1 shared papers
• Manuel A. Martins (CIDMA - Math. Department U. Aveiro) 1 shared papers