@incollection{BGRsurvey,
  title = "Automata-based presentations of infinite structures",
  author = "Vince Barany and Erich Graedel and Sasha Rubin",
  year = "2010",
  url = "http://web.comlab.ox.ac.uk/people/vince.barany/BGRsurvey.pdf",
}
@inproceedings{BGO10lics,
  title = "Querying the Guarded Fragment",
  author = "Vince Barany and Georg Gottlob and Martin Otto",
  year = "2010",
  howpublished = "to appear in Proceedings of LICS 2010",
  url = "http://web.comlab.ox.ac.uk/people/vince.barany/FinControl.pdf",
}
@article{BKR10FI,
  title = "Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees",
  author = "Vince Barany and Lukasz Kaiser and Alexander Rabinovich",
  year = "2010",
  howpublished = "to appear in Fundamenta Informaticae, vol. 100",
  url = "http://web.comlab.ox.ac.uk/people/vince.barany/msoc_trees_FI.pdf",
}
@inproceedings{BKR09csl,
  title = "Cardinality quantifiers in MLO over trees",
  author = "Vince Barany and Lukasz Kaiser and Alexander Rabinovich",
  year = "2009",
  editor = "Erich Graedel and Reinhard Kahle",
  howpublished = "In Proceedings of the 18th Annual Conference of the European Association for Computer Science Logic, CSL '09.",
  pages = "117-131",
  series = "LNCS",
  url = "http://www.logic.rwth-aachen.de/~vbarany/msoc_trees_CSL_final.pdf",
  volume = "5771",
}
@article{Bar08AI,
  title = "Semi-synchronous transductions",
  author = "Vince Barany",
  year = "2008",
  journal = "Acta Informatica",
  publisher = "Springer",
  url = "http://web.comlab.ox.ac.uk/people/vince.barany/sst_AI.pdf",
  doi = "10.1007/s00236-008-0083-2",
}
@inproceedings{KRB08stacs,
  title = "Cardinality and counting quantifiers on omega-automatic structures",
  author = "Lukasz Kaiser and Sasha Rubin and Vince Barany",
  year = "2008",
  booktitle = "Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science, STACS 2008",
  editor = "S. Albers and P. Weil",
  pages = "385-396",
  url = "http://hal.archives-ouvertes.fr/hal-00227560/",
}
@article{Bar08RAIRO,
  title = "A hierarchy of automatic omega-words having a decidable MSO theory",
  author = "Vince Barany",
  year = "2008",
  editor = "D. Caucal and A. Siegel",
  journal = "RAIRO - Theor. Inf. Appl.",
  number = "3",
  pages = "417-450",
  publisher = "EDP Sciences",
  url = "http://www.logic.rwth-aachen.de/~vbarany/hom_ITA.pdf",
  volume = "42",
  doi = "10.1051/ita:2008008",
}
@phdthesis{Bar07diss,
  title = "Automatic Presentations of Infinite Structures",
  author = "Vince Barany",
  year = "2007",
  school = "RWTH Aachen",
  url = "http://www.logic.rwth-aachen.de/~vbarany/diss.pdf",
}
@inproceedings{Bar06stacs,
  title = "Invariants of Automatic Presentations and Semi-Synchronous Transductions",
  author = "Vince Barany",
  year = "2006",
  booktitle = "Proceedings of the 23rd Annual Symposioum on Theoretical Aspects of Computer Science, STACS 2006",
  editor = "B. Durand and W. Thomas",
  pages = "289-300",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.logic.rwth-aachen.de/~vbarany/stacs06_88_appendix.pdf",
  volume = "3884",
}
@inproceedings{BLS06stacs,
  title = "Regularity Problems for Visibly Pushdown Languages",
  author = "Vince Barany and Christof Loeding and Olivier Serre",
  year = "2006",
  booktitle = "Proceedings of the 23rd Annual Symposioum on Theoretical Aspects of Computer Science, STACS 2006",
  editor = "B. Durand and W. Thomas",
  pages = "420-431",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.logic.rwth-aachen.de/~vbarany/BLS_stacs06_withAppendix.pdf",
  volume = "3884",
}
@conference{Bar06jm,
  title = "A Hierarchy of Automatic Words having a Decidable MSO Theory",
  author = "Vince Barany",
  year = "2006",
  booktitle = "Online Proceedings of the 11th Journees Montoises, Rennes",
  editor = "D. Caucal",
  url = "http://www.irisa.fr/JM06/Papers/barany.pdf",
}