BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Facchini:Alessandro

Contributed to:

CSL-LICS 20142014
LICS 20132013
CSL 20092009

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.