Semi−synchronous transductions by Barany, V

Invariants of Automatic Presentations and Semi−Synchronous Transductions by Barany, V

A Hierarchy of Automatic Words having a Decidable MSO Theory by Barany, V

Automatic Presentations of Infinite Structures by Barany, V

A hierarchy of automatic omega−words having a decidable MSO theory by Barany, V

Automata−based presentations of infinite structures by Barany, V, Graedel, E, Rubin, S

Cardinality and counting quantifiers on omega−automatic structures by Kaiser, L, Rubin, S, Barany, V

Access Patterns and Integrity Constraints Revisited by Barany, V, Benedikt, M, Bourhis, P

Querying the Guarded Fragment by Barany, V, Gottlob, G, Otto, M

Expressing Cardinality Quantifiers in Monadic Second−Order Logic over Trees by Barany, V, Kaiser, L, Rabinovich, A

Cardinality quantifiers in MLO over trees by Barany, V, Kaiser, L, Rabinovich, A

Regularity Problems for Visibly Pushdown Languages by Barany, V, Loeding, C, Serre, O

Some model theory of Guarded Negation by Barany, V, Benedikt, M, Ten Cate, B

Declarative probabilistic programming with datalog by Barany, V, Cate, B, Kimelfeld, B, Olteanu, D, Vagena, Z

Declarative probabilistic programming with Datalog by Barany, V, Ten Cate, B, Kimelfeld, b, Olteanu, D, Vagena, Z