Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Georg Zetzsche
@article{DBLP:journals/pacmpl/BergstrasserGLZ24,
author = {Pascal Bergstr{\"{a}}{\ss}er and
Moses Ganardi and
Anthony W. Lin and
Georg Zetzsche},
title = {Ramsey Quantifiers in Linear Arithmetics},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {1--32},
year = {2024},
url = {https://doi.org/10.1145/3632843},
doi = {10.1145/3632843},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BergstrasserGLZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BalasubramanianMTZ24,
author = {A. R. Balasubramanian and
Rupak Majumdar and
Ramanathan S. Thinniyam and
Georg Zetzsche},
title = {Reachability in Continuous Pushdown {VASS}},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {90--114},
year = {2024},
url = {https://doi.org/10.1145/3633279},
doi = {10.1145/3633279},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BalasubramanianMTZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GanardiSZ24,
author = {Moses Ganardi and
Irmak Saglam and
Georg Zetzsche},
editor = {Olaf Beyersdorff and
Mamadou Moustapha Kant{\'{e}} and
Orna Kupferman and
Daniel Lokshtanov},
title = {Directed Regular and Context-Free Languages},
booktitle = {41st International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2024, March 12-14, 2024, Clermont-Ferrand, France},
series = {LIPIcs},
volume = {289},
pages = {36:1--36:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.STACS.2024.36},
doi = {10.4230/LIPICS.STACS.2024.36},
timestamp = {Mon, 11 Mar 2024 15:43:27 +0100},
biburl = {https://dblp.org/rec/conf/stacs/GanardiSZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-07106,
author = {Moses Ganardi and
Irmak Saglam and
Georg Zetzsche},
title = {Directed Regular and Context-Free Languages},
journal = {CoRR},
volume = {abs/2401.07106},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.07106},
doi = {10.48550/ARXIV.2401.07106},
eprinttype = {arXiv},
eprint = {2401.07106},
timestamp = {Thu, 01 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-07106.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijac/GanardiLZ23,
author = {Moses Ganardi and
Markus Lohrey and
Georg Zetzsche},
title = {Knapsack and the power word problem in solvable Baumslag-Solitar groups},
journal = {Int. J. Algebra Comput.},
volume = {33},
number = {3},
pages = {617--639},
year = {2023},
url = {https://doi.org/10.1142/S0218196723500285},
doi = {10.1142/S0218196723500285},
timestamp = {Thu, 29 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijac/GanardiLZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BaumannGTZ23,
author = {Pascal Baumann and
Moses Ganardi and
Ramanathan S. Thinniyam and
Georg Zetzsche},
title = {Existential Definability over the Subword Ordering},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:35)2023},
doi = {10.46298/LMCS-19(4:35)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BaumannGTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BaumannGMTZ23,
author = {Pascal Baumann and
Moses Ganardi and
Rupak Majumdar and
Ramanathan S. Thinniyam and
Georg Zetzsche},
title = {Context-Bounded Verification of Context-Free Specifications},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {2141--2170},
year = {2023},
url = {https://doi.org/10.1145/3571266},
doi = {10.1145/3571266},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BaumannGMTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/0001MMZ23,
author = {Pascal Baumann and
Khushraj Madnani and
Filip Mazowiecki and
Georg Zetzsche},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Monus Semantics in Vector Addition Systems with States},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {10:1--10:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.10},
doi = {10.4230/LIPICS.CONCUR.2023.10},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/0001MMZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AnandZ23,
author = {Ashwani Anand and
Georg Zetzsche},
editor = {Guillermo A. P{\'{e}}rez and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Priority Downward Closures},
booktitle = {34th International Conference on Concurrency Theory, {CONCUR} 2023,
September 18-23, 2023, Antwerp, Belgium},
series = {LIPIcs},
volume = {279},
pages = {39:1--39:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.39},
doi = {10.4230/LIPICS.CONCUR.2023.39},
timestamp = {Sat, 09 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AnandZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BaumannDGIMSZ23,
author = {Pascal Baumann and
Flavio D'Alessandro and
Moses Ganardi and
Oscar H. Ibarra and
Ian McQuillan and
Lia Sch{\"{u}}tze and
Georg Zetzsche},
editor = {Orna Kupferman and
Pawel Sobocinski},
title = {Unboundedness Problems for Machines with Reversal-Bounded Counters},
booktitle = {Foundations of Software Science and Computation Structures - 26th
International Conference, FoSSaCS 2023, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2023,
Paris, France, April 22-27, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13992},
pages = {240--264},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30829-1\_12},
doi = {10.1007/978-3-031-30829-1\_12},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/BaumannDGIMSZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KocherZ23,
author = {Chris K{\"{o}}cher and
Georg Zetzsche},
editor = {Patricia Bouyer and
Srikanth Srinivasan},
title = {Regular Separators for {VASS} Coverability Languages},
booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
{IIIT} Hyderabad, Telangana, India},
series = {LIPIcs},
volume = {284},
pages = {15:1--15:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.15},
doi = {10.4230/LIPICS.FSTTCS.2023.15},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/KocherZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/FinkelKMMZ23,
author = {Alain Finkel and
Shankara Narayanan Krishna and
Khushraj Madnani and
Rupak Majumdar and
Georg Zetzsche},
editor = {Patricia Bouyer and
Srikanth Srinivasan},
title = {Counter Machines with Infrequent Reversals},
booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
{IIIT} Hyderabad, Telangana, India},
series = {LIPIcs},
volume = {284},
pages = {42:1--42:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.42},
doi = {10.4230/LIPICS.FSTTCS.2023.42},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/FinkelKMMZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/0001GMTZ23,
author = {Pascal Baumann and
Moses Ganardi and
Rupak Majumdar and
Ramanathan S. Thinniyam and
Georg Zetzsche},
editor = {Kousha Etessami and
Uriel Feige and
Gabriele Puppis},
title = {Context-Bounded Analysis of Concurrent Programs (Invited Talk)},
booktitle = {50th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2023, July 10-14, 2023, Paderborn, Germany},
series = {LIPIcs},
volume = {261},
pages = {3:1--3:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.3},
doi = {10.4230/LIPICS.ICALP.2023.3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/0001GMTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/0001GMTZ23a,
author = {Pascal Baumann and
Moses Ganardi and
Rupak Majumdar and
Ramanathan S. Thinniyam and
Georg Zetzsche},
editor = {Kousha Etessami and
Uriel Feige and
Gabriele Puppis},
title = {Checking Refinement of Asynchronous Programs Against Context-Free
Specifications},
booktitle = {50th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2023, July 10-14, 2023, Paderborn, Germany},
series = {LIPIcs},
volume = {261},
pages = {110:1--110:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2023.110},
doi = {10.4230/LIPICS.ICALP.2023.110},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/0001GMTZ23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/00010Z23,
author = {Pascal Baumann and
Roland Meyer and
Georg Zetzsche},
editor = {Petra Berenbrink and
Patricia Bouyer and
Anuj Dawar and
Mamadou Moustapha Kant{\'{e}}},
title = {Regular Separability in B{\"{u}}chi {VASS}},
booktitle = {40th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2023, March 7-9, 2023, Hamburg, Germany},
series = {LIPIcs},
volume = {254},
pages = {9:1--9:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.STACS.2023.9},
doi = {10.4230/LIPICS.STACS.2023.9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/00010Z23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-10198,
author = {Pascal Baumann and
Flavio D'Alessandro and
Moses Ganardi and
Oscar H. Ibarra and
Ian McQuillan and
Lia Sch{\"{u}}tze and
Georg Zetzsche},
title = {Unboundedness problems for machines with reversal-bounded counters},
journal = {CoRR},
volume = {abs/2301.10198},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.10198},
doi = {10.48550/ARXIV.2301.10198},
eprinttype = {arXiv},
eprint = {2301.10198},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-10198.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-11242,
author = {Pascal Baumann and
Roland Meyer and
Georg Zetzsche},
title = {Regular Separability in B{\"{u}}chi {VASS}},
journal = {CoRR},
volume = {abs/2301.11242},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.11242},
doi = {10.48550/ARXIV.2301.11242},
eprinttype = {arXiv},
eprint = {2301.11242},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-11242.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-13058,
author = {Pascal Baumann and
Moses Ganardi and
Rupak Majumdar and
Ramanathan S. Thinniyam and
Georg Zetzsche},
title = {Checking Refinement of Asynchronous Programs against Context-Free
Specifications},
journal = {CoRR},
volume = {abs/2306.13058},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.13058},
doi = {10.48550/ARXIV.2306.13058},
eprinttype = {arXiv},
eprint = {2306.13058},
timestamp = {Tue, 27 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-13058.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-07460,
author = {Ashwani Anand and
Georg Zetzsche},
title = {Priority Downward Closures},
journal = {CoRR},
volume = {abs/2307.07460},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.07460},
doi = {10.48550/ARXIV.2307.07460},
eprinttype = {arXiv},
eprint = {2307.07460},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-07460.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-14926,
author = {Pascal Baumann and
Khushraj Madnani and
Filip Mazowiecki and
Georg Zetzsche},
title = {Monus semantics in vector addition systems with states},
journal = {CoRR},
volume = {abs/2308.14926},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.14926},
doi = {10.48550/ARXIV.2308.14926},
eprinttype = {arXiv},
eprint = {2308.14926},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-14926.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-16798,
author = {A. R. Balasubramanian and
Rupak Majumdar and
Ramanathan S. Thinniyam and
Georg Zetzsche},
title = {Reachability in Continuous Pushdown {VASS}},
journal = {CoRR},
volume = {abs/2310.16798},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.16798},
doi = {10.48550/ARXIV.2310.16798},
eprinttype = {arXiv},
eprint = {2310.16798},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-16798.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-04031,
author = {Pascal Bergstr{\"{a}}{\ss}er and
Moses Ganardi and
Anthony W. Lin and
Georg Zetzsche},
title = {Ramsey Quantifiers in Linear Arithmetics},
journal = {CoRR},
volume = {abs/2311.04031},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.04031},
doi = {10.48550/ARXIV.2311.04031},
eprinttype = {arXiv},
eprint = {2311.04031},
timestamp = {Tue, 14 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-04031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/MajumdarTZ22,
author = {Rupak Majumdar and
Ramanathan S. Thinniyam and
Georg Zetzsche},
title = {General Decidability Results for Asynchronous Shared-Memory Programs:
Higher-Order and Beyond},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {4},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(4:2)2022},
doi = {10.46298/LMCS-18(4:2)2022},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/MajumdarTZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BaumannMTZ22,
author = {Pascal Baumann and
Rupak Majumdar and
Ramanathan S. Thinniyam and
Georg Zetzsche},
title = {Context-bounded verification of thread pools},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--28},
year = {2022},
url = {https://doi.org/10.1145/3498678},
doi = {10.1145/3498678},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BaumannMTZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GanardiMPSZ22,
author = {Moses Ganardi and
Rupak Majumdar and
Andreas Pavlogiannis and
Lia Sch{\"{u}}tze and
Georg Zetzsche},
editor = {Mikolaj Bojanczyk and
Emanuela Merelli and
David P. Woodruff},
title = {Reachability in Bidirected Pushdown {VASS}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2022, July 4-8, 2022, Paris, France},
series = {LIPIcs},
volume = {229},
pages = {124:1--124:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2022.124},
doi = {10.4230/LIPICS.ICALP.2022.124},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/GanardiMPSZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GanardiMZ22,
author = {Moses Ganardi and
Rupak Majumdar and
Georg Zetzsche},
editor = {Christel Baier and
Dana Fisman},
title = {The Complexity of Bidirected Reachability in Valence Systems},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {26:1--26:15},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533345},
doi = {10.1145/3531130.3533345},
timestamp = {Tue, 09 Aug 2022 12:30:54 +0200},
biburl = {https://dblp.org/rec/conf/lics/GanardiMZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BergstrasserGLZ22,
author = {Pascal Bergstr{\"{a}}{\ss}er and
Moses Ganardi and
Anthony W. Lin and
Georg Zetzsche},
editor = {Christel Baier and
Dana Fisman},
title = {Ramsey Quantifiers over Automatic Structures: Complexity and Applications
to Verification},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {28:1--28:14},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533346},
doi = {10.1145/3531130.3533346},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BergstrasserGLZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LohreyRZ22,
author = {Markus Lohrey and
Andreas Rosowski and
Georg Zetzsche},
editor = {Stefan Szeider and
Robert Ganian and
Alexandra Silva},
title = {Membership Problems in Finite Groups},
booktitle = {47th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2022, August 22-26, 2022, Vienna, Austria},
series = {LIPIcs},
volume = {241},
pages = {71:1--71:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2022.71},
doi = {10.4230/LIPICS.MFCS.2022.71},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/LohreyRZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BaumannGTZ22,
author = {Pascal Baumann and
Moses Ganardi and
Ramanathan S. Thinniyam and
Georg Zetzsche},
editor = {Petra Berenbrink and
Benjamin Monmege},
title = {Existential Definability over the Subword Ordering},
booktitle = {39th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2022, March 15-18, 2022, Marseille, France (Virtual Conference)},
series = {LIPIcs},
volume = {219},
pages = {7:1--7:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.STACS.2022.7},
doi = {10.4230/LIPICS.STACS.2022.7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/BaumannGTZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rp/2022,
editor = {Anthony W. Lin and
Georg Zetzsche and
Igor Potapov},
title = {Reachability Problems - 16th International Conference, {RP} 2022,
Kaiserslautern, Germany, October 17-21, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13608},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19135-0},
doi = {10.1007/978-3-031-19135-0},
isbn = {978-3-031-19134-3},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-11799,
author = {Moses Ganardi and
Rupak Majumdar and
Andreas Pavlogiannis and
Lia Sch{\"{u}}tze and
Georg Zetzsche},
title = {Reachability in Bidirected Pushdown {VASS}},
journal = {CoRR},
volume = {abs/2204.11799},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.11799},
doi = {10.48550/ARXIV.2204.11799},
eprinttype = {arXiv},
eprint = {2204.11799},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-11799.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-09015,
author = {Pascal Bergstr{\"{a}}{\ss}er and
Moses Ganardi and
Anthony W. Lin and
Georg Zetzsche},
title = {Ramsey Quantifiers over Automatic Structures: Complexity and Applications
to Verification},
journal = {CoRR},
volume = {abs/2205.09015},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.09015},
doi = {10.48550/ARXIV.2205.09015},
eprinttype = {arXiv},
eprint = {2205.09015},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-09015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-11756,
author = {Markus Lohrey and
Andreas Rosowski and
Georg Zetzsche},
title = {Membership Problems in Finite Groups},
journal = {CoRR},
volume = {abs/2206.11756},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.11756},
doi = {10.48550/ARXIV.2206.11756},
eprinttype = {arXiv},
eprint = {2206.11756},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-11756.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-15642,
author = {Pascal Baumann and
Moses Ganardi and
Ramanathan S. Thinniyam and
Georg Zetzsche},
title = {Existential Definability over the Subword Ordering},
journal = {CoRR},
volume = {abs/2210.15642},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.15642},
doi = {10.48550/ARXIV.2210.15642},
eprinttype = {arXiv},
eprint = {2210.15642},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-15642.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Zetzsche21,
author = {Georg Zetzsche},
title = {The emptiness problem for valence automata over graph monoids},
journal = {Inf. Comput.},
volume = {277},
pages = {104583},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104583},
doi = {10.1016/J.IC.2020.104583},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Zetzsche21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BaumannMTZ21,
author = {Pascal Baumann and
Rupak Majumdar and
Ramanathan S. Thinniyam and
Georg Zetzsche},
title = {Context-bounded verification of liveness properties for multithreaded
shared-memory programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--31},
year = {2021},
url = {https://doi.org/10.1145/3434325},
doi = {10.1145/3434325},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BaumannMTZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/ShettyKZ21,
author = {Aneesh K. Shetty and
S. Krishna and
Georg Zetzsche},
editor = {Serge Haddad and
Daniele Varacca},
title = {Scope-Bounded Reachability in Valence Systems},
booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
August 24-27, 2021, Virtual Conference},
series = {LIPIcs},
volume = {203},
pages = {29:1--29:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.29},
doi = {10.4230/LIPICS.CONCUR.2021.29},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/ShettyKZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Zetzsche21,
author = {Georg Zetzsche},
editor = {Paul C. Bell and
Patrick Totzke and
Igor Potapov},
title = {Recent Advances on Reachability Problems for Valence Systems (Invited
Talk)},
booktitle = {Reachability Problems - 15th International Conference, {RP} 2021,
Liverpool, UK, October 25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13035},
pages = {52--65},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89716-1\_4},
doi = {10.1007/978-3-030-89716-1\_4},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rp/Zetzsche21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BergstrasserGZ21,
author = {Pascal Bergstr{\"{a}}{\ss}er and
Moses Ganardi and
Georg Zetzsche},
editor = {Markus Bl{\"{a}}ser and
Benjamin Monmege},
title = {A Characterization of Wreath Products Where Knapsack Is Decidable},
booktitle = {38th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2021, March 16-19, 2021, Saarbr{\"{u}}cken, Germany (Virtual
Conference)},
series = {LIPIcs},
volume = {187},
pages = {11:1--11:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.STACS.2021.11},
doi = {10.4230/LIPICS.STACS.2021.11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BergstrasserGZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/MajumdarTZ21,
author = {Rupak Majumdar and
Ramanathan S. Thinniyam and
Georg Zetzsche},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {General Decidability Results for Asynchronous Shared-Memory Programs:
Higher-Order and Beyond},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12651},
pages = {449--467},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72016-2\_24},
doi = {10.1007/978-3-030-72016-2\_24},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/MajumdarTZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-08611,
author = {Rupak Majumdar and
Ramanathan S. Thinniyam and
Georg Zetzsche},
title = {General Decidability Results for Asynchronous Shared-Memory Programs:
Higher-Order and Beyond},
journal = {CoRR},
volume = {abs/2101.08611},
year = {2021},
url = {https://arxiv.org/abs/2101.08611},
eprinttype = {arXiv},
eprint = {2101.08611},
timestamp = {Sat, 30 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-08611.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-00963,
author = {Aneesh K. Shetty and
S. Krishna and
Georg Zetzsche},
title = {Scope-Bounded Reachability in Valence Systems},
journal = {CoRR},
volume = {abs/2108.00963},
year = {2021},
url = {https://arxiv.org/abs/2108.00963},
eprinttype = {arXiv},
eprint = {2108.00963},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-00963.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-03654,
author = {Moses Ganardi and
Rupak Majumdar and
Georg Zetzsche},
title = {The complexity of bidirected reachability in valence systems},
journal = {CoRR},
volume = {abs/2110.03654},
year = {2021},
url = {https://arxiv.org/abs/2110.03654},
eprinttype = {arXiv},
eprint = {2110.03654},
timestamp = {Thu, 21 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-03654.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-09022,
author = {Pascal Baumann and
Rupak Majumdar and
Ramanathan S. Thinniyam and
Georg Zetzsche},
title = {Context-Bounded Verification of Thread Pools},
journal = {CoRR},
volume = {abs/2111.09022},
year = {2021},
url = {https://arxiv.org/abs/2111.09022},
eprinttype = {arXiv},
eprint = {2111.09022},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-09022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BaumannMTZ20,
author = {Pascal Baumann and
Rupak Majumdar and
Ramanathan S. Thinniyam and
Georg Zetzsche},
editor = {Artur Czumaj and
Anuj Dawar and
Emanuela Merelli},
title = {The Complexity of Bounded Context Switching with Dynamic Thread Creation},
booktitle = {47th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual
Conference)},
series = {LIPIcs},
volume = {168},
pages = {111:1--111:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2020.111},
doi = {10.4230/LIPICS.ICALP.2020.111},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BaumannMTZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CadilhacCZ20,
author = {Micha{\"{e}}l Cadilhac and
Dmitry Chistikov and
Georg Zetzsche},
editor = {Artur Czumaj and
Anuj Dawar and
Emanuela Merelli},
title = {Rational Subsets of Baumslag-Solitar Groups},
booktitle = {47th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual
Conference)},
series = {LIPIcs},
volume = {168},
pages = {116:1--116:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2020.116},
doi = {10.4230/LIPICS.ICALP.2020.116},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/CadilhacCZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/FigeliusGLZ20,
author = {Michael Figelius and
Moses Ganardi and
Markus Lohrey and
Georg Zetzsche},
editor = {Artur Czumaj and
Anuj Dawar and
Emanuela Merelli},
title = {The Complexity of Knapsack Problems in Wreath Products},
booktitle = {47th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual
Conference)},
series = {LIPIcs},
volume = {168},
pages = {126:1--126:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2020.126},
doi = {10.4230/LIPICS.ICALP.2020.126},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/FigeliusGLZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BojanczykKSZ20,
author = {Mikolaj Bojanczyk and
Edon Kelmendi and
Rafal Stefanski and
Georg Zetzsche},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {Extensions of {\(\omega\)}-Regular Languages},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {266--272},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394779},
doi = {10.1145/3373718.3394779},
timestamp = {Sat, 30 Sep 2023 09:52:07 +0200},
biburl = {https://dblp.org/rec/conf/lics/BojanczykKSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CzerwinskiZ20,
author = {Wojciech Czerwinski and
Georg Zetzsche},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {An Approach to Regular Separability in Vector Addition Systems},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {341--354},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394776},
doi = {10.1145/3373718.3394776},
timestamp = {Tue, 02 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/CzerwinskiZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/LohreyZ20,
author = {Markus Lohrey and
Georg Zetzsche},
editor = {Javier Esparza and
Daniel Kr{\'{a}}l'},
title = {Knapsack and the Power Word Problem in Solvable Baumslag-Solitar Groups},
booktitle = {45th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2020, August 24-28, 2020, Prague, Czech Republic},
series = {LIPIcs},
volume = {170},
pages = {67:1--67:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2020.67},
doi = {10.4230/LIPICS.MFCS.2020.67},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/LohreyZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-08086,
author = {Michael Figelius and
Moses Ganardi and
Markus Lohrey and
Georg Zetzsche},
title = {The complexity of knapsack problems in wreath products},
journal = {CoRR},
volume = {abs/2002.08086},
year = {2020},
url = {https://arxiv.org/abs/2002.08086},
eprinttype = {arXiv},
eprint = {2002.08086},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-08086.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-09393,
author = {Mikolaj Bojanczyk and
Edon Kelmendi and
Rafal Stefanski and
Georg Zetzsche},
title = {Extensions of {\(\omega\)}-Regular Languages},
journal = {CoRR},
volume = {abs/2002.09393},
year = {2020},
url = {https://arxiv.org/abs/2002.09393},
eprinttype = {arXiv},
eprint = {2002.09393},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-09393.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-11898,
author = {Micha{\"{e}}l Cadilhac and
Dmitry Chistikov and
Georg Zetzsche},
title = {Rational subsets of Baumslag-Solitar groups},
journal = {CoRR},
volume = {abs/2006.11898},
year = {2020},
url = {https://arxiv.org/abs/2006.11898},
eprinttype = {arXiv},
eprint = {2006.11898},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-11898.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-00111,
author = {Wojciech Czerwinski and
Georg Zetzsche},
title = {An Approach to Regular Separability in Vector Addition Systems},
journal = {CoRR},
volume = {abs/2007.00111},
year = {2020},
url = {https://arxiv.org/abs/2007.00111},
eprinttype = {arXiv},
eprint = {2007.00111},
timestamp = {Mon, 06 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-00111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-04581,
author = {Pascal Baumann and
Rupak Majumdar and
Ramanathan S. Thinniyam and
Georg Zetzsche},
title = {Context-Bounded Verification of Liveness Properties for Multithreaded
Shared-Memory Programs},
journal = {CoRR},
volume = {abs/2011.04581},
year = {2020},
url = {https://arxiv.org/abs/2011.04581},
eprinttype = {arXiv},
eprint = {2011.04581},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-04581.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-05825,
author = {Pascal Baumann and
Rupak Majumdar and
Ramanathan S. Thinniyam and
Georg Zetzsche},
title = {The complexity of bounded context switching with dynamic thread creation},
journal = {CoRR},
volume = {abs/2011.05825},
year = {2020},
url = {https://arxiv.org/abs/2011.05825},
eprinttype = {arXiv},
eprint = {2011.05825},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-05825.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KuskeZ19,
author = {Dietrich Kuske and
Georg Zetzsche},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Languages Ordered by the Subword Order},
booktitle = {Foundations of Software Science and Computation Structures - 22nd
International Conference, {FOSSACS} 2019, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2019,
Prague, Czech Republic, April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {348--364},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_20},
doi = {10.1007/978-3-030-17127-8\_20},
timestamp = {Fri, 31 Jan 2020 21:32:20 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/KuskeZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/ThinniyamZ19,
author = {Ramanathan S. Thinniyam and
Georg Zetzsche},
editor = {Arkadev Chattopadhyay and
Paul Gastin},
title = {Regular Separability and Intersection Emptiness Are Independent Problems},
booktitle = {39th {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019,
Bombay, India},
series = {LIPIcs},
volume = {150},
pages = {51:1--51:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2019.51},
doi = {10.4230/LIPICS.FSTTCS.2019.51},
timestamp = {Thu, 19 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/ThinniyamZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HaaseZ19,
author = {Christoph Haase and
Georg Zetzsche},
title = {Presburger arithmetic with stars, rational subsets of graph groups,
and nested zero tests},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--14},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785850},
doi = {10.1109/LICS.2019.8785850},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HaaseZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/SchmitzZ19,
author = {Sylvain Schmitz and
Georg Zetzsche},
editor = {Emmanuel Filiot and
Rapha{\"{e}}l M. Jungers and
Igor Potapov},
title = {Coverability Is Undecidable in One-Dimensional Pushdown Vector Addition
Systems with Resets},
booktitle = {Reachability Problems - 13th International Conference, {RP} 2019,
Brussels, Belgium, September 11-13, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11674},
pages = {193--201},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30806-3\_15},
doi = {10.1007/978-3-030-30806-3\_15},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rp/SchmitzZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-02194,
author = {Dietrich Kuske and
Georg Zetzsche},
title = {Languages ordered by the subword order},
journal = {CoRR},
volume = {abs/1901.02194},
year = {2019},
url = {http://arxiv.org/abs/1901.02194},
eprinttype = {arXiv},
eprint = {1901.02194},
timestamp = {Thu, 31 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-02194.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-07069,
author = {Sylvain Schmitz and
Georg Zetzsche},
title = {Coverability is Undecidable in One-dimensional Pushdown Vector Addition
Systems with Resets},
journal = {CoRR},
volume = {abs/1906.07069},
year = {2019},
url = {http://arxiv.org/abs/1906.07069},
eprinttype = {arXiv},
eprint = {1906.07069},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-07069.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-04038,
author = {Ramanathan S. Thinniyam and
Georg Zetzsche},
title = {Regular Separability and Intersection Emptiness are Independent Problems},
journal = {CoRR},
volume = {abs/1908.04038},
year = {2019},
url = {http://arxiv.org/abs/1908.04038},
eprinttype = {arXiv},
eprint = {1908.04038},
timestamp = {Mon, 19 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-04038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/LohreyZ18,
author = {Markus Lohrey and
Georg Zetzsche},
title = {Knapsack in Graph Groups},
journal = {Theory Comput. Syst.},
volume = {62},
number = {1},
pages = {192--246},
year = {2018},
url = {https://doi.org/10.1007/s00224-017-9808-3},
doi = {10.1007/S00224-017-9808-3},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/LohreyZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MeyerMZ18,
author = {Roland Meyer and
Sebastian Muskalla and
Georg Zetzsche},
editor = {Sven Schewe and
Lijun Zhang},
title = {Bounded Context Switching for Valence Systems},
booktitle = {29th International Conference on Concurrency Theory, {CONCUR} 2018,
September 4-7, 2018, Beijing, China},
series = {LIPIcs},
volume = {118},
pages = {12:1--12:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2018.12},
doi = {10.4230/LIPICS.CONCUR.2018.12},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/MeyerMZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CzerwinskiHZ18,
author = {Wojciech Czerwinski and
Piotr Hofman and
Georg Zetzsche},
editor = {Ioannis Chatzigiannakis and
Christos Kaklamanis and
D{\'{a}}niel Marx and
Donald Sannella},
title = {Unboundedness Problems for Languages of Vector Addition Systems},
booktitle = {45th International Colloquium on Automata, Languages, and Programming,
{ICALP} 2018, July 9-13, 2018, Prague, Czech Republic},
series = {LIPIcs},
volume = {107},
pages = {119:1--119:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2018.119},
doi = {10.4230/LIPICS.ICALP.2018.119},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/CzerwinskiHZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Zetzsche18,
author = {Georg Zetzsche},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Separability by piecewise testable languages and downward closures
beyond subwords},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {929--938},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209201},
doi = {10.1145/3209108.3209201},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Zetzsche18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GanardiKLZ18,
author = {Moses Ganardi and
Daniel K{\"{o}}nig and
Markus Lohrey and
Georg Zetzsche},
editor = {Rolf Niedermeier and
Brigitte Vall{\'{e}}e},
title = {Knapsack Problems for Wreath Products},
booktitle = {35th Symposium on Theoretical Aspects of Computer Science, {STACS}
2018, February 28 to March 3, 2018, Caen, France},
series = {LIPIcs},
volume = {96},
pages = {32:1--32:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.STACS.2018.32},
doi = {10.4230/LIPICS.STACS.2018.32},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/GanardiKLZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-06683,
author = {Wojciech Czerwinski and
Piotr Hofman and
Georg Zetzsche},
title = {Unboundedness problems for languages of vector addition systems},
journal = {CoRR},
volume = {abs/1802.06683},
year = {2018},
url = {http://arxiv.org/abs/1802.06683},
eprinttype = {arXiv},
eprint = {1802.06683},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-06683.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-07397,
author = {Georg Zetzsche},
title = {PTL-separability and closures for WQOs on words},
journal = {CoRR},
volume = {abs/1802.07397},
year = {2018},
url = {http://arxiv.org/abs/1802.07397},
eprinttype = {arXiv},
eprint = {1802.07397},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-07397.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-09703,
author = {Roland Meyer and
Sebastian Muskalla and
Georg Zetzsche},
title = {Bounded Context Switching for Valence Systems},
journal = {CoRR},
volume = {abs/1803.09703},
year = {2018},
url = {http://arxiv.org/abs/1803.09703},
eprinttype = {arXiv},
eprint = {1803.09703},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-09703.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/CzerwinskiMRZZ17,
author = {Wojciech Czerwinski and
Wim Martens and
Lorijn van Rooijen and
Marc Zeitoun and
Georg Zetzsche},
title = {A Characterization for Decidable Separability by Piecewise Testable
Languages},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {19},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/DMTCS-19-4-1},
doi = {10.23638/DMTCS-19-4-1},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/CzerwinskiMRZZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/ZetzscheKL17,
author = {Georg Zetzsche and
Dietrich Kuske and
Markus Lohrey},
title = {On Boolean Closed Full Trios and Rational Kripke Frames},
journal = {Theory Comput. Syst.},
volume = {60},
number = {3},
pages = {438--472},
year = {2017},
url = {https://doi.org/10.1007/s00224-016-9694-0},
doi = {10.1007/S00224-016-9694-0},
timestamp = {Wed, 26 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/ZetzscheKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/HalfonSZ17,
author = {Simon Halfon and
Philippe Schnoebelen and
Georg Zetzsche},
title = {Decidability, complexity, and expressiveness of first-order logic
over the subword ordering},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005141},
doi = {10.1109/LICS.2017.8005141},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/HalfonSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/LohreyZ17,
author = {Markus Lohrey and
Georg Zetzsche},
editor = {Heribert Vollmer and
Brigitte Vall{\'{e}}e},
title = {The Complexity of Knapsack in Graph Groups},
booktitle = {34th Symposium on Theoretical Aspects of Computer Science, {STACS}
2017, March 8-11, 2017, Hannover, Germany},
series = {LIPIcs},
volume = {66},
pages = {52:1--52:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.STACS.2017.52},
doi = {10.4230/LIPICS.STACS.2017.52},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/LohreyZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HalfonSZ17,
author = {Simon Halfon and
Philippe Schnoebelen and
Georg Zetzsche},
title = {Decidability, Complexity, and Expressiveness of First-Order Logic
Over the Subword Ordering},
journal = {CoRR},
volume = {abs/1701.07470},
year = {2017},
url = {http://arxiv.org/abs/1701.07470},
eprinttype = {arXiv},
eprint = {1701.07470},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HalfonSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-09598,
author = {Moses Ganardi and
Daniel K{\"{o}}nig and
Markus Lohrey and
Georg Zetzsche},
title = {Knapsack Problems for Wreath Products},
journal = {CoRR},
volume = {abs/1709.09598},
year = {2017},
url = {http://arxiv.org/abs/1709.09598},
eprinttype = {arXiv},
eprint = {1709.09598},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-09598.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-07528,
author = {Georg Zetzsche},
title = {The Emptiness Problem for Valence Automata over Graph Monoids},
journal = {CoRR},
volume = {abs/1710.07528},
year = {2017},
url = {http://arxiv.org/abs/1710.07528},
eprinttype = {arXiv},
eprint = {1710.07528},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-07528.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Zetzsche16,
author = {Georg Zetzsche},
title = {Monoids as Storage Mechanisms},
school = {Kaiserslautern University of Technology, Germany},
year = {2016},
url = {https://kluedo.ub.rptu.de/frontdoor/index/index/docId/4400},
urn = {urn:nbn:de:hbz:386-kluedo-44003},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/dnb/Zetzsche16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmtcs/BroughCEZ16,
author = {Tara Brough and
Laura Ciobanu and
Murray Elder and
Georg Zetzsche},
title = {Permutations of context-free, {ET0L} and indexed languages},
journal = {Discret. Math. Theor. Comput. Sci.},
volume = {17},
number = {3},
pages = {167--178},
year = {2016},
url = {https://doi.org/10.46298/dmtcs.2164},
doi = {10.46298/DMTCS.2164},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dmtcs/BroughCEZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Zetzsche16,
author = {Georg Zetzsche},
title = {Monoids as Storage Mechanisms},
journal = {Bull. {EATCS}},
volume = {120},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/459},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Zetzsche16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amsmeet/KonigLZ16,
author = {Daniel K{\"{o}}nig and
Markus Lohrey and
Georg Zetzsche},
editor = {Delaram Kahrobaei and
Bren Cavallo and
David Garber},
title = {Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free
groups},
booktitle = {Algebra and Computer Science},
series = {Contemporary Mathematics},
volume = {677},
publisher = {American Mathematical Society},
year = {2016},
url = {http://www.ams.org/books/conm/677/13625},
timestamp = {Tue, 03 Nov 2020 17:58:27 +0100},
biburl = {https://dblp.org/rec/conf/amsmeet/KonigLZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Zetzsche16,
author = {Georg Zetzsche},
editor = {Ioannis Chatzigiannakis and
Michael Mitzenmacher and
Yuval Rabani and
Davide Sangiorgi},
title = {The Complexity of Downward Closure Comparisons},
booktitle = {43rd International Colloquium on Automata, Languages, and Programming,
{ICALP} 2016, July 11-15, 2016, Rome, Italy},
series = {LIPIcs},
volume = {55},
pages = {123:1--123:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ICALP.2016.123},
doi = {10.4230/LIPICS.ICALP.2016.123},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Zetzsche16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AtigCHKSZ16,
author = {Mohamed Faouzi Atig and
Dmitry Chistikov and
Piotr Hofman and
K. Narayan Kumar and
Prakash Saivasan and
Georg Zetzsche},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {The complexity of regular abstractions of one-counter languages},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {207--216},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934561},
doi = {10.1145/2933575.2934561},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AtigCHKSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DOsualdoMZ16,
author = {Emanuele D'Osualdo and
Roland Meyer and
Georg Zetzsche},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {First-order logic with reachability for infinite-state systems},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {457--466},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2934552},
doi = {10.1145/2933575.2934552},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/DOsualdoMZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/LohreyZ16,
author = {Markus Lohrey and
Georg Zetzsche},
editor = {Nicolas Ollinger and
Heribert Vollmer},
title = {Knapsack in Graph Groups, HNN-Extensions and Amalgamated Products},
booktitle = {33rd Symposium on Theoretical Aspects of Computer Science, {STACS}
2016, February 17-20, 2016, Orl{\'{e}}ans, France},
series = {LIPIcs},
volume = {47},
pages = {50:1--50:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.STACS.2016.50},
doi = {10.4230/LIPICS.STACS.2016.50},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/LohreyZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AtigCHKSZ16,
author = {Mohamed Faouzi Atig and
Dmitry Chistikov and
Piotr Hofman and
K. Narayan Kumar and
Prakash Saivasan and
Georg Zetzsche},
title = {Complexity of regular abstractions of one-counter languages},
journal = {CoRR},
volume = {abs/1602.03419},
year = {2016},
url = {http://arxiv.org/abs/1602.03419},
eprinttype = {arXiv},
eprint = {1602.03419},
timestamp = {Sat, 26 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AtigCHKSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BroughCEZ16,
author = {Tara Brough and
Laura Ciobanu and
Murray Elder and
Georg Zetzsche},
title = {Permutations of context-free, {ET0L} and indexed languages},
journal = {CoRR},
volume = {abs/1604.05431},
year = {2016},
url = {http://arxiv.org/abs/1604.05431},
eprinttype = {arXiv},
eprint = {1604.05431},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BroughCEZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Zetzsche16,
author = {Georg Zetzsche},
title = {The complexity of downward closure comparisons},
journal = {CoRR},
volume = {abs/1605.03149},
year = {2016},
url = {http://arxiv.org/abs/1605.03149},
eprinttype = {arXiv},
eprint = {1605.03149},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Zetzsche16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LohreyZ16,
author = {Markus Lohrey and
Georg Zetzsche},
title = {The Complexity of Knapsack in Graph Groups},
journal = {CoRR},
volume = {abs/1610.00373},
year = {2016},
url = {http://arxiv.org/abs/1610.00373},
eprinttype = {arXiv},
eprint = {1610.00373},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LohreyZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LohreySZ15,
author = {Markus Lohrey and
Benjamin Steinberg and
Georg Zetzsche},
title = {Rational subsets and submonoids of wreath products},
journal = {Inf. Comput.},
volume = {243},
pages = {191--204},
year = {2015},
url = {https://doi.org/10.1016/j.ic.2014.12.014},
doi = {10.1016/J.IC.2014.12.014},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LohreySZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Zetzsche15,
author = {Georg Zetzsche},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {An Approach to Computing Downward Closures},
booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9135},
pages = {440--451},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_35},
doi = {10.1007/978-3-662-47666-6\_35},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Zetzsche15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/Zetzsche15,
author = {Georg Zetzsche},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {The Emptiness Problem for Valence Automata or: Another Decidable Extension
of Petri Nets},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {166--178},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_15},
doi = {10.1007/978-3-319-24537-9\_15},
timestamp = {Wed, 06 Nov 2019 16:45:49 +0100},
biburl = {https://dblp.org/rec/conf/rp/Zetzsche15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Zetzsche15,
author = {Georg Zetzsche},
editor = {Ernst W. Mayr and
Nicolas Ollinger},
title = {Computing Downward Closures for Stacked Counter Automata},
booktitle = {32nd International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2015, March 4-7, 2015, Garching, Germany},
series = {LIPIcs},
volume = {30},
pages = {743--756},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.STACS.2015.743},
doi = {10.4230/LIPICS.STACS.2015.743},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/Zetzsche15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Zetzsche15,
author = {Georg Zetzsche},
title = {An approach to computing downward closures},
journal = {CoRR},
volume = {abs/1503.01068},
year = {2015},
url = {http://arxiv.org/abs/1503.01068},
eprinttype = {arXiv},
eprint = {1503.01068},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Zetzsche15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KonigLZ15,
author = {Daniel K{\"{o}}nig and
Markus Lohrey and
Georg Zetzsche},
title = {Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free
groups},
journal = {CoRR},
volume = {abs/1507.05145},
year = {2015},
url = {http://arxiv.org/abs/1507.05145},
eprinttype = {arXiv},
eprint = {1507.05145},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KonigLZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LohreyZ15,
author = {Markus Lohrey and
Georg Zetzsche},
title = {Knapsack in graph groups, HNN-extensions and amalgamated products},
journal = {CoRR},
volume = {abs/1509.05957},
year = {2015},
url = {http://arxiv.org/abs/1509.05957},
eprinttype = {arXiv},
eprint = {1509.05957},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LohreyZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/HuschenbettKZ14,
author = {Martin Huschenbett and
Dietrich Kuske and
Georg Zetzsche},
editor = {Erzs{\'{e}}bet Csuhaj{-}Varj{\'{u}} and
Martin Dietzfelbinger and
Zolt{\'{a}}n {\'{E}}sik},
title = {The Monoid of Queue Actions},
booktitle = {Mathematical Foundations of Computer Science 2014 - 39th International
Symposium, {MFCS} 2014, Budapest, Hungary, August 25-29, 2014. Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8634},
pages = {340--351},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44522-8\_29},
doi = {10.1007/978-3-662-44522-8\_29},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/HuschenbettKZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/LohreyZ14,
author = {Markus Lohrey and
Georg Zetzsche},
editor = {Ernst W. Mayr and
Natacha Portier},
title = {On Boolean closed full trios and rational Kripke frames},
booktitle = {31st International Symposium on Theoretical Aspects of Computer Science
{(STACS} 2014), {STACS} 2014, March 5-8, 2014, Lyon, France},
series = {LIPIcs},
volume = {25},
pages = {530--541},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.STACS.2014.530},
doi = {10.4230/LIPICS.STACS.2014.530},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/LohreyZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HuschenbettKZ14,
author = {Martin Huschenbett and
Dietrich Kuske and
Georg Zetzsche},
title = {The monoid of queue actions},
journal = {CoRR},
volume = {abs/1404.5479},
year = {2014},
url = {http://arxiv.org/abs/1404.5479},
eprinttype = {arXiv},
eprint = {1404.5479},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HuschenbettKZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Zetzsche14,
author = {Georg Zetzsche},
title = {Computing downward closures for stacked counter automata},
journal = {CoRR},
volume = {abs/1409.7922},
year = {2014},
url = {http://arxiv.org/abs/1409.7922},
eprinttype = {arXiv},
eprint = {1409.7922},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Zetzsche14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LohreySZ13,
author = {Markus Lohrey and
Benjamin Steinberg and
Georg Zetzsche},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {Rational Subsets and Submonoids of Wreath Products},
booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7966},
pages = {361--372},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39212-2\_33},
doi = {10.1007/978-3-642-39212-2\_33},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LohreySZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Zetzsche13,
author = {Georg Zetzsche},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {Silent Transitions in Automata with Storage},
booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7966},
pages = {434--445},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39212-2\_39},
doi = {10.1007/978-3-642-39212-2\_39},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Zetzsche13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BuckheisterZ13,
author = {P. Buckheister and
Georg Zetzsche},
editor = {Krishnendu Chatterjee and
Jir{\'{\i}} Sgall},
title = {Semilinearity and Context-Freeness of Languages Accepted by Valence
Automata},
booktitle = {Mathematical Foundations of Computer Science 2013 - 38th International
Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8087},
pages = {231--242},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40313-2\_22},
doi = {10.1007/978-3-642-40313-2\_22},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BuckheisterZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-2455,
author = {Markus Lohrey and
Benjamin Steinberg and
Georg Zetzsche},
title = {Rational Subsets and Submonoids of Wreath Products},
journal = {CoRR},
volume = {abs/1302.2455},
year = {2013},
url = {http://arxiv.org/abs/1302.2455},
eprinttype = {arXiv},
eprint = {1302.2455},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-2455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-3798,
author = {Georg Zetzsche},
title = {Silent Transitions in Automata with Storage},
journal = {CoRR},
volume = {abs/1302.3798},
year = {2013},
url = {http://arxiv.org/abs/1302.3798},
eprinttype = {arXiv},
eprint = {1302.3798},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-3798.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BuckheisterZ13,
author = {P. Buckheister and
Georg Zetzsche},
title = {Semilinearity and Context-Freeness of Languages Accepted by Valence
Automata},
journal = {CoRR},
volume = {abs/1306.3260},
year = {2013},
url = {http://arxiv.org/abs/1306.3260},
eprinttype = {arXiv},
eprint = {1306.3260},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BuckheisterZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/Zetzsche11,
author = {Georg Zetzsche},
title = {Toward Understanding the Generative Capacity of Erasing Rules in Matrix
Grammars},
journal = {Int. J. Found. Comput. Sci.},
volume = {22},
number = {2},
pages = {411--426},
year = {2011},
url = {https://doi.org/10.1142/S0129054111008118},
doi = {10.1142/S0129054111008118},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijfcs/Zetzsche11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Zetzsche11,
author = {Georg Zetzsche},
editor = {Giancarlo Mauri and
Alberto Leporati},
title = {A Sufficient Condition for Erasing Productions to Be Avoidable},
booktitle = {Developments in Language Theory - 15th International Conference, {DLT}
2011, Milan, Italy, July 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6795},
pages = {452--463},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22321-1\_39},
doi = {10.1007/978-3-642-22321-1\_39},
timestamp = {Sat, 09 Apr 2022 12:37:59 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Zetzsche11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Zetzsche11,
author = {Georg Zetzsche},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {On the Capabilities of Grammars, Automata, and Transducers Controlled
by Monoids},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6756},
pages = {222--233},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22012-8\_17},
doi = {10.1007/978-3-642-22012-8\_17},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Zetzsche11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-3361,
author = {Georg Zetzsche},
title = {On the capabilities of grammars, automata, and transducers controlled
by monoids},
journal = {CoRR},
volume = {abs/1103.3361},
year = {2011},
url = {http://arxiv.org/abs/1103.3361},
eprinttype = {arXiv},
eprint = {1103.3361},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-3361.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Zetzsche10,
author = {Georg Zetzsche},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {On Erasing Productions in Random Context Grammars},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {175--186},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_15},
doi = {10.1007/978-3-642-14162-1\_15},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Zetzsche10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KudlekTZ09,
author = {Manfred Kudlek and
Patrick Totzke and
Georg Zetzsche},
title = {Multiset Pushdown Automata},
journal = {Fundam. Informaticae},
volume = {93},
number = {1-3},
pages = {221--233},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0098},
doi = {10.3233/FI-2009-0098},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/KudlekTZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KudlekTZ09a,
author = {Manfred Kudlek and
Patrick Totzke and
Georg Zetzsche},
title = {Properties of Multiset Language Classes Defined by Multiset Pushdown
Automata},
journal = {Fundam. Informaticae},
volume = {93},
number = {1-3},
pages = {235--244},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0099},
doi = {10.3233/FI-2009-0099},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/KudlekTZ09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlt/Zetzsche09,
author = {Georg Zetzsche},
editor = {Volker Diekert and
Dirk Nowotka},
title = {Erasing in Petri Net Languages and Matrix Grammars},
booktitle = {Developments in Language Theory, 13th International Conference, {DLT}
2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5583},
pages = {490--501},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02737-6\_40},
doi = {10.1007/978-3-642-02737-6\_40},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/dlt/Zetzsche09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FarwerJKRZ08,
author = {Berndt Farwer and
Matthias Jantzen and
Manfred Kudlek and
Heiko R{\"{o}}lke and
Georg Zetzsche},
title = {Petri Net Controlled Finite Automata},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {111--121},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-09},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/FarwerJKRZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/JantzenKZ08,
author = {Matthias Jantzen and
Manfred Kudlek and
Georg Zetzsche},
title = {Language Classes Defined by Concurrent Finite Automata},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {267--280},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-19},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/JantzenKZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/JantzenZ08,
author = {Matthias Jantzen and
Georg Zetzsche},
editor = {Kees M. van Hee and
R{\"{u}}diger Valk},
title = {Labeled Step Sequences in Petri Nets},
booktitle = {Applications and Theory of Petri Nets, 29th International Conference,
{PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5062},
pages = {270--287},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68746-7\_19},
doi = {10.1007/978-3-540-68746-7\_19},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/JantzenZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-13 00:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
