Publications
Vince Bárány
2011

V. Bárány, E. Grädel, and S. Rubin. AutomataBased Presentations of Infinite Structures. In Finite and Algorithmic Model Theory (J. Esparza, C. Michaux, and C. Steinhorn, Eds.), pp. 1–76, 2011.

V. Bárány, Ł. Kaiser, and A. Rabinovich. Expressing Cardinality Quantifiers in Monadic SecondOrder Logic over Chains. J. Symb. Logic, vol. 76(2), pp. 603619, 2011.
2010

V. Bárány, Ł. Kaiser, and A. Rabinovich. Expressing Cardinality Quantifiers in Monadic SecondOrder Logic over Trees. Fundamenta Informaticae, vol. 100, pp. 1–18, 2010.
2009

V. Bárány, Ł. Kaiser, and A. Rabinovich. Cardinality quantifiers in MLO over trees. In Proceedings of the 18th EACSL Annual Conference on Computer Science Logic, CSL '09 (E. Grädel and R. Kahle, Eds.), vol. 5771 of LNCS, pp. 117–132. Springer, 2009.
2008

V. Bárány. A Hierarchy of Automatic $\omega$Words having a Decidable MSO Theory. RAIRO  Theor. Inf. Appl., vol. 42, pp. 417–450, 2008.

Ł. Kaiser, S. Rubin, and V. Bárány. Cardinality and counting quantifiers on omegaautomatic structures. In Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008 (S. Albers and P. Weil, Eds.), pp. 385–396, 2008.
2007

V. Bárány. Automatic Presentations of Infinite Structures. PhD thesis, RWTH Aachen, 2007.
2006

V. Bárány. A Hierarchy of Automatic Words having a Decidable MSO Theory. In Online Proceedings of the 11th Journ{ées Montoises, Rennes} (D. Caucal, Ed.), 2006.

V. Bárány, C. Löding, and O. Serre. Regularity Problems for Visibly Pushdown Languages. In Proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, STACS 2006 (B. Durand and W. Thomas, Eds.), vol. 3884 of LNCS, pp. 420–431. Springer, 2006.

V. Bárány. Invariants of Automatic Presentations and SemiSynchronous Transductions. In Proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, STACS 2006 (B. Durand and W. Thomas, Eds.), vol. 3884 of LNCS, pp. 289–300. Springer, 2006.