Vince Barany: Publications

personal ordering | bibtex

[1]

Invariants of Automatic Presentations and Semi-Synchronous Transductions

Vince Barany

In B. Durand, 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.

Details | BibTeX | Link (pdf)

[2]

Regularity Problems for Visibly Pushdown Languages

Vince Barany, Christof Loeding and Olivier Serre

In B. Durand, 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.

Details | BibTeX | Link (pdf)

[3]	A Hierarchy of Automatic Words having a Decidable MSO Theory Vince Barany In D. Caucal, editor, Online Proceedings of the 11th Journï¿½es Montoises, Rennes 2006. Details \| BibTeX \| Link (pdf)

[4]	Automatic Presentations of Infinite Structures Vince Barany PhD Thesis, RWTH Aachen. 2007. Details \| BibTeX \| Link (pdf)

[5]	Cardinality and counting quantifiers on omega-automatic structures Lukasz Kaiser, Sasha Rubin and Vince Barany In S. Albers, P. Weil, editors, Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008 pages 385-396. 2008. Details \| BibTeX \| Link

[6]	A hierarchy of automatic omega-words having a decidable MSO theory Vince Barany RAIRO - Theor. Inf. Appl. Vol. 42, No. 3, pages 417-450. 2008. Details \| BibTeX \| Link (pdf) \| DOI (10.1051/ita:2008008)

[7]	Semi-synchronous transductions Vince Barany Acta Informatica, 2008. Details \| BibTeX \| Link (pdf) \| DOI (10.1007/s00236-008-0083-2)

[8]	Cardinality quantifiers in MLO over trees Vince Barany, Lukasz Kaiser and Alexander Rabinovich Vol. 5771 of LNCS, pages 117-131. 2009. Details \| BibTeX \| Link (pdf)