Vince Bárány

According to our database, Vince Bárány authored at least 21 papers between 2006 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Some Model Theory of Guarded Negation.

Vince Bárány, Michael Benedikt, Balder ten Cate

J. Symb. Log., 2018

2017

Declarative Probabilistic Programming with Datalog.

Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena

ACM Trans. Database Syst., 2017

2015

Guarded Negation.

Vince Bárány, Balder ten Cate, Luc Segoufin

J. ACM, 2015

2014

Querying the Guarded Fragment.

Vince Bárány, Georg Gottlob, Martin Otto

Log. Methods Comput. Sci., 2014

Declarative Statistical Modeling with Datalog.

Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena

CoRR, 2014

2013

Rewriting Guarded Negation Queries.

Vince Bárány, Michael Benedikt, Balder ten Cate

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Access patterns and integrity constraints revisited.

Vince Bárány, Michael Benedikt, Pierre Bourhis

Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

2012

Queries with Guarded Negation.

Vince Bárány, Balder ten Cate, Martin Otto

Proc. VLDB Endow., 2012

Finite satisfiability for guarded fixpoint logic.

Vince Bárány, Mikolaj Bojanczyk

Inf. Process. Lett., 2012

Queries with Guarded Negation (full version)

Vince Bárány, Balder ten Cate, Martin Otto

CoRR, 2012

Decidable classes of documents for XPath.

Vince Bárány, Mikolaj Bojanczyk, Diego Figueira, Pawel Parys

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2011

Expressing cardinality quantifiers in monadic second-order logic over chains.

Vince Bárány, Lukasz Kaiser, Alexander Rabinovich

J. Symb. Log., 2011

Automata-based presentations of infinite structures.

Vince Bárány, Erich Grädel, Sasha Rubin

Proceedings of the Finite and Algorithmic Model Theory., 2011

2010

Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees.

Vince Bárány, Lukasz Kaiser, Alexander Moshe Rabinovich

Fundam. Informaticae, 2010

2009

Semi-synchronous transductions.

Vince Bárány

Acta Informatica, 2009

Cardinality Quantifiers in MLO over Trees.

Vince Bárány, Lukasz Kaiser, Alexander Rabinovich

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008

A Hierarchy of Automatic $\omega$-Words having a Decidable MSO Theory.

Vince Bárány

RAIRO Theor. Informatics Appl., 2008

Cardinality and counting quantifiers on omega-automatic structures.

Lukasz Kaiser, Sasha Rubin, Vince Bárány

Proceedings of the STACS 2008, 2008

2007

Automatic presentations of infinite structures.

Vince Bárány

PhD thesis, 2007

2006

Regularity Problems for Visibly Pushdown Languages.

Vince Bárány, Christof Löding, Olivier Serre

Proceedings of the STACS 2006, 2006

Invariants of Automatic Presentations and Semi-synchronous Transductions.

Vince Bárány

Proceedings of the STACS 2006, 2006