Matteo Mio

Identifiers

• name variant Matteo Mio 0.60 · backfill

Papers (3)

1. On the Problem of Computing the Probability of Regular Sets of Trees cs.FL · 2015 · author #2
2. {\L}ukasiewicz {\mu}-calculus cs.LO · 2015 · author #1
3. Upper-Expectation Bisimilarity and Real-valued Modal Logics cs.LO · 2013 · author #1

Mentions

• 1510.01640 #2 · backfill · confidence 0.70 Matteo Mio
• 1510.00797 #1 · backfill · confidence 0.70 Matteo Mio
• 1310.0768 #1 · backfill · confidence 0.70 Matteo Mio

Frequent Coauthors

• Alex Simpson 1 shared papers
• Henryk Michalewski 1 shared papers