Vince Bárány

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 5

Top Venues

CoRR

ICDT

Proc. VLDB Endow.

Inf. Process. Lett.

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

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

Vince Bárány.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Vince Bárány