Vince Bárány - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2018

Some Model Theory of Guarded NegationVince Bárány, Michael Benedikt, Balder ten Cate. JSYML, 83(4):1307-1344, 2018. [doi]

2017

Declarative Probabilistic Programming with DatalogVince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena. TODS, 42(4), 2017. [doi]

2016

Declarative Probabilistic Programming with DatalogVince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena. icdt 2016: [doi]

2015

Guarded NegationVince Bárány, Balder ten Cate, Luc Segoufin. JACM, 62(3):22, 2015. [doi]

2013

Rewriting Guarded Negation QueriesVince Bárány, Michael Benedikt, Balder ten Cate. mfcs 2013: 98-110 [doi]

Access patterns and integrity constraints revisitedVince Bárány, Michael Benedikt, Pierre Bourhis. icdt 2013: 213-224 [doi]

2012

Finite satisfiability for guarded fixpoint logicVince Bárány, Mikolaj Bojanczyk. ipl, 112(10):371-375, 2012. [doi]

Decidable classes of documents for XPathVince Bárány, Mikolaj Bojanczyk, Diego Figueira, Pawel Parys. fsttcs 2012: 99-111 [doi]

Queries with Guarded NegationVince Bárány, Balder ten Cate, Martin Otto. pvldb, 5(11):1328-1339, 2012. [doi]

2011

Automata-based presentations of infinite structuresVince Bárány, Erich Grädel, Sasha Rubin. In Javier Esparza, Christian Michaux, Charles Steinhorn, editors, Finite and Algorithmic Model Theory. Volume 379 of London Mathematical Society Lecture Note Series, pages 1-76, Cambridge University Press, 2011.

Expressing cardinality quantifiers in monadic second-order logic over chainsVince Bárány, Lukasz Kaiser, Alexander Rabinovich. JSYML, 76(2):603-619, 2011. [doi]

Guarded NegationVince Bárány, Balder ten Cate, Luc Segoufin. icalp 2011: 356-367 [doi]

2010

Expressing Cardinality Quantifiers in Monadic Second-Order Logic over TreesVince Bárány, Lukasz Kaiser, Alexander Moshe Rabinovich. FUIN, 100(1-4):1-17, 2010. [doi]

Querying the Guarded FragmentVince Bárány, Georg Gottlob, Martin Otto. lics 2010: 1-10 [doi]

2009

Semi-synchronous transductionsVince Bárány. ACTA, 46(1):29-42, 2009. [doi]

2008

Cardinality and counting quantifiers on omega-automatic structuresLukasz Kaiser, Sasha Rubin, Vince Bárány. STACS 2008: 385-396 [doi]

2007

Automatic presentations of infinite structuresVince Bárány. PhD thesis, RWTH Aachen University, 2007. [doi]

2006

Invariants of Automatic Presentations and Semi-synchronous TransductionsVince Bárány. STACS 2006: 289-300 [doi]

Regularity Problems for Visibly Pushdown LanguagesVince Bárány, Christof Löding, Olivier Serre. STACS 2006: 420-431 [doi]

Sign in or sign up to see more results.

runs on WebDSL