Vince Bárány

27 papers A* 1A 5B 2Journal 15Unranked 2
YearRankTypeTitle / Venue / Authors
2020 J jnl
Some Model Theory of Guarded Negation.
CoRR
Vince Bárány, Michael Benedikt, Balder ten Cate
2018 J jnl
Some Model Theory of Guarded Negation.
J. Symb. Log.
Vince Bárány, Michael Benedikt, Balder ten Cate
2017 J jnl
Declarative Probabilistic Programming with Datalog.
ACM Trans. Database Syst.
Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena
2016 A conf
Declarative Probabilistic Programming with Datalog.
ICDT
Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena
2015 J jnl
Guarded Negation.
J. ACM
Vince Bárány, Balder ten Cate, Luc Segoufin
2014 J jnl
Declarative Statistical Modeling with Datalog.
CoRR
Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena
2014 J jnl
Querying the Guarded Fragment.
Log. Methods Comput. Sci.
Vince Bárány, Georg Gottlob, Martin Otto
2013 A conf
Access patterns and integrity constraints revisited.
ICDT
Vince Bárány, Michael Benedikt, Pierre Bourhis
2013 B conf
Rewriting Guarded Negation Queries.
MFCS
Vince Bárány, Michael Benedikt, Balder ten Cate
2012 — conf
Decidable classes of documents for XPath.
FSTTCS
Vince Bárány, Mikolaj Bojanczyk, Diego Figueira, Pawel Parys
2012 J jnl
Finite satisfiability for guarded fixpoint logic.
Inf. Process. Lett.
Vince Bárány, Mikolaj Bojanczyk
2012 J jnl
Queries with Guarded Negation (full version)
CoRR
Vince Bárány, Balder ten Cate, Martin Otto
2012 J jnl
Queries with Guarded Negation.
Proc. VLDB Endow.
Vince Bárány, Balder ten Cate, Martin Otto
2011 — ch.
Automata-based presentations of infinite structures.
Finite and Algorithmic Model Theory
Vince Bárány, Erich Grädel, Sasha Rubin
2011 J jnl
Expressing cardinality quantifiers in monadic second-order logic over chains.
J. Symb. Log.
Vince Bárány, Lukasz Kaiser, Alexander Rabinovich
2011 J jnl
Finite Satisfiability for Guarded Fixpoint Logic
CoRR
Vince Bárány, Mikolaj Bojanczyk
2011 — conf
Guarded Negation.
ICALP (2)
Vince Bárány, Balder ten Cate, Luc Segoufin
2010 J jnl
Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees.
Fundam. Informaticae
Vince Bárány, Lukasz Kaiser, Alexander Moshe Rabinovich
2010 A* conf
Querying the Guarded Fragment.
LICS
Vince Bárány, Georg Gottlob, Martin Otto
2009 B conf
Cardinality Quantifiers in MLO over Trees.
CSL
Vince Bárány, Lukasz Kaiser, Alexander Rabinovich
2009 J jnl
Semi-synchronous transductions.
Acta Informatica
Vince Bárány
2008 J jnl
A Hierarchy of Automatic $\omega$-Words having a Decidable MSO Theory.
RAIRO Theor. Informatics Appl.
Vince Bárány
2008 J jnl
Cardinality and counting quantifiers on omega-automatic structures
CoRR
Lukasz Kaiser, Sasha Rubin, Vince Bárány
2008 A conf
Cardinality and counting quantifiers on omega-automatic structures.
STACS
Lukasz Kaiser, Sasha Rubin, Vince Bárány
2007 — —
Automatic presentations of infinite structures.
Vince Bárány
2006 A conf
Invariants of Automatic Presentations and Semi-synchronous Transductions.
STACS
Vince Bárány
2006 A conf
Regularity Problems for Visibly Pushdown Languages.
STACS
Vince Bárány, Christof Löding, Olivier Serre