Vince Barany : Publications
Personal orderingBibtex
[1] |
Invariants of Automatic Presentations and Semi−Synchronous Transductions Vince Barany In B. Durand and W. Thomas, editors, Proceedings of the 23rd Annual Symposioum on Theoretical Aspects of Computer Science‚ STACS 2006. Vol. 3884 of LNCS. Pages 289−300. Springer. 2006. |
[2] |
Regularity Problems for Visibly Pushdown Languages Vince Barany‚ Christof Loeding and Olivier Serre In B. Durand and W. Thomas, editors, Proceedings of the 23rd Annual Symposioum on Theoretical Aspects of Computer Science‚ STACS 2006. Vol. 3884 of LNCS. Pages 420−431. Springer. 2006. |
[3] |
A Hierarchy of Automatic Words having a Decidable MSO Theory Vince Barany In D. Caucal, editor, Online Proceedings of the 11th Journees Montoises‚ Rennes. 2006. |
[4] |
Automatic Presentations of Infinite Structures Vince Barany PhD Thesis RWTH Aachen. 2007. |
[5] |
Cardinality and counting quantifiers on omega−automatic structures Lukasz Kaiser‚ Sasha Rubin and Vince Barany In S. Albers and P. Weil, editors, Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science‚ STACS 2008. Pages 385−396. 2008. |
[6] |
A hierarchy of automatic omega−words having a decidable MSO theory Vince Barany In RAIRO − Theor. Inf. Appl.. Vol. 42. No. 3. Pages 417−450. 2008. Details | BibTeX | DOI (10.1051/ita:2008008) | Download (pdf) |
[7] |
Semi−synchronous transductions Vince Barany In Acta Informatica. 2008. Details | BibTeX | DOI (10.1007/s00236-008-0083-2) | Download (pdf) |
[8] |
Cardinality quantifiers in MLO over trees Vince Barany‚ Lukasz Kaiser and Alexander Rabinovich Vol. 5771 of LNCS. Pages 117−131. 2009. |
[9] |
Automata−based presentations of infinite structures Vince Barany‚ Erich Graedel and Sasha Rubin 2010. |
[10] |
Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees Vince Barany‚ Lukasz Kaiser and Alexander Rabinovich 2010. |
[11] |
Querying the Guarded Fragment Vince Barany‚ Georg Gottlob and Martin Otto 2010. |