Vince Barany : Publications
Personal orderingBibtex
Click here to download all publications in a single bibtex file
@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{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",
}
@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{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",
}
@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",
}
@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/",
}
@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",
}