×

zbMATH — the first resource for mathematics

Zetzsche, Georg

Compute Distance To:
Author ID: zetzsche.georg Recent zbMATH articles by "Zetzsche, Georg"
Published as: Zetzsche, Georg
Documents Indexed: 39 Publications since 2008

Publications by Year

Citations contained in zbMATH

26 Publications have been cited 56 times in 41 Documents Cited by Year
Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups. Zbl 1392.68205
König, Daniel; Lohrey, Markus; Zetzsche, Georg
5
2016
Knapsack in graph groups, HNN-extensions and amalgamated products. Zbl 1380.68229
Lohrey, Markus; Zetzsche, Georg
4
2016
Computing downward closures for stacked counter automata. Zbl 1355.68171
Zetzsche, Georg
4
2015
The monoid of queue actions. Zbl 1386.68079
Huschenbett, Martin; Kuske, Dietrich; Zetzsche, Georg
4
2014
On erasing productions in random context grammars. Zbl 1288.68145
Zetzsche, Georg
4
2010
Multiset pushdown automata. Zbl 1191.68392
Kudlek, Manfred; Totzke, Patrick; Zetzsche, Georg
4
2009
An approach to computing downward closures. Zbl 1440.68166
Zetzsche, Georg
3
2015
Properties of multiset language classes defined by multiset pushdown automata. Zbl 1191.68393
Kudlek, Manfred; Totzke, Patrick; Zetzsche, Georg
3
2009
The complexity of regular abstractions of one-counter languages. Zbl 1401.68142
Atig, Mohamed Faouzi; Chistikov, Dmitry; Hofman, Piotr; Kumar, K. Narayan; Saivasan, Prakash; Zetzsche, Georg
2
2016
The complexity of downward closure comparisons. Zbl 1388.68183
Zetzsche, Georg
2
2016
Rational subsets and submonoids of wreath products. Zbl 1332.20038
Lohrey, Markus; Steinberg, Benjamin; Zetzsche, Georg
2
2015
On Boolean closed full trios and rational Kripke frames. Zbl 1359.68174
Lohrey, Markus; Zetzsche, Georg
2
2014
Silent transitions in automata with storage. Zbl 1334.68125
Zetzsche, Georg
2
2013
On the capabilities of grammars, automata, and transducers controlled by monoids. Zbl 1333.68189
Zetzsche, Georg
2
2011
Erasing in Petri net languages and matrix grammars. Zbl 1247.68152
Zetzsche, Georg
2
2009
Coverability Is undecidable in one-dimensional pushdown vector addition systems with resets. Zbl 07121146
Schmitz, Sylvain; Zetzsche, Georg
1
2019
Knapsack in graph groups. Zbl 1386.68073
Lohrey, Markus; Zetzsche, Georg
1
2018
A characterization for decidable separability by piecewise testable languages. Zbl 1400.68101
Czerwiński, Wojciech; Martens, Wim; van Rooijen, Lorijn; Zeitoun, Marc; Zetzsche, Georg
1
2017
The complexity of knapsack in graph groups. Zbl 1402.68103
Lohrey, Markus; Zetzsche, Georg
1
2017
The monoid of queue actions. Zbl 1400.68094
Huschenbett, Martin; Kuske, Dietrich; Zetzsche, Georg
1
2017
First-order logic with reachability for infinite-state systems. Zbl 1394.68247
D’Osualdo, Emanuele; Meyer, Roland; Zetzsche, Georg
1
2016
Permutations of context-free, ET0L and indexed languages. Zbl 1348.68094
Brough, Tara; Ciobanu, Laura; Elder, Murray; Zetzsche, Georg
1
2016
The emptiness problem for valence automata or: another decidable extension of Petri nets. Zbl 06798775
Zetzsche, Georg
1
2015
Semilinearity and context-freeness of languages accepted by valence automata. Zbl 1398.68302
Buckheister, P.; Zetzsche, Georg
1
2013
Rational subsets and submonoids of wreath products. Zbl 1293.20036
Lohrey, Markus; Steinberg, Benjamin; Zetzsche, Georg
1
2013
Labeled step sequences in Petri nets. Zbl 1143.68487
Jantzen, Matthias; Zetzsche, Georg
1
2008
Coverability Is undecidable in one-dimensional pushdown vector addition systems with resets. Zbl 07121146
Schmitz, Sylvain; Zetzsche, Georg
1
2019
Knapsack in graph groups. Zbl 1386.68073
Lohrey, Markus; Zetzsche, Georg
1
2018
A characterization for decidable separability by piecewise testable languages. Zbl 1400.68101
Czerwiński, Wojciech; Martens, Wim; van Rooijen, Lorijn; Zeitoun, Marc; Zetzsche, Georg
1
2017
The complexity of knapsack in graph groups. Zbl 1402.68103
Lohrey, Markus; Zetzsche, Georg
1
2017
The monoid of queue actions. Zbl 1400.68094
Huschenbett, Martin; Kuske, Dietrich; Zetzsche, Georg
1
2017
Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups. Zbl 1392.68205
König, Daniel; Lohrey, Markus; Zetzsche, Georg
5
2016
Knapsack in graph groups, HNN-extensions and amalgamated products. Zbl 1380.68229
Lohrey, Markus; Zetzsche, Georg
4
2016
The complexity of regular abstractions of one-counter languages. Zbl 1401.68142
Atig, Mohamed Faouzi; Chistikov, Dmitry; Hofman, Piotr; Kumar, K. Narayan; Saivasan, Prakash; Zetzsche, Georg
2
2016
The complexity of downward closure comparisons. Zbl 1388.68183
Zetzsche, Georg
2
2016
First-order logic with reachability for infinite-state systems. Zbl 1394.68247
D’Osualdo, Emanuele; Meyer, Roland; Zetzsche, Georg
1
2016
Permutations of context-free, ET0L and indexed languages. Zbl 1348.68094
Brough, Tara; Ciobanu, Laura; Elder, Murray; Zetzsche, Georg
1
2016
Computing downward closures for stacked counter automata. Zbl 1355.68171
Zetzsche, Georg
4
2015
An approach to computing downward closures. Zbl 1440.68166
Zetzsche, Georg
3
2015
Rational subsets and submonoids of wreath products. Zbl 1332.20038
Lohrey, Markus; Steinberg, Benjamin; Zetzsche, Georg
2
2015
The emptiness problem for valence automata or: another decidable extension of Petri nets. Zbl 06798775
Zetzsche, Georg
1
2015
The monoid of queue actions. Zbl 1386.68079
Huschenbett, Martin; Kuske, Dietrich; Zetzsche, Georg
4
2014
On Boolean closed full trios and rational Kripke frames. Zbl 1359.68174
Lohrey, Markus; Zetzsche, Georg
2
2014
Silent transitions in automata with storage. Zbl 1334.68125
Zetzsche, Georg
2
2013
Semilinearity and context-freeness of languages accepted by valence automata. Zbl 1398.68302
Buckheister, P.; Zetzsche, Georg
1
2013
Rational subsets and submonoids of wreath products. Zbl 1293.20036
Lohrey, Markus; Steinberg, Benjamin; Zetzsche, Georg
1
2013
On the capabilities of grammars, automata, and transducers controlled by monoids. Zbl 1333.68189
Zetzsche, Georg
2
2011
On erasing productions in random context grammars. Zbl 1288.68145
Zetzsche, Georg
4
2010
Multiset pushdown automata. Zbl 1191.68392
Kudlek, Manfred; Totzke, Patrick; Zetzsche, Georg
4
2009
Properties of multiset language classes defined by multiset pushdown automata. Zbl 1191.68393
Kudlek, Manfred; Totzke, Patrick; Zetzsche, Georg
3
2009
Erasing in Petri net languages and matrix grammars. Zbl 1247.68152
Zetzsche, Georg
2
2009
Labeled step sequences in Petri nets. Zbl 1143.68487
Jantzen, Matthias; Zetzsche, Georg
1
2008
all top 5

Cited by 78 Authors

6 Lohrey, Markus
6 Zetzsche, Georg
5 Kuske, Dietrich
3 Karandikar, Prateek
3 Okubo, Fumiya
3 Schnoebelen, Philippe
3 Yokomori, Takashi
2 D’Alessandro, Flavio
2 Halfon, Simon
2 Kobayashi, Satoshi
2 Köcher, Chris
2 König, Daniel
2 Lasota, Sławomir
2 Masopust, Tomáš
2 Meduna, Alexander
2 Prianychnykova, Olena
2 Zemek, Petr
1 Arroyo, Fernando
1 Atig, Mohamed Faouzi
1 Bojańczyk, Mikołaj
1 Cain, Alan J.
1 Chistikov, Dmitry V.
1 Ciobanu, Gabriel
1 Csuhaj-Varjú, Erzsébet
1 Czerwiński, Wojciech
1 Dassow, Jürgen
1 Daviaud, Laure
1 Englert, Matthias
1 Fernau, Henning
1 Gazdag, Zsolt
1 Goubault-Larrecq, Jean
1 Gray, Robert D.
1 Gu, Wenxiang
1 Guillon, Bruno
1 Haase, Christoph
1 Hofman, Piotr
1 Holub, Štěpán
1 Huschenbett, Martin
1 Ibarra, Oscar H.
1 Kumar, K. Narayan
1 Lazić, Ranko
1 Leroux, Jérôme
1 Liu, Rong
1 MacDonald, Jeremy
1 Malheiro, António
1 McQuillan, Ian
1 Meyer, Roland
1 Mishchenko, Alexeĭ Aleksandrovich
1 Mitrana, Victor
1 Muskalla, Sebastian
1 Myasnikov, Alexei G.
1 Nagy, Benedek
1 Niewerth, Matthias
1 Nikolaev, Andrey R.
1 Nishida, Taishin Yasunobu
1 Otto, Friedrich
1 Ovchinnikov, Denis
1 Paramasivan, Meenakshi
1 Parys, Paweł
1 Păun, Andrei
1 Păun, Mihaela
1 Penelle, Vincent
1 Pinna, G. Michele
1 Saivasan, Prakash
1 Sánchez-Couso, José-Ramón
1 Say, A. C. Cem
1 Schmid, Markus L.
1 Sreejith, A V
1 Steinberg, Benjamin
1 Straszyński, Juliusz
1 Thomazo, Michaël
1 Tichler, Krisztián
1 Tishari, Saini Jonathan
1 Treĭer, Aleksandr Viktorovich
1 Ushakov, Alexander S.
1 Vorel, Vojtěch
1 Wang, Jinyan
1 Yin, Minghao

Citations by Year