Bárány Vince
Bárány Vince
Google Inc.
Zweryfikowany adres z mimuw.edu.pl - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Querying the guarded fragment
V Barany, G Gottlob, M Otto
Logical Methods in Computer Science 10 (2), 2014
150*2014
Guarded negation
V Bárány, BT Cate, L Segoufin
Journal of the ACM (JACM) 62 (3), 1-26, 2015
138*2015
Queries with guarded negation
V Bárány, B Ten Cate, M Otto
Proceedings of the VLDB Endowment 5 (11), 1328-1339, 2012
672012
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
572006
Rewriting guarded negation queries
V Bárány, M Benedikt, B Ten Cate
International Symposium on Mathematical Foundations of Computer Science, 98-110, 2013
502013
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
38*2017
Cardinality and counting quantifiers on omega-automatic structures
L Kaiser, S Rubin, V Bárány
STACS 2008, 2008
352008
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
342011
Automatic Presentations of Infinite Structures
V Barany
RWTH Aachen, 2007
322007
Finite satisfiability for guarded fixpoint logic
V Bárány, M Bojańczyk
Information Processing Letters 112 (10), 371-375, 2012
292012
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
232013
Invariants of automatic presentations and semi-synchronous transductions
V Bárány
Annual Symposium on Theoretical Aspects of Computer Science, 289-300, 2006
222006
Expressing cardinality quantifiers in monadic second-order logic over trees
V Bárány, L Kaiser, AM Rabinovich
Fundamenta Informaticae 100 (1-4), 1-17, 2010
202010
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
14*2008
Some model theory of guarded negation
V Barany, M Benedikt, B Ten Cate
The Journal of Symbolic Logic 83 (4), 1307-1344, 2018
112018
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
IARCS Annual Conference on Foundations of Software Technology and …, 2012
62012
Semi-synchronous transductions
V Bárány
Acta informatica 46 (1), 29-42, 2009
22009
Seminar Jewels of Mathematical Logic
VB Der Kompaktheitssatz Anke Honskamp, ...
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20