David de Frutos-Escrig

Identifiers

• name variant David de Frutos-Escrig 0.60 · backfill

Papers (2)

1. Graphical representation of covariant-contravariant modal formulae cs.LO · 2011 · author #3
2. Decision Problems for Petri Nets with Names cs.LO · 2010 · author #2

Mentions

• 1108.4464 #3 · backfill · confidence 0.70 David de Frutos-Escrig
• 1011.3964 #2 · backfill · confidence 0.70 David de Frutos-Escrig

Frequent Coauthors

• Anna Ing\'olfsd\'ottir 1 shared papers
• Fernando Rosa-Velardo 1 shared papers
• Ignacio F\'abregas 1 shared papers
• Luca Aceto 1 shared papers
• Miguel Palomino 1 shared papers