×

zbMATH — the first resource for mathematics

Bárány, Vince

Compute Distance To:
Author ID: barany.vince Recent zbMATH articles by "Bárány, Vince"
Published as: Barany, Vince; Bárány, Vince
External Links: MGP · Wikidata
Documents Indexed: 17 Publications since 2006

Publications by Year

Citations contained in zbMATH

13 Publications have been cited 51 times in 42 Documents Cited by Year
Querying the guarded fragment. Zbl 1314.68146
Bárány, Vince; Gottlob, Georg; Otto, Martin
10
2014
Regularity problems for visibly pushdown languages. Zbl 1136.68414
Bárány, Vince; Löding, Christof; Serre, Olivier
8
2006
Cardinality and counting quantifiers on omega-automatic structures. Zbl 1259.68109
Kaiser, Lukasz; Rubin, Sasha; Bárány, Vince
7
2008
Rewriting guarded negation queries. Zbl 1398.68120
Bárány, Vince; Benedikt, Michael; ten Cate, Balder
6
2013
Guarded negation. Zbl 1333.68132
Bárány, Vince; ten Cate, Balder; Segoufin, Luc
4
2011
Invariants of automatic presentations and semi-synchronous transductions. Zbl 1136.68413
Bárány, Vince
4
2006
Automata-based presentations of infinite structures. Zbl 1246.03056
Bárány, Vince; Grädel, Erich; Rubin, Sasha
3
2011
Guarded negation. Zbl 1333.68133
Bárány, Vince; ten Cate, Balder; Segoufin, Luc
2
2015
Expressing cardinality quantifiers in monadic second-order logic over trees. Zbl 1211.03017
Bárány, Vince; Kaiser, Łukasz; Rabinovich, Alex
2
2010
Cardinality quantifiers in MLO over trees. Zbl 1257.03062
Bárány, Vince; Kaiser, Łukasz; Rabinovich, Alexander
2
2009
Finite satisfiability for guarded fixpoint logic. Zbl 1243.68191
Bárány, Vince; Bojańczyk, Mikołaj
1
2012
Expressing cardinality quantifiers in monadic second-order logic over chains. Zbl 1222.03009
Bárány, Vince; Kaiser, Łukasz; Rabinovich, Alexander
1
2011
A hierarchy of automatic \(\omega\)-words having a decidable MSO theory. Zbl 1152.03030
Bárány, Vince
1
2008
Guarded negation. Zbl 1333.68133
Bárány, Vince; ten Cate, Balder; Segoufin, Luc
2
2015
Querying the guarded fragment. Zbl 1314.68146
Bárány, Vince; Gottlob, Georg; Otto, Martin
10
2014
Rewriting guarded negation queries. Zbl 1398.68120
Bárány, Vince; Benedikt, Michael; ten Cate, Balder
6
2013
Finite satisfiability for guarded fixpoint logic. Zbl 1243.68191
Bárány, Vince; Bojańczyk, Mikołaj
1
2012
Guarded negation. Zbl 1333.68132
Bárány, Vince; ten Cate, Balder; Segoufin, Luc
4
2011
Automata-based presentations of infinite structures. Zbl 1246.03056
Bárány, Vince; Grädel, Erich; Rubin, Sasha
3
2011
Expressing cardinality quantifiers in monadic second-order logic over chains. Zbl 1222.03009
Bárány, Vince; Kaiser, Łukasz; Rabinovich, Alexander
1
2011
Expressing cardinality quantifiers in monadic second-order logic over trees. Zbl 1211.03017
Bárány, Vince; Kaiser, Łukasz; Rabinovich, Alex
2
2010
Cardinality quantifiers in MLO over trees. Zbl 1257.03062
Bárány, Vince; Kaiser, Łukasz; Rabinovich, Alexander
2
2009
Cardinality and counting quantifiers on omega-automatic structures. Zbl 1259.68109
Kaiser, Lukasz; Rubin, Sasha; Bárány, Vince
7
2008
A hierarchy of automatic \(\omega\)-words having a decidable MSO theory. Zbl 1152.03030
Bárány, Vince
1
2008
Regularity problems for visibly pushdown languages. Zbl 1136.68414
Bárány, Vince; Löding, Christof; Serre, Olivier
8
2006
Invariants of automatic presentations and semi-synchronous transductions. Zbl 1136.68413
Bárány, Vince
4
2006
all top 5

Cited by 81 Authors

6 Bárány, Vince
5 ten Cate, Balder David
4 Kuske, Dietrich
3 Benedikt, Michael A.
3 Gottlob, Georg
3 Jain, Sanjay
3 Pieris, Andreas
3 Stephan, Frank
2 Barceló, Pablo
2 Bojańczyk, Mikołaj
2 Bourhis, Pierre
2 Lohrey, Markus
2 Luo, Qinglong
2 Michalewski, Henryk
2 Mio, Matteo
2 Rubin, Sasha
2 Salomaa, Kai T.
2 Segoufin, Luc
2 Semukhin, Pavel
2 Šimkus, Mantas
2 Vanden Boom, Michael
1 Ahmetaj, Shqiponja
1 Aleksandrova, S. A.
1 Amarilli, Antoine
1 Amendola, Giovanni
1 Aminof, Benjamin
1 Arenas, Marcelo
1 Bazhenov, Nikolaĭ Alekseevich
1 Calì, Andrea
1 Carayol, Arnaud
1 Cherubini, Alessandra Spoletini
1 D’Agostino, Giovanna
1 Daviaud, Laure
1 Filiot, Emmanuel
1 Finkel, Olivier
1 Fontaine, Gaëlle
1 Gauwin, Olivier
1 Grädel, Erich
1 Guillon, Bruno
1 Han, Yo-Sub
1 Janoušek, Jan
1 Kaiser, Lukasz
1 Khoussainov, Bakhadyr M.
1 Kieroński, Emanuel
1 Ko, Sang-Ki
1 Kolaitis, Phokion G.
1 Kupferman, Orna
1 Lenzi, Giacomo
1 Leone, Nicola
1 Libkin, Leonid O.
1 Liu, Jiamou
1 Malvone, Vadim
1 Manna, Marco
1 Melichar, Bořivoj
1 Michaliszyn, Jakub
1 Monet, Mikaël
1 Morak, Michael
1 Murano, Aniello
1 Nuccio, C.
1 Okhotin, Alexander
1 Ortiz, Magdalena
1 Otop, Jan
1 Pakusa, Wied
1 Penelle, Vincent
1 Piao, Xiaoxue
1 Piterman, Nir
1 Polách, Radomír
1 Reynier, Pierre-Alain
1 Rodaro, Emanuele
1 Romero, Miguel
1 Schlicht, Philipp
1 Senellart, Pierre
1 Serre, Olivier
1 Servais, Frédéric
1 Skrzypczak, Michał
1 Sreejith, A V
1 Todorcevic, Stevo B.
1 Trávníček, Jan
1 Vardi, Moshe Y.
1 Zaid, Faried Abu
1 Zeume, Thomas

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.