Dario Della Monica (Reykjavik University

Identifiers

• name variant Dario Della Monica (Reykjavik University 0.60 · backfill

Papers (2)

1. Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story cs.LO · 2015 · author #5
2. Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture cs.LO · 2012 · author #3

Mentions

• 1210.2479 #3 · backfill · confidence 0.70 Dario Della Monica (Reykjavik University

Frequent Coauthors

• Iceland) 2 shared papers
• Spain) 2 shared papers
• Angelo Montanari (University of Udine 1 shared papers
• David de Frutos-Escrig (Universidad Complutense de Madrid 1 shared papers
• Davide Bresolin (University of Verona 1 shared papers
• David Romero-Hern\'andez (Universidad Complutense de Madrid 1 shared papers
• Guido Sciavicco (University of Murcia 1 shared papers
• Italy) 1 shared papers
• Pietro Sala (University of Verona 1 shared papers