University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

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.

[7]

Semi−synchronous transductions

Vince Barany

In Acta Informatica. 2008.

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