×

zbMATH — the first resource for mathematics

Diekert, Volker

Compute Distance To:
Author ID: diekert.volker Recent zbMATH articles by "Diekert, Volker"
Published as: Diekert, Volker; Diekert, V.; Dieckert, Volker; Diekert, Volkert
Homepage: http://www.fmi.uni-stuttgart.de/ti/team/diekert/
External Links: MGP · ORCID · Math-Net.Ru · dblp · GND
Member of Collective: Lothaire, M.
Documents Indexed: 153 Publications since 1981, including 16 Books

Publications by Year

Citations contained in zbMATH Open

109 Publications have been cited 501 times in 335 Documents Cited by Year
Combinatorics on traces. Zbl 0717.68002
Diekert, Volker
66
1990
Characterization of the expressive power of silent transitions in timed automata. Zbl 0930.68077
Bérard, Béatrice; Petit, Antoine; Diekert, Volker; Gastin, Paul
32
1998
First-order definable languages. Zbl 1234.03024
Diekert, Volker; Gastin, Paul
19
2008
A survey on small fragments of first-order logic over finite words. Zbl 1157.03003
Diekert, Volker; Gastin, Paul; Kufleitner, Manfred
18
2008
The existential theory of equations with rational constraints in free groups is PSPACE-complete. Zbl 1101.68649
Diekert, Volker; Gutierrez, Claudio; Hagenah, Christian
16
2005
Solvability of equations in graph groups is decidable. Zbl 1112.03009
Diekert, Volker; Muscholl, Anca
15
2006
Complete semi-Thue systems for abelian groups. Zbl 0609.68028
Diekert, Volker
10
1986
Word equations over graph products. Zbl 1186.20041
Diekert, Volker; Lohrey, Markus
9
2008
Pure future local temporal logics are expressively complete for Mazurkiewicz traces. Zbl 1113.03016
Diekert, Volker; Gastin, Paul
8
2006
On the concatenation of infinite traces. (Extended abstract). Zbl 0773.68057
Diekert, Volker
8
1991
LTL is expressively complete for Mazurkiewicz traces. Zbl 1013.68130
Diekert, Volker; Gastin, Paul
8
2002
The existential theory of equations with rational constraints in free groups is PSPACE-complete. Zbl 0976.68095
Diekert, Volker; Gutiérrez, Claudio; Hagenah, Christian
8
2001
On the hairpin completion of regular languages. Zbl 1250.68153
Diekert, Volker; Kopecki, Steffen; Mitrana, Victor
8
2009
Conjugacy in Baumslag’s group, generic case complexity, and division in power circuits. Zbl 1352.68102
Diekert, Volker; Myasnikov, Alexei G.; Weiß, Armin
7
2014
Recognizable complex trace languages. (Abstract). Zbl 0777.68057
Diekert, Volker; Gastin, Paul; Petit, Antoine
7
1991
Existential and positive theories of equations in graph products. Zbl 1067.03017
Diekert, Volker; Lohrey, Markus
7
2004
Fragments of first-order logic over infinite words. Zbl 1258.03045
Diekert, Volker; Kufleitner, Manfred
7
2011
Context-free groups and their structure trees. Zbl 1270.20030
Diekert, Volker; Weiß, Armin
7
2013
Solution sets for equations over free groups are EDT0L languages. Zbl 1412.68124
Ciobanu, Laura; Diekert, Volker; Elder, Murray
6
2015
On quadratic word equations. Zbl 0928.68088
Robson, John Michael; Diekert, Volker
6
1999
Deterministic asynchronous automata for infinite traces. Zbl 0818.68100
Diekert, Volker; Muscholl, Anca
6
1994
On the concatenation of infinite traces. Zbl 0786.68074
Diekert, Volker
6
1993
Deterministic asynchronous automata for infinite traces. (Extended abstract). Zbl 0799.68140
Diekert, Volker; Muscholl, Anca
6
1993
Solving word equations modulo partial commutations. Zbl 0930.68074
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
6
1999
Finding all solutions of equations in free groups and monoids with involution. Zbl 1382.68348
Diekert, Volker; Jeż, Artur; Plandowski, Wojciech
5
2014
On confluence of one-rule trace-rewriting systems. Zbl 0837.68055
Wrathall, C.; Diekert, V.
5
1995
Commutative monoids have complete presentations by free (non-commutative) monoids. Zbl 0607.20032
Diekert, Volker
5
1986
Solution sets for equations over free groups are EDT0L languages. Zbl 1401.68156
Ciobanu, Laura; Diekert, Volker; Elder, Murray
5
2016
On codings of traces. Zbl 1379.68243
Diekert, Volker; Muscholl, Anca; Reinhardt, Klaus
5
1995
Star-free languages are Church-Rosser congruential. Zbl 1279.68147
Diekert, Volker; Kufleitner, Manfred; Weil, Pascal
5
2012
Investigations on Hotz groups for arbitrary grammars. Zbl 0612.68067
Diekert, Volker
4
1986
Regular frequency computations. Zbl 0969.68522
Austinat, Holger; Diekert, Volker; Hertrampf, Ulrich; Petersen, Holger
4
2000
Rational and recognizable complex trace languages. Zbl 0818.68073
Diekert, Volker; Gastin, Paul; Petit, Antoine
4
1995
Solvability of equations in free partially commutative groups is decidable. Zbl 0986.20036
Diekert, Volker; Muscholl, Anca
4
2001
A structural property of regular frequency computations. Zbl 1064.68049
Austinat, Holger; Diekert, Volker; Hertrampf, Ulrich
4
2003
Safety and liveness properties for real traces and a direct translation from LTL to monoids. Zbl 1060.68077
Diekert, Volker; Gastin, Paul
4
2002
LTL is expressively complete for Mazurkiewicz traces. Zbl 0973.68165
Diekert, Volker; Gastin, Paul
4
2000
Quadratic word equations. Zbl 0944.68151
Diekert, Volker; Robson, John Michael
4
1999
Pure future local temporal logics are expressively complete for Mazurkiewicz traces. Zbl 1196.68155
Diekert, Volker; Gastin, Paul
4
2004
Complexity results and the growths of hairpin completions of regular languages (extended abstract). Zbl 1297.68122
Diekert, Volker; Kopecki, Steffen
4
2011
Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem. Zbl 1346.20041
Diekert, Volker; Myasnikov, Alexei; Weiß, Armin
4
2015
Finding all solutions of equations in free groups and monoids with involution. Zbl 1382.68347
Diekert, Volker; Jeż, Artur; Plandowski, Wojciech
4
2016
The Krohn-Rhodes theorem and local divisors. Zbl 1263.68116
Diekert, Volker; Kufleitner, Manfred; Steinberg, Benjamin
4
2012
Efficient algorithms for highly compressed data: the word problem in Higman’s group is in P. Zbl 1245.68103
Diekert, Volker; Laun, Jürn; Ushakov, Alexander
4
2012
Regular languages are Church-Rosser congruential. Zbl 1367.68166
Diekert, Volker; Kufleitner, Manfred; Reinhardt, Klaus; Walter, Tobias
4
2012
Logspace computations in Coxeter groups and graph groups. Zbl 1283.20044
Diekert, Volker; Kausch, Jonathan; Lohrey, Markus
3
2012
Über die absolute Galoisgruppe dyadischer Zahlkörper. Zbl 0524.12007
Diekert, Volker
3
1984
On confluent semi-commutations – decidability and complexity results. Zbl 0769.68057
Diekert, Volker; Ochmanski, Edward; Reinhardt, Klaus
3
1991
On computing geodesics in Baumslag-Solitar groups. Zbl 1235.20041
Diekert, Volker; Laun, Jürn
3
2011
Local temporal logic is expressively complete for cograph dependence alphabets. Zbl 1275.68089
Diekert, Volker; Gastin, Paul
3
2001
Some remarks on presentations by finite Church-Rosser Thue systems. Zbl 0636.20023
Diekert, Volker
3
1987
Solving trace equations using lexicographical normal forms. Zbl 1401.68161
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
3
1997
Weinbaum factorizations of primitive words. Zbl 1187.68361
Diekert, V.; Harju, T.; Nowotka, D.
3
2010
Word equations over graph products. Zbl 1188.20066
Diekert, Volker; Lohrey, Markus
3
2003
Some remarks about stabilizers. Zbl 1173.68053
Diekert, Volker; Krieger, Dalia
3
2009
Logspace computations in graph groups and Coxeter groups. Zbl 1283.20043
Diekert, Volker; Kausch, Jonathan; Lohrey, Markus
3
2012
Discrete algebraic methods. Arithmetic, cryptography, automata and groups. Zbl 1350.00001
Diekert, Volker; Kufleitner, Manfred; Rosenberger, Gerhard; Hertrampf, Ulrich
3
2016
From local to global temporal logics over Mazurkiewicz traces. Zbl 1160.68574
Diekert, Volker; Gastin, Paul
2
2006
Partially commutative inverse monoids. Zbl 1132.20308
Diekert, Volker; Lohrey, Markus; Miller, Alexander
2
2006
Algorithmic problems on inverse monoids over virtually free groups. Zbl 1190.20045
Diekert, Volker; Ondrusch, Nicole; Lohrey, Markus
2
2008
Omega-rational expressions with bounded synchronization delay. Zbl 1343.68135
Diekert, Volker; Kufleitner, Manfred
2
2015
More than 1700 years of word equations. Zbl 1402.68146
Diekert, Volker
2
2015
A survey on the local divisor technique. Zbl 1332.68147
Diekert, Volker; Kufleitner, Manfred
2
2016
A note on the existential theory of equations in plain groups. Zbl 1007.03008
Diekert, Volker; Lohrey, Markus
2
2002
Local temporal logic is expressively complete for cograph dependence alphabets. Zbl 1101.68648
Diekert, Volker; Gastin, Paul
2
2004
Regular frequency computations. Zbl 1078.68073
Austinat, Holger; Diekert, Volker; Hertrampf, Ulrich; Petersen, Holger
2
2005
A partial trace semantics for Petri nets. Zbl 0823.68058
Diekert, V.
2
1994
A note on Métivier’s construction of asynchronous automata for triangulated graphs. Zbl 0843.68072
Diekert, Volkert; Muscholl, Anca
2
1996
Möbius functions and confluent semi-commutations. Zbl 0777.68052
Diekert, Volker
2
1993
On the Knuth-Bendix completion for concurrent processes. Zbl 0686.68023
Diekert, Volker
2
1989
Some identities related to automata, determinants, and Möbius functions. Zbl 1047.68076
Diekert, Volker; Kobayashi, Yuji
2
1999
Word problems over traces which are solvable in linear time. Zbl 0701.68056
Diekert, Volker
2
1990
Code problems on traces. Zbl 0889.68092
Diekert, Volker; Muscholl, Anca
2
1996
Approximating traces. Zbl 0912.68128
Diekert, Volker; Gastin, Paul
2
1998
An expressively complete temporal logic without past tense operators for Mazurkiewicz traces. Zbl 0942.03028
Diekert, Volker; Gastin, Paul
2
1999
On the Knuth-Bendix completion for concurrent processes. Zbl 0633.68015
Diekert, Volker
2
1987
Hotz-isomorhism theorems in formal language theory. Zbl 0665.68059
Diekert, Volker; Möbus, Axel
2
1989
A domain for concurrent termination a generalization of Mazurkiewicz traces (extended abstract). Zbl 1412.68150
Diekert, Volker; Gastin, Paul
2
1995
Solutions of word equations over partially commutative structures. Zbl 1388.68164
Diekert, Volker; Jez, Artur; Kufleitner, Manfred
2
2016
QuickHeapsort: modifications and improved analysis. Zbl 1353.68063
Diekert, Volker; Weiß, Armin
2
2016
Geodesic rewriting systems and pregroups. Zbl 1220.20022
Diekert, Volker; Duncan, Andrew J.; Myasnikov, Alexei G.
2
2010
A note on monitors and Büchi automata. Zbl 06545718
Diekert, Volker; Muscholl, Anca; Walukiewicz, Igor
2
2015
Fragments of first-order logic over infinite words. Zbl 1236.68166
Diekert, Volker; Kufleitner, Manfred
2
2009
Language theoretical properties of hairpin formations. Zbl 1260.68200
Diekert, Volker; Kopecki, Steffen
2
2012
On first-order fragments for Mazurkiewicz traces. Zbl 1128.03018
Diekert, Volker; Horsch, Martin; Kufleitner, Manfred
1
2007
Computer science – theory and applications. Second international symposium on computer science in Russia, CSR 2007, Ekaterinburg, Russia, September 3–7, 2007. Proceedings. Zbl 1135.68001
Diekert, Volker (ed.); Volkov, Mikhail V. (ed.); Voronkov, Andrei (ed.)
1
2007
Cyclic rewriting and conjugacy problems. Zbl 1286.20035
Diekert, Volker; Duncan, Andrew; Myasnikov, Alexei G.
1
2012
Equations over free inverse monoids with idempotent variables. Zbl 1404.20045
Diekert, Volker; Martin, Florent; Sénizergues, Géraud; Silva, Pedro V.
1
2015
Logspace computations in graph products. Zbl 1325.68106
Diekert, Volker; Kausch, Jonathan
1
2014
Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem. Zbl 1371.20037
Diekert, Volker; Myasnikov, Alexei G.; Weiß, Armin
1
2017
STACS 2005. 22nd annual symposium on theoretical aspects of computer science, Stuttgart, Germany, February 24–26, 2005. Proceedings. Zbl 1069.68004
Diekert, Volker (ed.); Durand, Bruno (ed.)
1
2005
Abelsche p-Erweiterungen \(\mathfrak p\)-adischer Zahlkörper, über denen jedes Einbettungsproblem lösbar ist. Zbl 0446.12015
Diekert, Volker
1
1981
Partial traces. Zbl 0875.68719
Diekert, Volker
1
1994
STACS 2004. 21st annual symposium on theoretical aspects of computer science, Montpellier, France, March 25–27, 2004. Proceedings. Zbl 1046.68005
Diekert, Volker (ed.); Habib, Michel (ed.)
1
2004
On Hotz groups and homomorphic images of sentential form languages. Zbl 0578.68055
Diekert, Volker
1
1985
A remark about quadratic trace equations. Zbl 1015.68125
Diekert, Volker; Kufleitner, Manfred
1
2003
On some variants of the Ehrenfeucht conjecture. Zbl 0617.68067
Diekert, Volker
1
1986
Transitive orientations, Möbius functions, and complete semi-Thue systems for free partially commutative monoids. Zbl 0707.68049
Diekert, Volker
1
1988
Combinatorial rewriting on traces. Zbl 0729.68034
Diekert, Volker
1
1990
Transitive orientations, Möbius functions, and complete semi-Thue systems for free partially commutative monoids. Zbl 0986.68513
Diekert, Volker
1
1988
Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem. Zbl 1371.20037
Diekert, Volker; Myasnikov, Alexei G.; Weiß, Armin
1
2017
Context-free groups and Bass-Serre theory. Zbl 1436.20062
Diekert, Volker; Weiß, Armin
1
2017
Solution sets for equations over free groups are EDT0L languages. Zbl 1401.68156
Ciobanu, Laura; Diekert, Volker; Elder, Murray
5
2016
Finding all solutions of equations in free groups and monoids with involution. Zbl 1382.68347
Diekert, Volker; Jeż, Artur; Plandowski, Wojciech
4
2016
Discrete algebraic methods. Arithmetic, cryptography, automata and groups. Zbl 1350.00001
Diekert, Volker; Kufleitner, Manfred; Rosenberger, Gerhard; Hertrampf, Ulrich
3
2016
A survey on the local divisor technique. Zbl 1332.68147
Diekert, Volker; Kufleitner, Manfred
2
2016
Solutions of word equations over partially commutative structures. Zbl 1388.68164
Diekert, Volker; Jez, Artur; Kufleitner, Manfred
2
2016
QuickHeapsort: modifications and improved analysis. Zbl 1353.68063
Diekert, Volker; Weiß, Armin
2
2016
Characterizing classes of regular languages using prefix codes of bounded synchronization delay. Zbl 1388.68165
Diekert, Volker; Walter, Tobias
1
2016
Conjugacy in Baumslag’s group, generic case complexity, and division in power circuits. Zbl 1357.68081
Diekert, Volker; Myasnikov, Alexei G.; Weiß, Armin
1
2016
Logspace computations in graph products. Zbl 1335.68103
Diekert, Volker; Kausch, Jonathan
1
2016
Solution sets for equations over free groups are EDT0L languages. Zbl 1412.68124
Ciobanu, Laura; Diekert, Volker; Elder, Murray
6
2015
Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem. Zbl 1346.20041
Diekert, Volker; Myasnikov, Alexei; Weiß, Armin
4
2015
Omega-rational expressions with bounded synchronization delay. Zbl 1343.68135
Diekert, Volker; Kufleitner, Manfred
2
2015
More than 1700 years of word equations. Zbl 1402.68146
Diekert, Volker
2
2015
A note on monitors and Büchi automata. Zbl 06545718
Diekert, Volker; Muscholl, Anca; Walukiewicz, Igor
2
2015
Equations over free inverse monoids with idempotent variables. Zbl 1404.20045
Diekert, Volker; Martin, Florent; Sénizergues, Géraud; Silva, Pedro V.
1
2015
Conjugacy in Baumslag’s group, generic case complexity, and division in power circuits. Zbl 1352.68102
Diekert, Volker; Myasnikov, Alexei G.; Weiß, Armin
7
2014
Finding all solutions of equations in free groups and monoids with involution. Zbl 1382.68348
Diekert, Volker; Jeż, Artur; Plandowski, Wojciech
5
2014
Logspace computations in graph products. Zbl 1325.68106
Diekert, Volker; Kausch, Jonathan
1
2014
Context-free groups and their structure trees. Zbl 1270.20030
Diekert, Volker; Weiß, Armin
7
2013
Elements of discrete mathematics. Numbers and counting, graphs and lattices. (Elemente der diskreten Mathematik. Zahlen und Zählen, Graphen und Verbände.) Zbl 1276.05001
Diekert, Volker; Kufleitner, Manfred; Rosenberger, Gerhard
1
2013
Star-free languages are Church-Rosser congruential. Zbl 1279.68147
Diekert, Volker; Kufleitner, Manfred; Weil, Pascal
5
2012
The Krohn-Rhodes theorem and local divisors. Zbl 1263.68116
Diekert, Volker; Kufleitner, Manfred; Steinberg, Benjamin
4
2012
Efficient algorithms for highly compressed data: the word problem in Higman’s group is in P. Zbl 1245.68103
Diekert, Volker; Laun, Jürn; Ushakov, Alexander
4
2012
Regular languages are Church-Rosser congruential. Zbl 1367.68166
Diekert, Volker; Kufleitner, Manfred; Reinhardt, Klaus; Walter, Tobias
4
2012
Logspace computations in Coxeter groups and graph groups. Zbl 1283.20044
Diekert, Volker; Kausch, Jonathan; Lohrey, Markus
3
2012
Logspace computations in graph groups and Coxeter groups. Zbl 1283.20043
Diekert, Volker; Kausch, Jonathan; Lohrey, Markus
3
2012
Language theoretical properties of hairpin formations. Zbl 1260.68200
Diekert, Volker; Kopecki, Steffen
2
2012
Cyclic rewriting and conjugacy problems. Zbl 1286.20035
Diekert, Volker; Duncan, Andrew; Myasnikov, Alexei G.
1
2012
Fragments of first-order logic over infinite words. Zbl 1258.03045
Diekert, Volker; Kufleitner, Manfred
7
2011
Complexity results and the growths of hairpin completions of regular languages (extended abstract). Zbl 1297.68122
Diekert, Volker; Kopecki, Steffen
4
2011
On computing geodesics in Baumslag-Solitar groups. Zbl 1235.20041
Diekert, Volker; Laun, Jürn
3
2011
Solving word problems in group extensions over infinite words. Zbl 1221.68178
Diekert, Volker; Myasnikov, Alexei G.
1
2011
It is NL-complete to decide whether a hairpin completion of regular languages is regular. Zbl 1255.68070
Diekert, Volker; Kopecki, Steffen
1
2011
Weinbaum factorizations of primitive words. Zbl 1187.68361
Diekert, V.; Harju, T.; Nowotka, D.
3
2010
Geodesic rewriting systems and pregroups. Zbl 1220.20022
Diekert, Volker; Duncan, Andrew J.; Myasnikov, Alexei G.
2
2010
On the hairpin completion of regular languages. Zbl 1250.68153
Diekert, Volker; Kopecki, Steffen; Mitrana, Victor
8
2009
Some remarks about stabilizers. Zbl 1173.68053
Diekert, Volker; Krieger, Dalia
3
2009
Fragments of first-order logic over infinite words. Zbl 1236.68166
Diekert, Volker; Kufleitner, Manfred
2
2009
First-order definable languages. Zbl 1234.03024
Diekert, Volker; Gastin, Paul
19
2008
A survey on small fragments of first-order logic over finite words. Zbl 1157.03003
Diekert, Volker; Gastin, Paul; Kufleitner, Manfred
18
2008
Word equations over graph products. Zbl 1186.20041
Diekert, Volker; Lohrey, Markus
9
2008
Algorithmic problems on inverse monoids over virtually free groups. Zbl 1190.20045
Diekert, Volker; Ondrusch, Nicole; Lohrey, Markus
2
2008
On first-order fragments for Mazurkiewicz traces. Zbl 1128.03018
Diekert, Volker; Horsch, Martin; Kufleitner, Manfred
1
2007
Computer science – theory and applications. Second international symposium on computer science in Russia, CSR 2007, Ekaterinburg, Russia, September 3–7, 2007. Proceedings. Zbl 1135.68001
Diekert, Volker; Volkov, Mikhail V.; Voronkov, Andrei
1
2007
Solvability of equations in graph groups is decidable. Zbl 1112.03009
Diekert, Volker; Muscholl, Anca
15
2006
Pure future local temporal logics are expressively complete for Mazurkiewicz traces. Zbl 1113.03016
Diekert, Volker; Gastin, Paul
8
2006
From local to global temporal logics over Mazurkiewicz traces. Zbl 1160.68574
Diekert, Volker; Gastin, Paul
2
2006
Partially commutative inverse monoids. Zbl 1132.20308
Diekert, Volker; Lohrey, Markus; Miller, Alexander
2
2006
The existential theory of equations with rational constraints in free groups is PSPACE-complete. Zbl 1101.68649
Diekert, Volker; Gutierrez, Claudio; Hagenah, Christian
16
2005
Regular frequency computations. Zbl 1078.68073
Austinat, Holger; Diekert, Volker; Hertrampf, Ulrich; Petersen, Holger
2
2005
STACS 2005. 22nd annual symposium on theoretical aspects of computer science, Stuttgart, Germany, February 24–26, 2005. Proceedings. Zbl 1069.68004
Diekert, Volker; Durand, Bruno
1
2005
Existential and positive theories of equations in graph products. Zbl 1067.03017
Diekert, Volker; Lohrey, Markus
7
2004
Pure future local temporal logics are expressively complete for Mazurkiewicz traces. Zbl 1196.68155
Diekert, Volker; Gastin, Paul
4
2004
Local temporal logic is expressively complete for cograph dependence alphabets. Zbl 1101.68648
Diekert, Volker; Gastin, Paul
2
2004
STACS 2004. 21st annual symposium on theoretical aspects of computer science, Montpellier, France, March 25–27, 2004. Proceedings. Zbl 1046.68005
Diekert, Volker; Habib, Michel
1
2004
A structural property of regular frequency computations. Zbl 1064.68049
Austinat, Holger; Diekert, Volker; Hertrampf, Ulrich
4
2003
Word equations over graph products. Zbl 1188.20066
Diekert, Volker; Lohrey, Markus
3
2003
A remark about quadratic trace equations. Zbl 1015.68125
Diekert, Volker; Kufleitner, Manfred
1
2003
LTL is expressively complete for Mazurkiewicz traces. Zbl 1013.68130
Diekert, Volker; Gastin, Paul
8
2002
Safety and liveness properties for real traces and a direct translation from LTL to monoids. Zbl 1060.68077
Diekert, Volker; Gastin, Paul
4
2002
A note on the existential theory of equations in plain groups. Zbl 1007.03008
Diekert, Volker; Lohrey, Markus
2
2002
The existential theory of equations with rational constraints in free groups is PSPACE-complete. Zbl 0976.68095
Diekert, Volker; Gutiérrez, Claudio; Hagenah, Christian
8
2001
Solvability of equations in free partially commutative groups is decidable. Zbl 0986.20036
Diekert, Volker; Muscholl, Anca
4
2001
Local temporal logic is expressively complete for cograph dependence alphabets. Zbl 1275.68089
Diekert, Volker; Gastin, Paul
3
2001
Regular frequency computations. Zbl 0969.68522
Austinat, Holger; Diekert, Volker; Hertrampf, Ulrich; Petersen, Holger
4
2000
LTL is expressively complete for Mazurkiewicz traces. Zbl 0973.68165
Diekert, Volker; Gastin, Paul
4
2000
On quadratic word equations. Zbl 0928.68088
Robson, John Michael; Diekert, Volker
6
1999
Solving word equations modulo partial commutations. Zbl 0930.68074
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
6
1999
Quadratic word equations. Zbl 0944.68151
Diekert, Volker; Robson, John Michael
4
1999
Some identities related to automata, determinants, and Möbius functions. Zbl 1047.68076
Diekert, Volker; Kobayashi, Yuji
2
1999
An expressively complete temporal logic without past tense operators for Mazurkiewicz traces. Zbl 0942.03028
Diekert, Volker; Gastin, Paul
2
1999
Characterization of the expressive power of silent transitions in timed automata. Zbl 0930.68077
Bérard, Béatrice; Petit, Antoine; Diekert, Volker; Gastin, Paul
32
1998
Approximating traces. Zbl 0912.68128
Diekert, Volker; Gastin, Paul
2
1998
Solving trace equations using lexicographical normal forms. Zbl 1401.68161
Diekert, Volker; Matiyasevich, Yuri; Muscholl, Anca
3
1997
A note on Métivier’s construction of asynchronous automata for triangulated graphs. Zbl 0843.68072
Diekert, Volkert; Muscholl, Anca
2
1996
Code problems on traces. Zbl 0889.68092
Diekert, Volker; Muscholl, Anca
2
1996
Trace rewriting: computing normal forms in time \(\mathcal O(n\log n)\). Zbl 1379.68193
Bertol, Michael; Diekert, Volker
1
1996
On confluence of one-rule trace-rewriting systems. Zbl 0837.68055
Wrathall, C.; Diekert, V.
5
1995
On codings of traces. Zbl 1379.68243
Diekert, Volker; Muscholl, Anca; Reinhardt, Klaus
5
1995
Rational and recognizable complex trace languages. Zbl 0818.68073
Diekert, Volker; Gastin, Paul; Petit, Antoine
4
1995
A domain for concurrent termination a generalization of Mazurkiewicz traces (extended abstract). Zbl 1412.68150
Diekert, Volker; Gastin, Paul
2
1995
Deterministic asynchronous automata for infinite traces. Zbl 0818.68100
Diekert, Volker; Muscholl, Anca
6
1994
A partial trace semantics for Petri nets. Zbl 0823.68058
Diekert, V.
2
1994
Partial traces. Zbl 0875.68719
Diekert, Volker
1
1994
On the concatenation of infinite traces. Zbl 0786.68074
Diekert, Volker
6
1993
Deterministic asynchronous automata for infinite traces. (Extended abstract). Zbl 0799.68140
Diekert, Volker; Muscholl, Anca
6
1993
Möbius functions and confluent semi-commutations. Zbl 0777.68052
Diekert, Volker
2
1993
On the concatenation of infinite traces. (Extended abstract). Zbl 0773.68057
Diekert, Volker
8
1991
Recognizable complex trace languages. (Abstract). Zbl 0777.68057
Diekert, Volker; Gastin, Paul; Petit, Antoine
7
1991
On confluent semi-commutations – decidability and complexity results. Zbl 0769.68057
Diekert, Volker; Ochmanski, Edward; Reinhardt, Klaus
3
1991
Combinatorics on traces. Zbl 0717.68002
Diekert, Volker
66
1990
Word problems over traces which are solvable in linear time. Zbl 0701.68056
Diekert, Volker
2
1990
Combinatorial rewriting on traces. Zbl 0729.68034
Diekert, Volker
1
1990
On the Knuth-Bendix completion for concurrent processes. Zbl 0686.68023
Diekert, Volker
2
1989
Hotz-isomorhism theorems in formal language theory. Zbl 0665.68059
Diekert, Volker; Möbus, Axel
2
1989
Transitive orientations, Möbius functions, and complete semi-Thue systems for free partially commutative monoids. Zbl 0707.68049
Diekert, Volker
1
1988
Transitive orientations, Möbius functions, and complete semi-Thue systems for free partially commutative monoids. Zbl 0986.68513
Diekert, Volker
1
1988
Local checking of trace synchronizability. Zbl 0652.68018
Diekert, Volker; Vogler, Walter
1
1988
...and 9 more Documents
all top 5

Cited by 421 Authors

46 Diekert, Volker
21 Gastin, Paul
17 Myasnikov, Alexei G.
13 Kufleitner, Manfred
12 Kuske, Dietrich
12 Lohrey, Markus
9 Droste, Manfred
9 Muscholl, Anca
7 Kharlampovich, Olga G.
7 Otto, Friedrich
7 Weiß, Armin
6 Elder, Murray J.
6 Manea, Florin
6 Petit, Antoine
6 Silva, Pedro V.
5 Abbes, Samy
5 Bérard, Béatrice
5 Bollig, Benedikt
5 Kopecki, Steffen
5 Walter, Tobias
4 Ciobanu, Laura
4 Kazachkov, Ilya V.
4 Nowotka, Dirk
4 Place, Thomas
4 Schnoebelen, Philippe
4 Steinberg, Benjamin
4 Thomas, Richard M.
4 Weil, Pascal
4 Zeitoun, Marc
3 Bouyer, Patricia
3 Bruyère, Véronique
3 Cain, Alan J.
3 Casals-Ruiz, Montserrat
3 Gilman, Robert H.
3 Haddad, Serge
3 Hertrampf, Ulrich
3 Kobayashi, Yuji
3 Lanotte, Ruggero
3 Lauser, Alexander
3 Lysenok, Igor’ Geront’evich
3 Madlener, Klaus E.
3 Mairesse, Jean
3 Plandowski, Wojciech
3 Schmid, Markus L.
3 Selivanov, Viktor L’vovich
3 Sénizergues, Géraud
3 Vassileva, Svetla
2 Austinat, Holger
2 Bracho, Felipe
2 Brihaye, Thomas
2 Dahmani, François
2 Dufourd, Catherine
2 Ebinger, Werner
2 Fahrenberg, Uli
2 Finkel, Alain
2 Fortin, Marie-Josée
2 Foryś, Wit
2 Freydenberger, Dominik D.
2 Goldwurm, Massimiliano
2 Harju, Tero
2 Jain, Sanjay
2 Janicki, Ryszard
2 Jeż, Artur
2 Kahl, Thomas
2 Karandikar, Prateek
2 Katsura, Masashi
2 Kleijn, Jetty H. C. M.
2 Köcher, Chris
2 Koutny, Maciej
2 Lange, Martin
2 Larsen, Kim Guldstrand
2 Legay, Axel
2 Maggiolo-Schettini, Andrea
2 Masopust, Tomáš
2 Matiyasevich, Yuriĭ Vladimirovich
2 Mercaş, Robert George
2 Mikulski, Łukasz
2 Mitrana, Victor
2 Mukund, Madhavan
2 Ochmański, Edward
2 Oprocha, Piotr
2 Pandya, Paritosh K.
2 Peled, Doron A.
2 Pighizzini, Giovanni
2 Prianychnykova, Olena
2 Rozoy, Brigitte
2 Ruškuc, Nik
2 Simons, Lloyd D.
2 Tantau, Till
2 Teodosiu, Dan
2 Tini, Simone
2 Tripakis, Stavros
2 Ushakov, Alexander S.
2 Zetzsche, Georg
2 Zielonka, Wiesław
1 Abdulla, Parosh Aziz
1 Adams, Jared
1 Aichernig, Bernhard K.
1 Albert, Michael Henry
1 Alecu, Bogdan
...and 321 more Authors
all top 5

Cited in 71 Serials

71 Theoretical Computer Science
21 International Journal of Algebra and Computation
20 Information and Computation
13 Theory of Computing Systems
12 Journal of Algebra
10 Journal of Computer and System Sciences
9 Information Processing Letters
8 Acta Informatica
8 Formal Methods in System Design
7 Discrete Mathematics
6 International Journal of Foundations of Computer Science
6 Logical Methods in Computer Science
5 Mathematical Systems Theory
5 Semigroup Forum
5 Groups, Complexity, Cryptology
4 Algorithmica
3 Journal of Pure and Applied Algebra
3 Transactions of the American Mathematical Society
3 Real-Time Systems
3 RAIRO. Informatique Théorique et Applications
3 RAIRO. Theoretical Informatics and Applications
2 Israel Journal of Mathematics
2 Applied Mathematics and Computation
2 Journal of Combinatorial Theory. Series A
2 Journal of Symbolic Computation
2 Journal of Complexity
2 Formal Aspects of Computing
2 Cybernetics and Systems Analysis
2 Journal of Logic, Language and Information
2 Journal of Mathematical Sciences (New York)
2 Journal of Group Theory
2 Journal of the Australian Mathematical Society
2 Bulletin of Mathematical Sciences
1 ACM Computing Surveys
1 Discrete Applied Mathematics
1 Journal of Statistical Physics
1 Mathematics of Computation
1 Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg
1 Algebra and Logic
1 Publications Mathématiques
1 Journal of Graph Theory
1 The Journal of Symbolic Logic
1 Manuscripta Mathematica
1 Mathematische Nachrichten
1 Memoirs of the American Mathematical Society
1 Proceedings of the American Mathematical Society
1 Advances in Applied Mathematics
1 Ergodic Theory and Dynamical Systems
1 Combinatorica
1 Annals of Pure and Applied Logic
1 Discrete & Computational Geometry
1 Forum Mathematicum
1 Discrete Event Dynamic Systems
1 Distributed Computing
1 Journal of Applied Non-Classical Logics
1 Journal of the Egyptian Mathematical Society
1 Geometry & Topology
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Fundamenta Informaticae
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 ACM Transactions on Computational Logic
1 Journal of Algebra and its Applications
1 Journal of Applied Logic
1 Parallel Processing Letters
1 Proceedings of the Steklov Institute of Mathematics
1 Groups, Geometry, and Dynamics
1 Computer Science Review
1 Carpathian Mathematical Publications
1 ISRN Combinatorics
1 Annales de l’Institut Henri Poincaré D. Combinatorics, Physics and their Interactions (AIHPD)
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year