Bárány Vince
Bárány Vince
Google Inc.
Verified email at mimuw.edu.pl - Homepage
Title
Cited by
Cited by
Year
Querying the guarded fragment
V Barany, G Gottlob, M Otto
Logical Methods in Computer Science 10 (2), 2014
132*2014
Guarded negation
V Bárány, BT Cate, L Segoufin
Journal of the ACM (JACM) 62 (3), 1-26, 2015
124*2015
Queries with guarded negation
V Bárány, B Ten Cate, M Otto
Proceedings of the VLDB Endowment 5 (11), 1328-1339, 2012
602012
Regularity problems for visibly pushdown languages
V Bárány, C Löding, O Serre
Annual Symposium on Theoretical Aspects of Computer Science, 420-431, 2006
502006
Rewriting guarded negation queries
V Bárány, M Benedikt, B Ten Cate
International Symposium on Mathematical Foundations of Computer Science, 98-110, 2013
372013
Cardinality and counting quantifiers on omega-automatic structures
L Kaiser, S Rubin, V Bárány
STACS 2008, 2008
322008
Automata-based presentations of infinite structures
V Bárány, E Grädel, S Rubin
Finite and algorithmic model theory - London Mathematical Society Lecture …, 2011
312011
Finite satisfiability for guarded fixpoint logic
V Bárány, M Bojańczyk
Information Processing Letters 112 (10), 371-375, 2012
292012
Automatic Presentations of Infinite Structures
V Barany
RWTH Aachen, 2007
272007
Access patterns and integrity constraints revisited
V Bárány, M Benedikt, P Bourhis
Proceedings of the 16th International Conference on Database Theory, 213-224, 2013
242013
Declarative probabilistic programming with datalog
V Bárány, BT Cate, B Kimelfeld, D Olteanu, Z Vagena
ACM Transactions on Database Systems (TODS) 42 (4), 1-35, 2017
23*2017
Invariants of automatic presentations and semi-synchronous transductions
V Bárány
Annual Symposium on Theoretical Aspects of Computer Science, 289-300, 2006
202006
Expressing cardinality quantifiers in monadic second-order logic over trees
V Bárány, Ł Kaiser, A Rabinovich
Fundamenta Informaticae 100 (1-4), 1-17, 2010
162010
Cardinality quantifiers in MLO over trees
V Bárány, Ł Kaiser, A Rabinovich
International Workshop on Computer Science Logic, 117-131, 2009
152009
A Hierarchy of Automatic ω-Words having a Decidable MSO Theory
V Bárány
RAIRO-Theoretical Informatics and Applications 42 (3), 417-450, 2008
15*2008
Expressing cardinality quantifiers in monadic second-order logic over chains
V Bárány, Ł Kaiser, A Rabinovich
Journal of Symbolic Logic 76 (2), 603-619, 2011
92011
Decidable classes of documents for XPath
V Bárány, M Bojańczyk, D Figueira, P Parys
52012
Semi-synchronous transductions
V Bárány
Acta informatica 46 (1), 29-42, 2009
22009
Some model theory of guarded negation
V Barany, M Benedikt, B Ten Cate
The Journal of Symbolic Logic 83 (4), 1307-1344, 2018
2018
Seminar Jewels of Mathematical Logic
VB Der Kompaktheitssatz Anke Honskamp, ...
The system can't perform the operation now. Try again later.
Articles 1–20