Volker Diekert

Generating author description...

All published works

Action	Title	Year	Authors
+	Decidability of Membership Problems for Flat Rational Subsets of $\boldsymbol{{\textrm{GL}}(2,\boldsymbol{{\mathbb{Q}}})}$ and Singular Matrices	2024	Volker Diekert И.И. Потапов Pavel Semukhin
+	2 Elementary number theory	2023	Volker Diekert Manfred Kufleitner Gerhard Rosenberger Ulrich Hertrampf
+ PDF Chat	Regular matching problems for infinite trees	2022	C. Camino Volker Diekert Besik Dundua Mircea Marin Géraud Sénizergues
+	Reachability Games and Parity Games	2022	Volker Diekert Manfred Kufleitner
+ PDF Chat	Reachability Games and Parity Games	2022	Volker Diekert Manfred Kufleitner
+ PDF Chat	Properties of Graphs Specified by a Regular Language	2021	Volker Diekert Henning Fernau Petra Wolf
+	Properties of Graphs Specified by a Regular Language	2021	Volker Diekert Henning Fernau Petra Wolf
+	Regular matching problems for infinite trees	2020	C. Camino Volker Diekert Besik Dundua Mircea Marin Géraud Sénizergues
+ PDF Chat	Solutions to twisted word equations and equations in virtually free groups	2019	Volker Diekert Murray Elder
+	Decidability of membership problems for flat rational subsets of $\mathrm{GL}(2,\mathbb{Q})$ and singular matrices	2019	Volker Diekert Igor Potapov Pavel Semukhin
+	Algorithmic Problems in Group Theory (Dagstuhl Seminar 19131).	2019	Volker Diekert Olga Kharlampovich Markus Lohrey Alexei Myasnikov
+	Decidability of membership problems for flat rational subsets of $\mathrm{GL}(2,\mathbb{Q})$ and singular matrices	2019	Volker Diekert И.И. Потапов Pavel Semukhin
+ PDF Chat	Characterizing classes of regular languages using prefix codes of bounded synchronization delay	2017	Volker Diekert Tobias Walter
+	Solutions of Twisted Word Equations, EDT0L Languages, and Context-Free Groups.	2017	Volker Diekert Murray Elder
+	Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions	2017	Volker Diekert Lukas Fleischer
+	Solutions to twisted word equations and equations in virtually free groups	2017	Volker Diekert Murray Elder
+	Solutions of twisted word equations, EDT0L languages, and context-free groups	2017	Volker Diekert Murray Elder
+ PDF Chat	Context-Free Groups and Bass–Serre Theory	2017	Volker Diekert A. Weiss
+	Algorithmic and Geometric Topics Around Free Groups and Automorphisms	2017	Javier Aramayona Volker Diekert Christopher J. Leininger Pedro V. Silva A. Weiss
+ PDF Chat	Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions	2017	Volker Diekert Lukas Fleischer
+	Church-Rosser Systems, Codes with Bounded Synchronization Delay and Local Rees Extensions	2017	Volker Diekert Lukas Fleischer
+	Solutions to twisted word equations and equations in virtually free groups	2017	Volker Diekert Murray Elder
+	Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem	2016	Volker Diekert Alexei Myasnikov A. Weiss
+	Finding all solutions of equations in free groups and monoids with involution	2016	Volker Diekert Artur Jeż Wojciech Plandowski
+ PDF Chat	Equations Over Free Inverse Monoids with Idempotent Variables	2016	Volker Diekert Florent Martin Géraud Sénizergues Pedro V. Silva
+ PDF Chat	Solution sets for equations over free groups are EDT0L languages	2016	Laura Ciobanu Volker Diekert Murray Elder
+ PDF Chat	3. Number theoretic algorithms	2016	Volker Diekert Manfred Kufleitner Gerhard Rosenberger Ulrich Hertrampf
+	8. Discrete infinite groups	2016	Volker Diekert Manfred Kufleitner Gerhard Rosenberger Ulrich Hertrampf
+	Characterizing classes of regular languages using prefix codes of bounded synchronization delay	2016	Volker Diekert Tobias Walter
+ PDF Chat	Conjugacy in Baumslag’s Group, Generic Case Complexity, and Division in Power Circuits	2016	Volker Diekert Alexei Myasnikov A. Weiss
+	Solutions of Word Equations over Partially Commutative Structures	2016	Volker Diekert Artur Jeż Manfred Kufleitner
+	Solutions of word equations over partially commutative structures	2016	Volker Diekert Artur Jeż Manfred Kufleitner
+	Characterizing classes of regular languages using prefix codes of bounded synchronization delay	2016	Volker Diekert Tobias Walter
+	Logspace computations in graph products	2015	Volker Diekert Jonathan Kausch
+ PDF Chat	Regular Languages Are Church-Rosser Congruential	2015	Volker Diekert Manfred Kufleitner Klaus Reinhardt Tobias Walter
+ PDF Chat	QuickHeapsort: Modifications and Improved Analysis	2015	Volker Diekert A. Weiss
+	Solution sets for equations over free groups are EDT0L languages	2015	Laura Ciobanu Volker Diekert Murray Elder
+ PDF Chat	A Note on Monitors and Büchi automata	2015	Volker Diekert Anca Muscholl Igor Walukiewicz
+ PDF Chat	A Note on Monitors and Büchi automata	2015	Volker Diekert Anca Muscholl Igor Walukiewicz
+	More Than 1700 Years of Word Equations	2015	Volker Diekert
+	A survey on the local divisor technique	2015	Volker Diekert Manfred Kufleitner
+ PDF Chat	Amenability of Schreier Graphs and Strongly Generic Algorithms for the Conjugacy Problem	2015	Volker Diekert Alexei Myasnikov A. Weiss
+	Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem	2015	Volker Diekert Alexei Myasnikov A. Weiss
+ PDF Chat	SLP compression for solutions of equations with constraints in free and hyperbolic groups	2015	Volker Diekert Olga Kharlampovich Atefeh Mohajeri Moghaddam
+	A Note on Monitors and Büchi Automata	2015	Volker Diekert Anca Muscholl Igor Walukiewicz
+	Solution sets for equations over free groups are EDT0L languages -- ICALP 2015 version	2015	Laura Ciobanu Volker Diekert Murray Elder
+ PDF Chat	Equations over Free Inverse Monoids with Idempotent Variables	2015	Volker Diekert Florent Martin Géraud Sénizergues Pedro V. Silva
+ PDF Chat	Solution Sets for Equations over Free Groups are EDT0L Languages	2015	Laura Ciobanu Volker Diekert Murray Elder
+ PDF Chat	More Than 1700 Years of Word Equations	2015	Volker Diekert
+	Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem	2015	Volker Diekert Alexei Myasnikov A. Weiss
+	More Than 1700 Years of Word Equations	2015	Volker Diekert
+	Solution sets for equations over free groups are EDT0L languages	2015	Laura Ciobanu Volker Diekert Murray Elder
+	A Note on Monitors and Büchi automata	2015	Volker Diekert Anca Muscholl Igor Walukiewicz
+	Equations over free inverse monoids with idempotent variables	2014	Volker Diekert Florent Martin Géraud Sénizergues Pedro V. Silva
+	A Survey on the Local Divisor Technique	2014	Volker Diekert Manfred Kufleitner
+ PDF Chat	Logspace computations in graph products	2014	Volker Diekert Jonathan Kausch
+	Finding All Solutions of Equations in Free Groups and Monoids with Involution	2014	Volker Diekert Artur Jeż Wojciech Plandowski
+ PDF Chat	Conjugacy in Baumslag’s Group, Generic Case Complexity, and Division in Power Circuits	2014	Volker Diekert Alexei Myasnikov A. Weiss
+ PDF Chat	Finding All Solutions of Equations in Free Groups and Monoids with Involution	2014	Volker Diekert Artur Jeż Wojciech Plandowski
+	A Survey on the Local Divisor Technique	2014	Volker Diekert Manfred Kufleitner
+	Finding All Solutions of Equations in Free Groups and Monoids with Involution	2014	Volker Diekert Artur Jeż Wojciech Plandowski
+	Equations over free inverse monoids with idempotent variables	2014	Volker Diekert Florent Martin Géraud Sénizergues Pedro V. Silva
+	Conjugacy in Baumslag's group, generic case complexity, and division in power circuits	2013	Volker Diekert Alexei Miasnikov A. Weiss
+	Logspace computations in graph products	2013	Volker Diekert Jonathan Kausch
+	SLP compression for solutions of equations with constraints in free and hyperbolic groups	2013	Volker Diekert Olga Kharlampovich Atefeh Mohajeri Moghaddam
+ PDF Chat	CONTEXT-FREE GROUPS AND THEIR STRUCTURE TREES	2013	Volker Diekert A. Weiss
+ PDF Chat	QuickHeapsort: Modifications and Improved Analysis	2013	Volker Diekert A. Weiss
+	Context-Free Groups and Bass-Serre Theory	2013	Volker Diekert A. Weiss
+	SLP compression for solutions of equations with constraints in free and hyperbolic groups	2013	Volker Diekert Olga Kharlampovich Atefeh Mohajeri Moghaddam
+	Conjugacy in Baumslag's group, generic case complexity, and division in power circuits	2013	Volker Diekert Alexei Miasnikov A. Weiss
+	Logspace computations in graph products	2013	Volker Diekert Jonathan Kausch
+	EFFICIENT ALGORITHMS FOR HIGHLY COMPRESSED DATA: THE WORD PROBLEM IN HIGMAN'S GROUP IS IN P	2012	Volker Diekert Jürn Laun Alexander Ushakov
+ PDF Chat	GROUP EXTENSIONS OVER INFINITE WORDS	2012	Volker Diekert Alexei Myasnikov
+	Deciding regularity of hairpin completions of regular languages in polynomial time	2012	Volker Diekert Steffen Kopecki Víctor Mitrana
+	Efficient algorithms for highly compressed data: The Word Problem in Higman's group is in P	2012	Volker Diekert Jürn Laun Alexander Ushakov
+	Regular Languages are Church-Rosser Congruential	2012	Volker Diekert Manfred Kufleitner Klaus Reinhardt Tobias Walter
+	Star-free languages are Church–Rosser congruential	2012	Volker Diekert Manfred Kufleitner Pascal Weil
+	Logspace Computations in Graph Groups and Coxeter Groups	2012	Volker Diekert Jonathan Kausch Markus Lohrey
+ PDF Chat	The Krohn-Rhodes Theorem and Local Divisors	2012	Volker Diekert Manfred Kufleitner Benjamin Steinberg
+	Logspace Computations in Coxeter Groups and Graph Groups	2012	Volker Diekert Jonathan Kausch Markus Lohrey
+ PDF Chat	Cyclic rewriting and conjugacy problems	2012	Volker Diekert Andrew J. Duncan Alexei Myasnikov
+ PDF Chat	Regular Languages Are Church-Rosser Congruential	2012	Volker Diekert Manfred Kufleitner Klaus Reinhardt Tobias Walter
+ PDF Chat	On Distributed Monitoring of Asynchronous Systems	2012	Volker Diekert Anca Muscholl
+	Regular Languages are Church-Rosser Congruential	2012	Volker Diekert Manfred Kufleitner Klaus Reinhardt Tobias Walter
+	Logspace Computations in Coxeter Groups and Graph Groups	2012	Volker Diekert Jonathan Kausch Markus Lohrey
+ PDF Chat	IT IS NL-COMPLETE TO DECIDE WHETHER A HAIRPIN COMPLETION OF REGULAR LANGUAGES IS REGULAR	2011	Volker Diekert Steffen Kopecki
+	The Krohn-Rhodes Theorem and Local Divisors	2011	Volker Diekert Manfred Kufleitner Benjamin Steinberg
+	Deciding Regularity of Hairpin Completions of Regular Languages in Polynomial Time	2011	Volker Diekert Steffen Kopecki Víctor Mitrana
+	Efficient algorithms for highly compressed data: The Word Problem in Higman's group is in P	2011	Volker Diekert Jürn Laun Alexander Ushakov
+ PDF Chat	ON COMPUTING GEODESICS IN BAUMSLAG–SOLITAR GROUPS	2011	Volker Diekert Jürn Laun
+	It Is NL-complete to Decide Whether a Hairpin Completion of Regular Languages Is Regular	2011	Volker Diekert Steffen Kopecki
+	The Krohn-Rhodes Theorem and Local Divisors	2011	Volker Diekert Manfred Kufleitner Benjamin Steinberg
+	Deciding Regularity of Hairpin Completions of Regular Languages in Polynomial Time	2011	Volker Diekert Steffen Kopecki Victor Mitrana
+	It Is NL-complete to Decide Whether a Hairpin Completion of Regular Languages Is Regular	2011	Volker Diekert Steffen Kopecki
+	Efficient algorithms for highly compressed data: The Word Problem in Higman's group is in P	2011	Volker Diekert Jürn Laun Alexander Ushakov
+	Group extensions over infinite words	2010	Volker Diekert Alexei Myasnikov
+ PDF Chat	Fragments of First-Order Logic over Infinite Words	2010	Volker Diekert Manfred Kufleitner
+ PDF Chat	Geodesic Rewriting Systems and Pregroups	2010	Volker Diekert Andrew J. Duncan Alexei Myasnikov
+	Group extensions over infinite words	2010	Volker Diekert Alexei Myasnikov
+	Fragments of First-Order Logic over Infinite Words (Extended Abstract)	2009	Volker Diekert Manfred Kufleitner
+	Fragments of First-Order Logic over Infinite Words.	2009	Volker Diekert Manfred Kufleitner
+	On Computing Geodesics in Baumslag-Solitar Groups	2009	Volker Diekert Jürn Laun
+	Fragments of first-order logic over infinite words	2009	Volker Diekert Manfred Kufleitner
+ PDF Chat	Partially commutative inverse monoids	2008	Volker Diekert Markus Lohrey Alexander R. Miller
+	ALGORITHMIC PROBLEMS ON INVERSE MONOIDS OVER VIRTUALLY FREE GROUPS	2008	Volker Diekert Nicole Ondrusch Markus Lohrey
+	SOLVABILITY OF EQUATIONS IN GRAPH GROUPS IS DECIDABLE	2006	Volker Diekert Anca Muscholl
+	Some remarks on presentations by finite Church-Rosser Thue systems	2006	Volker Diekert
+	Hotz-isomorphism theorems in formal language theory	2006	Volker Diekert Axel Möbus
+ PDF Chat	Partially Commutative Inverse Monoids	2006	Volker Diekert Markus Lohrey Alexander R. Miller
+	On hotz groups and homomorphic images of sentential form languages	2005	Volker Diekert
+	The existential theory of equations with rational constraints in free groups is PSPACE-complete	2005	Volker Diekert Claudio Gutiérrez Christian Hagenah
+	All-pairs nearly 2-approximate shortest paths in $O(n^2 \mathrm polylog n)$ time	2005	Surender Baswana Vishrut Goyal Sandeep Sen Volker Diekert Bruno Durand
+ PDF Chat	Existential and Positive Theories of Equations in Graph Products	2003	Volker Diekert Markus Lohrey
+	A NOTE ON THE EXISTENTIAL THEORY OF EQUATIONS IN PLAIN GROUPS	2002	Volker Diekert Markus Lohrey
+ PDF Chat	Existential and Positive Theories of Equations in Graph Products	2002	Volker Diekert Markus Lohrey
+	The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE—Complete	2001	Volker Diekert Claudio Gutiérrez Christian Hagenah
+	The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE-Complete	2001	Volker Diekert Claudio Gutiérrez Christian Hagenah
+	On codings of traces	1995	Volker Diekert Anca Muscholl Klaus Reinhardt
+	Möbius functions and confluent semi-commutations	1993	Volker Diekert
+	Word problems over traces which are solvable in linear time	1990	Volker Diekert
+ PDF Chat	Hotz-isomorphism theorems in formal language theory	1989	Volker Diekert Axel Möbus
+	Transitive orientations, möbius functions, and complete semi-thue systems for free partially commutative monoids	1988	Volker Diekert
+	On some variants of the Ehrenfeucht conjecture	1986	Volker Diekert
+	Commutative monoids have complete presentations by free (non-commutative) monoids	1986	Volker Diekert
+	DemuŠkin-Erzeugende und Einbettungsprobleme für elementar-abelsche 2-Erweiterungen zwei-adischer Zahlkörper	1983	Volker Diekert

Common Coauthors

Coauthor	Papers Together
Manfred Kufleitner	22
A. Weiss	14
Alexei Myasnikov	12
Markus Lohrey	10
Murray Elder	10
Tobias Walter	7
Jonathan Kausch	7
Anca Muscholl	7
Artur Jeż	6
Jürn Laun	6
Géraud Sénizergues	6
Steffen Kopecki	6
Laura Ciobanu	5
Pedro V. Silva	5
Igor Walukiewicz	4
Olga Kharlampovich	4
Alexander Ushakov	4
Florent Martin	4
Wojciech Plandowski	4
Klaus Reinhardt	4
Christian Hagenah	3
Claudio Gutiérrez	3
Ulrich Hertrampf	3
Atefeh Mohajeri Moghaddam	3
Pavel Semukhin	3
Benjamin Steinberg	3
Gerhard Rosenberger	3
Lukas Fleischer	3
C. Camino	2
Henning Fernau	2
Alexander R. Miller	2
Andrew J. Duncan	2
Axel Möbus	2
Alexei Miasnikov	2
Besik Dundua	2
Víctor Mitrana	2
И.И. Потапов	2
Mircea Marin	2
Igor Potapov	1
Petra Wolf	1
Surender Baswana	1
Klaus Reinhardt	1
Petra Wolf	1
Nicole Ondrusch	1
Javier Aramayona	1
Bruno Durand	1
Victor Mitrana	1
Pascal Weil	1
Bruno Durand	1
Sandeep Sen	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Combinatorial Group Theory	1990	Roger C. Lyndon Paul E. Schupp	13
+	The existential theory of equations with rational constraints in free groups is PSPACE-complete	2005	Volker Diekert Claudio Gutiérrez Christian Hagenah	12
+	Elementary theory of free non-abelian groups	2006	Olga Kharlampovich Alexei Myasnikov	12
+ PDF Chat	Geodesic Rewriting Systems and Pregroups	2010	Volker Diekert Andrew J. Duncan Alexei Myasnikov	11
+	On finite monoids having only trivial subgroups	1965	M. P. Schützenberger	10
+	DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP	1985	G. S. Makanin	10
+	The Word Problem in the Baumslag group with a non-elementary Dehn function is polynomial time decidable	2011	Alexei Myasnikov Alexander Ushakov Dong Wook Won	10
+ PDF Chat	Diophantine geometry over groups VIII: Stability	2013	Zlil Sela	9
+	Canonical representatives and equations in hyperbolic groups	1995	Eliyahu Rips Zlil Sela	9
+	Generic-case complexity, decision problems in group theory, and random walks	2003	Ilya Kapovich Alexei Myasnikov Paul E. Schupp Vladimir Shpilrain	9
+	Star-free languages are Church–Rosser congruential	2012	Volker Diekert Manfred Kufleitner Pascal Weil	8
+	Group Theory and Three-dimensional Manifolds	1971	John R. Stallings	8
+	Graph groups, coherence, and three-manifolds	1987	Carl Droms	8
+ PDF Chat	Combinatorial Group Theory	2001	Roger C. Lyndon Paul E. Schupp	7
+	SOLVABILITY OF EQUATIONS IN GRAPH GROUPS IS DECIDABLE	2006	Volker Diekert Anca Muscholl	7
+ PDF Chat	Some geodesic problems in groups	2010	Murray Elder Andrew Rechnitzer	7
+	Theories of HNN-Extensions and Amalgamated Products	2006	Markus Lohrey Géraud Sénizergues	7
+	Parallel computation over hyperbolic groups	1992	Jin‐Yi Cai	7
+ PDF Chat	Finding All Solutions of Equations in Free Groups and Monoids with Involution	2014	Volker Diekert Artur Jeż Wojciech Plandowski	7
+ PDF Chat	A characterisation of virtually free groups	2007	Robert H. Gilman Susan Hermiller Derek F. Holt Sarah Rees	6
+	Evolutionary algorithm solution of the multiple conjugacy search problem in groups, and its applications to cryptography	2012	Matthew J. Craven Jimbo Henri Claver	6
+ PDF Chat	Foliations for solving equations in groups: free, virtually free, and hyperbolic groups	2010	François Dahmani Vincent Guirardel	6
+ PDF Chat	GENERIC COMPLEXITY OF THE CONJUGACY PROBLEM IN HNN-EXTENSIONS AND ALGORITHMIC STRATIFICATION OF MILLER'S GROUPS	2007	Alexandre Borovik Alexei Myasnikov В. Н. Ремесленников	6
+ PDF Chat	Combinatorial Group Theory and Public Key Cryptography	2006	Vladimir Shpilrain Gabriel Zapata	6
+ PDF Chat	A non-cyclic one-relator group all of whose finite quotients are cyclic	1969	Gilbert Baumslag	6
+ PDF Chat	Problèmes combinatoires de commutation et réarrangements	1969	P. Cartier Dominique Foata	6
+	Authentication from Matrix Conjugation	2009	Dima Grigoriev Vladimir Shpilrain	6
+ PDF Chat	Logical aspects of Cayley-graphs: the group case	2004	Dietrich Kuske Markus Lohrey	5
+	On the rational subsets of the free group	1996	Géraud Sénizergues	5
+ PDF Chat	A bound on solutions of linear integer equalities and inequalities	1978	Joachim von zur Gathen Malte Sieveking	5
+ PDF Chat	The Krohn-Rhodes Theorem and Local Divisors	2012	Volker Diekert Manfred Kufleitner Benjamin Steinberg	5
+	The word and geodesic problems in free solvable groups	2010	Alexei Myasnikov В. А. Романьков Alexander Ushakov A. M. Vershik	5
+	On systems of equations in free groups	1994	A A Razborov	5
+	Groups Acting on Graphs	1989	Warren Dicks	5
+	The algebraic theory of semigroups	1964	A. H. Clifford G. B. Preston	5
+ PDF Chat	A linear-time algorithm to compute geodesics in solvable Baumslag–Solitar groups	2010	Murray Elder	5
+ PDF Chat	On linear and residual properties of graph products.	1999	Tim Hsu Daniel T. Wise	5
+ PDF Chat	The length of elements in free solvable groups	1993	Carl Droms Jacques Lewin Herman Servatius	5
+ PDF Chat	The set of minimal braids is co-NP-complete	1991	Mike Paterson Alexander Razborov	5
+ PDF Chat	DECIDABILITY AND COMPLEXITY IN AUTOMATIC MONOIDS	2005	Markus Lohrey	5
+ PDF Chat	On groups that have normal forms computable in logspace	2013	Murray Elder Gillian Z. Elston Gretchen Ostheimer	5
+	Cogrowth and amenability of discrete groups	1982	Joel M. Cohen	5
+ PDF Chat	Finite and infinite cyclic extensions of free groups	1973	A. Karrass Alfred Pietrowski D. Solitar	5
+	The theory of ends, pushdown automata, and second-order logic	1985	David E. Muller Paul E. Schupp	5
+	Inverse monoids: Decidability and complexity of algebraic questions	2007	Markus Lohrey Nicole Ondrusch	5
+ PDF Chat	The conjugacy problem in subgroups of right-angled Artin groups	2009	John Crisp Eddy Godelle Bert Wiest	5
+ PDF Chat	Embeddings of graph braid and surface groups in right-angled Artin groups and braid groups	2004	John Crisp Bert Wiest	5
+	Testing equivalence of morphisms on context-free languages	1994	Wojciech Plandowski	4
+	Word Processing in Groups	1992	D. B. A. Epstein	4
+ PDF Chat	Polynomial-time word problems	2008	Saul Schleimer	4