| Querying the guarded fragment V Barany, G Gottlob, M Otto Logical Methods in Computer Science 10 (2), 2014 | 149* | 2014 |
| Guarded negation V Bárány, BT Cate, L Segoufin Journal of the ACM (JACM) 62 (3), 1-26, 2015 | 139* | 2015 |
| Queries with guarded negation V Bárány, B Ten Cate, M Otto Proceedings of the VLDB Endowment 5 (11), 1328-1339, 2012 | 68 | 2012 |
| 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 | 58 | 2006 |
| Rewriting guarded negation queries V Bárány, M Benedikt, B Cate International Symposium on Mathematical Foundations of Computer Science, 98-110, 2013 | 50 | 2013 |
| 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 | 43* | 2017 |
| 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 | 35 | 2011 |
| Cardinality and counting quantifiers on omega-automatic structures L Kaiser, S Rubin, V Bárány STACS 2008, 2008 | 35 | 2008 |
| Automatic Presentations of Infinite Structures V Barany RWTH Aachen, 2007 | 32 | 2007 |
| Finite satisfiability for guarded fixpoint logic V Bárány, M Bojańczyk Information Processing Letters 112 (10), 371-375, 2012 | 29 | 2012 |
| 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 | 23 | 2013 |
| Invariants of automatic presentations and semi-synchronous transductions V Bárány Annual Symposium on Theoretical Aspects of Computer Science, 289-300, 2006 | 22 | 2006 |
| 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 | 20 | 2010 |
| Cardinality quantifiers in MLO over trees V Bárány, Ł Kaiser, A Rabinovich International Workshop on Computer Science Logic, 117-131, 2009 | 15 | 2009 |
| 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 Bárány, M Benedikt, B Ten Cate The Journal of Symbolic Logic 83 (4), 1307-1344, 2018 | 11 | 2018 |
| 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 | 9 | 2011 |
| 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 | 5 | 2012 |
| Semi-synchronous transductions V Bárány Acta informatica 46 (1), 29-42, 2009 | 2 | 2009 |
| Seminar Jewels of Mathematical Logic VB Der Kompaktheitssatz Anke Honskamp, ... | | |
Balder ten CateCoordinating Senior Researcher, University of AmsterdamVerified email at uva.nl
