 | Up a level |
Facchini, Alessandro and Murlak, Filip and Skrzypczak, Michal (2016) Index Problems for Game Automata. ACM Transactions on Computational Logic, 17 (4).
Facchini, Alessandro and Murlak, Filip and Skrzypczak, Michal (2015) On the Weak Index Problem for Game Automata. In: Logic, Language, Information, and Computation WOLLIC 2015, Bloomington, Indiana.
Facchini, Alessandro and Murlak, Filip and Skrzypczak, Michal (2013) Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata. In: 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013.
Duparc, Jacques and Facchini, Alessandro and Murlak, Filip (2011) Definable Operations On Weakly Recognizable Sets of Trees. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India.
Duparc, Jacques and Facchini, Alessandro and Murlak, Filip (2009) Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata. In: Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings.
Cabessa, Jérémie and Duparc, Jacques and Facchini, Alessandro and Murlak, Filip (2009) The Wadge Hierarchy of Max-Regular Languages. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India.