Simone Tini (University of Insubria)

Identifiers

• name variant Simone Tini (University of Insubria) 0.60 · backfill

Papers (3)

1. Logical Characterization of Trace Metrics cs.LO · 2017 · author #2
2. Logical Characterization of Bisimulation Metrics cs.LO · 2016 · author #3
3. Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators cs.PL · 2014 · author #2

Mentions

• 1408.1457 #2 · backfill · confidence 0.70 Simone Tini (University of Insubria)

Frequent Coauthors

• Daniel Gebler (VU University Amsterdam) 2 shared papers
• Valentina Castiglioni (University of Insubria) 2 shared papers