BibTeX records: Vince Bárány

download as .bib file

@article{DBLP:journals/corr/abs-2005-06299,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Michael Benedikt and
                  Balder ten Cate},
  title        = {Some Model Theory of Guarded Negation},
  journal      = {CoRR},
  volume       = {abs/2005.06299},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.06299},
  eprinttype    = {arXiv},
  eprint       = {2005.06299},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-06299.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BaranyBC18,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Michael Benedikt and
                  Balder ten Cate},
  title        = {Some Model Theory of Guarded Negation},
  journal      = {J. Symb. Log.},
  volume       = {83},
  number       = {4},
  pages        = {1307--1344},
  year         = {2018},
  url          = {https://doi.org/10.1017/jsl.2018.64},
  doi          = {10.1017/JSL.2018.64},
  timestamp    = {Wed, 16 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/BaranyBC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tods/BaranyCKOV17,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Balder ten Cate and
                  Benny Kimelfeld and
                  Dan Olteanu and
                  Zografoula Vagena},
  title        = {Declarative Probabilistic Programming with Datalog},
  journal      = {{ACM} Trans. Database Syst.},
  volume       = {42},
  number       = {4},
  pages        = {22:1--22:35},
  year         = {2017},
  url          = {https://doi.org/10.1145/3132700},
  doi          = {10.1145/3132700},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tods/BaranyCKOV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icdt/BaranyCKOV16,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Balder ten Cate and
                  Benny Kimelfeld and
                  Dan Olteanu and
                  Zografoula Vagena},
  editor       = {Wim Martens and
                  Thomas Zeume},
  title        = {Declarative Probabilistic Programming with Datalog},
  booktitle    = {19th International Conference on Database Theory, {ICDT} 2016, Bordeaux,
                  France, March 15-18, 2016},
  series       = {LIPIcs},
  volume       = {48},
  pages        = {7:1--7:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {https://doi.org/10.4230/LIPIcs.ICDT.2016.7},
  doi          = {10.4230/LIPICS.ICDT.2016.7},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/BaranyCKOV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jacm/BaranyCS15,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Balder ten Cate and
                  Luc Segoufin},
  title        = {Guarded Negation},
  journal      = {J. {ACM}},
  volume       = {62},
  number       = {3},
  pages        = {22:1--22:26},
  year         = {2015},
  url          = {https://doi.org/10.1145/2701414},
  doi          = {10.1145/2701414},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/BaranyCS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/BaranyGO13,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Georg Gottlob and
                  Martin Otto},
  title        = {Querying the Guarded Fragment},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {10},
  number       = {2},
  year         = {2014},
  url          = {https://doi.org/10.2168/LMCS-10(2:3)2014},
  doi          = {10.2168/LMCS-10(2:3)2014},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BaranyGO13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/BaranyCKOV14,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Balder ten Cate and
                  Benny Kimelfeld and
                  Dan Olteanu and
                  Zografoula Vagena},
  title        = {Declarative Statistical Modeling with Datalog},
  journal      = {CoRR},
  volume       = {abs/1412.2221},
  year         = {2014},
  url          = {http://arxiv.org/abs/1412.2221},
  eprinttype    = {arXiv},
  eprint       = {1412.2221},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BaranyCKOV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icdt/BaranyBB13,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Michael Benedikt and
                  Pierre Bourhis},
  editor       = {Wang{-}Chiew Tan and
                  Giovanna Guerrini and
                  Barbara Catania and
                  Anastasios Gounaris},
  title        = {Access patterns and integrity constraints revisited},
  booktitle    = {Joint 2013 {EDBT/ICDT} Conferences, {ICDT} '13 Proceedings, Genoa,
                  Italy, March 18-22, 2013},
  pages        = {213--224},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2448496.2448522},
  doi          = {10.1145/2448496.2448522},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdt/BaranyBB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/BaranyBC13,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Michael Benedikt and
                  Balder ten Cate},
  editor       = {Krishnendu Chatterjee and
                  Jir{\'{\i}} Sgall},
  title        = {Rewriting Guarded Negation Queries},
  booktitle    = {Mathematical Foundations of Computer Science 2013 - 38th International
                  Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8087},
  pages        = {98--110},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40313-2\_11},
  doi          = {10.1007/978-3-642-40313-2\_11},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/BaranyBC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/BaranyB12,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Mikolaj Bojanczyk},
  title        = {Finite satisfiability for guarded fixpoint logic},
  journal      = {Inf. Process. Lett.},
  volume       = {112},
  number       = {10},
  pages        = {371--375},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ipl.2012.02.005},
  doi          = {10.1016/J.IPL.2012.02.005},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/BaranyB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pvldb/BaranyCO12,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Balder ten Cate and
                  Martin Otto},
  title        = {Queries with Guarded Negation},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {5},
  number       = {11},
  pages        = {1328--1339},
  year         = {2012},
  url          = {http://vldb.org/pvldb/vol5/p1328\_vincebarany\_vldb2012.pdf},
  doi          = {10.14778/2350229.2350250},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pvldb/BaranyCO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fsttcs/BaranyBFP12,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Mikolaj Bojanczyk and
                  Diego Figueira and
                  Pawel Parys},
  editor       = {Deepak D'Souza and
                  Telikepalli Kavitha and
                  Jaikumar Radhakrishnan},
  title        = {Decidable classes of documents for XPath},
  booktitle    = {{IARCS} Annual Conference on Foundations of Software Technology and
                  Theoretical Computer Science, {FSTTCS} 2012, December 15-17, 2012,
                  Hyderabad, India},
  series       = {LIPIcs},
  volume       = {18},
  pages        = {99--111},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/LIPIcs.FSTTCS.2012.99},
  doi          = {10.4230/LIPICS.FSTTCS.2012.99},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/BaranyBFP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1203-0077,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Balder ten Cate and
                  Martin Otto},
  title        = {Queries with Guarded Negation (full version)},
  journal      = {CoRR},
  volume       = {abs/1203.0077},
  year         = {2012},
  url          = {http://arxiv.org/abs/1203.0077},
  eprinttype    = {arXiv},
  eprint       = {1203.0077},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1203-0077.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jsyml/BaranyKR11,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Lukasz Kaiser and
                  Alexander Rabinovich},
  title        = {Expressing cardinality quantifiers in monadic second-order logic over
                  chains},
  journal      = {J. Symb. Log.},
  volume       = {76},
  number       = {2},
  pages        = {603--619},
  year         = {2011},
  url          = {https://doi.org/10.2178/jsl/1305810766},
  doi          = {10.2178/JSL/1305810766},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsyml/BaranyKR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/BaranyCS11,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Balder ten Cate and
                  Luc Segoufin},
  editor       = {Luca Aceto and
                  Monika Henzinger and
                  Jir{\'{\i}} Sgall},
  title        = {Guarded Negation},
  booktitle    = {Automata, Languages and Programming - 38th International Colloquium,
                  {ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6756},
  pages        = {356--367},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22012-8\_28},
  doi          = {10.1007/978-3-642-22012-8\_28},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BaranyCS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/11/BaranyGR11,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Erich Gr{\"{a}}del and
                  Sasha Rubin},
  editor       = {Javier Esparza and
                  Christian Michaux and
                  Charles Steinhorn},
  title        = {Automata-based presentations of infinite structures},
  booktitle    = {Finite and Algorithmic Model Theory},
  series       = {London Mathematical Society Lecture Note Series},
  volume       = {379},
  pages        = {1--76},
  publisher    = {Cambridge University Press},
  year         = {2011},
  timestamp    = {Fri, 15 May 2020 15:30:10 +0200},
  biburl       = {https://dblp.org/rec/books/cu/11/BaranyGR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1104-2262,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Mikolaj Bojanczyk},
  title        = {Finite Satisfiability for Guarded Fixpoint Logic},
  journal      = {CoRR},
  volume       = {abs/1104.2262},
  year         = {2011},
  url          = {http://arxiv.org/abs/1104.2262},
  eprinttype    = {arXiv},
  eprint       = {1104.2262},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1104-2262.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BaranyKR10,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Lukasz Kaiser and
                  Alexander Moshe Rabinovich},
  title        = {Expressing Cardinality Quantifiers in Monadic Second-Order Logic over
                  Trees},
  journal      = {Fundam. Informaticae},
  volume       = {100},
  number       = {1-4},
  pages        = {1--17},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-260},
  doi          = {10.3233/FI-2010-260},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BaranyKR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/BaranyGO10,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Georg Gottlob and
                  Martin Otto},
  title        = {Querying the Guarded Fragment},
  booktitle    = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
                  Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
  pages        = {1--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/LICS.2010.26},
  doi          = {10.1109/LICS.2010.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/BaranyGO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/acta/Barany09,
  author       = {Vince B{\'{a}}r{\'{a}}ny},
  title        = {Semi-synchronous transductions},
  journal      = {Acta Informatica},
  volume       = {46},
  number       = {1},
  pages        = {29--42},
  year         = {2009},
  url          = {https://doi.org/10.1007/s00236-008-0083-2},
  doi          = {10.1007/S00236-008-0083-2},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/Barany09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/BaranyKR09,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Lukasz Kaiser and
                  Alexander Rabinovich},
  editor       = {Erich Gr{\"{a}}del and
                  Reinhard Kahle},
  title        = {Cardinality Quantifiers in {MLO} over Trees},
  booktitle    = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
                  Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
                  2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5771},
  pages        = {117--131},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04027-6\_11},
  doi          = {10.1007/978-3-642-04027-6\_11},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/BaranyKR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ita/Barany08,
  author       = {Vince B{\'{a}}r{\'{a}}ny},
  title        = {A Hierarchy of Automatic {\textdollar}{\textbackslash}omega{\textdollar}-Words
                  having a Decidable {MSO} Theory},
  journal      = {{RAIRO} Theor. Informatics Appl.},
  volume       = {42},
  number       = {3},
  pages        = {417--450},
  year         = {2008},
  url          = {https://doi.org/10.1051/ita:2008008},
  doi          = {10.1051/ITA:2008008},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ita/Barany08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stacs/KaiserRB08,
  author       = {Lukasz Kaiser and
                  Sasha Rubin and
                  Vince B{\'{a}}r{\'{a}}ny},
  editor       = {Susanne Albers and
                  Pascal Weil},
  title        = {Cardinality and counting quantifiers on omega-automatic structures},
  booktitle    = {{STACS} 2008, 25th Annual Symposium on Theoretical Aspects of Computer
                  Science, Bordeaux, France, February 21-23, 2008, Proceedings},
  series       = {LIPIcs},
  volume       = {1},
  pages        = {385--396},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year         = {2008},
  url          = {https://doi.org/10.4230/LIPIcs.STACS.2008.1360},
  doi          = {10.4230/LIPICS.STACS.2008.1360},
  timestamp    = {Tue, 22 Jun 2021 15:44:08 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/KaiserRB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-0802-2866,
  author       = {Lukasz Kaiser and
                  Sasha Rubin and
                  Vince B{\'{a}}r{\'{a}}ny},
  title        = {Cardinality and counting quantifiers on omega-automatic structures},
  journal      = {CoRR},
  volume       = {abs/0802.2866},
  year         = {2008},
  url          = {http://arxiv.org/abs/0802.2866},
  eprinttype    = {arXiv},
  eprint       = {0802.2866},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0802-2866.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/de/Barany2007,
  author       = {Vince B{\'{a}}r{\'{a}}ny},
  title        = {Automatic presentations of infinite structures},
  school       = {{RWTH} Aachen University, Germany},
  year         = {2007},
  url          = {http://darwin.bth.rwth-aachen.de/opus3/volltexte/2007/2019/},
  urn          = {urn:nbn:de:hbz:82-opus-20193},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Barany2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stacs/Barany06,
  author       = {Vince B{\'{a}}r{\'{a}}ny},
  editor       = {Bruno Durand and
                  Wolfgang Thomas},
  title        = {Invariants of Automatic Presentations and Semi-synchronous Transductions},
  booktitle    = {{STACS} 2006, 23rd Annual Symposium on Theoretical Aspects of Computer
                  Science, Marseille, France, February 23-25, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3884},
  pages        = {289--300},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11672142\_23},
  doi          = {10.1007/11672142\_23},
  timestamp    = {Wed, 19 May 2021 12:05:43 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/Barany06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stacs/BaranyLS06,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Christof L{\"{o}}ding and
                  Olivier Serre},
  editor       = {Bruno Durand and
                  Wolfgang Thomas},
  title        = {Regularity Problems for Visibly Pushdown Languages},
  booktitle    = {{STACS} 2006, 23rd Annual Symposium on Theoretical Aspects of Computer
                  Science, Marseille, France, February 23-25, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3884},
  pages        = {420--431},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11672142\_34},
  doi          = {10.1007/11672142\_34},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/BaranyLS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.