Travelled to:1 × Austria
1 × Portugal
1 × USA
Collaborated with:F.Murlak Y.Venema F.Zanasi M.Skrzypczak J.Duparc F.Carreiro
Talks about:automata (4) problem (2) altern (2) determinist (1) mostowski (1) hierarchi (1) character (1) bisimilar (1) fragment (1) calculus (1)
Person: Alessandro Facchini
DBLP: Facchini:Alessandro
Contributed to:
20142013
2009Wrote 4 papers:
- LICS-CSL-2014-CarreiroFVZ #automaton #similarity
- Weak MSO: automata and expressiveness modulo bisimilarity (FC, AF, YV, FZ), p. 27.
- LICS-2013-FacchiniMS #automaton #problem
- Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata (AF, FM, MS), pp. 499–508.
- LICS-2013-FacchiniVZ #calculus #theorem #μ-calculus
- A Characterization Theorem for the Alternation-Free Fragment of the Modal μ-Calculus (AF, YV, FZ), pp. 478–487.
- CSL-2009-DuparcFM #automaton #decidability #game studies #linear #problem
- Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata (JD, AF, FM), pp. 225–239.