Invariants of Automatic Presentations and Semi-synchronous Transductions. - Vince Bárány (STACS, 2006)

Regularity Problems for Visibly Pushdown Languages. - Vince Bárány; Christof Löding; Olivier Serre (STACS, 2006)

Automatic presentations of infinite structures. - Vince Bárány (2007)

Cardinality and counting quantifiers on omega-automatic structures. - Lukasz Kaiser; Sasha Rubin; Vince Bárány (STACS, 2008)

A Hierarchy of Automatic $ omega$-Words having a Decidable MSO Theory. - Vince Bárány (RAIRO Theor. Informatics Appl., 2008)

Cardinality Quantifiers in MLO over Trees. - Vince Bárány; Lukasz Kaiser; Alexander Rabinovich (CSL, 2009)

Semi-synchronous transductions. - Vince Bárány (Acta Informatica, 2009)

Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees. - Vince Bárány; Lukasz Kaiser; Alexander Moshe Rabinovich (Fundam. Informaticae, 2010)

Automata-based presentations of infinite structures. - Vince Bárány; Erich Grädel; Sasha Rubin (Finite and Algorithmic Model Theory, 2011)

Expressing cardinality quantifiers in monadic second-order logic over chains. - Vince Bárány; Lukasz Kaiser; Alexander Rabinovich (J. Symb. Log., 2011)

Decidable classes of documents for XPath. - Vince Bárány; Mikolaj Bojanczyk; Diego Figueira; Pawel Parys (FSTTCS, 2012)

Queries with Guarded Negation (full version) - Vince Bárány; Balder ten Cate; Martin Otto 001 (CoRR, 2012)

Finite satisfiability for guarded fixpoint logic. - Vince Bárány; Mikolaj Bojanczyk (Inf. Process. Lett., 2012)

Queries with Guarded Negation. - Vince Bárány; Balder ten Cate; Martin Otto 001 (Proc. VLDB Endow., 2012)

Access patterns and integrity constraints revisited. - Vince Bárány; Michael Benedikt; Pierre Bourhis (ICDT, 2013)

Rewriting Guarded Negation Queries. - Vince Bárány; Michael Benedikt; Balder ten Cate (MFCS, 2013)

Declarative Statistical Modeling with Datalog. - Vince Bárány; Balder ten Cate; Benny Kimelfeld; Dan Olteanu; Zografoula Vagena (CoRR, 2014)

Querying the Guarded Fragment. - Vince Bárány; Georg Gottlob; Martin Otto 001 (Log. Methods Comput. Sci., 2014)

Guarded Negation. - Vince Bárány; Balder ten Cate; Luc Segoufin (J. ACM, 2015)

Declarative Probabilistic Programming with Datalog. - Vince Bárány; Balder ten Cate; Benny Kimelfeld; Dan Olteanu; Zografoula Vagena (ACM Trans. Database Syst., 2017)

Some Model Theory of Guarded Negation. - Vince Bárány; Michael Benedikt; Balder ten Cate (J. Symb. Log., 2018)