×

zbMATH — the first resource for mathematics

Kuske, Dietrich

Compute Distance To:
Author ID: kuske.dietrich Recent zbMATH articles by "Kuske, Dietrich"
Published as: Kuske, D.; Kuske, Dietrich
Documents Indexed: 101 Publications since 1994, including 1 Book

Publications by Year

Citations contained in zbMATH

82 Publications have been cited 336 times in 232 Documents Cited by Year
Logical aspects of Cayley-graphs: the group case. Zbl 1063.03005
Kuske, Dietrich; Lohrey, Markus
18
2005
A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Zbl 1104.68066
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca
14
2006
First-order and counting theories of \(\omega\)-automatic structures. Zbl 1141.03015
Kuske, Dietrich; Lohrey, Markus
13
2008
Skew and infinitary formal power series. Zbl 1154.68067
Droste, Manfred; Kuske, Dietrich
13
2006
Theories of orders on the set of words. Zbl 1098.03021
Kuske, Dietrich
12
2006
Infinite series-parallel posets: Logic and languages. Zbl 0973.68164
Kuske, Dietrich
11
2000
Towards a language theory for infinite N-free pomsets. Zbl 1040.68055
Kuske, Dietrich
10
2003
Recognizable languages in divisibility monoids. Zbl 0994.68083
Droste, Manfred; Kuske, Dietrich
9
2001
Generic automorphisms of the universal partial order. Zbl 0983.06004
Kuske, D.; Truss, J. K.
9
2001
On existentially first-order definable languages and their relation to NP. Zbl 0949.03035
Borchert, Bernd; Kuske, Dietrich; Stephan, Frank
9
1999
Regular sets of infinite message sequence charts. Zbl 1082.68056
Kuske, Dietrich
8
2003
Skew and infinitary formal power series. Zbl 1039.68065
Droste, Manfred; Kuske, Dietrich
8
2003
On random relational structures. Zbl 1026.03020
Droste, Manfred; Kuske, Dietrich
8
2003
On homogeneous semilattices and their automorphism groups. Zbl 0945.06001
Droste, Manfred; Kuske, Dietrich; Truss, John K.
8
1999
Logical aspects of Cayley-graphs: the monoid case. Zbl 1151.03003
Kuske, Dietrich; Lohrey, Markus
7
2006
Satisfiability and model checking for MSO-definable temporal logics are in PSPACE. Zbl 1195.68068
Gastin, Paul; Kuske, Dietrich
7
2003
Some relatives of automatic and hyperbolic groups. Zbl 1031.20047
Hoffmann, Michael; Kuske, Dietrich; Otto, Friedrich; Thomas, Richard M.
7
2002
The isomorphism problem on classes of automatic structures with transitive relations. Zbl 1308.03049
Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus
6
2013
Divisibility monoids: Presentation, word problem, and rational languages. Zbl 0999.68129
Kuske, Dietrich
6
2001
Nondeterministic automata with concurrency relations and domains. Zbl 0938.68743
Kuske, D.
6
1994
Singular Artin monoids of finite Coxeter type are automatic. Zbl 1295.20062
Corran, Ruth; Hoffmann, Michael; Kuske, Dietrich; Thomas, Richard M.
5
2011
Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces. Zbl 1195.68069
Gastin, Paul; Kuske, Dietrich
5
2010
The role of the complementarity relation in Watson-Crick automata and sticker systems. Zbl 1117.68407
Kuske, Dietrich; Weigel, Peter
5
2004
Asynchronous cellular automata for pomsets. Zbl 0949.68086
Droste, M.; Gastin, P.; Kuske, D.
5
2000
The trace monoids in the queue monoid and in the direct product of two free monoids. Zbl 1436.68203
Kuske, Dietrich; Prianychnykova, Olena
4
2016
The monoid of queue actions. Zbl 1386.68079
Huschenbett, Martin; Kuske, Dietrich; Zetzsche, Georg
4
2014
Construction of tree automata from regular expressions. Zbl 1236.68173
Kuske, Dietrich; Meinecke, Ingmar
4
2011
The isomorphism problem for \(\omega \)-automatic trees. Zbl 1287.03084
Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus
4
2010
On communicating automata with bounded channels. Zbl 1137.68447
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca
4
2007
Branching automata with costs – a way of reflecting parallelism in costs. Zbl 1071.68044
Kuske, Dietrich; Meinecke, Ingmar
4
2004
Pomsets for local trace languages – recognizability, logic \(\&\) Petri nets. Zbl 0999.68530
Kuske, Dietrich; Morin, Rémi
4
2000
Asynchronous cellular automata and asynchronous automata for pomsets. Zbl 0946.68095
Kuske, Dietrich
4
1998
Representation of computations in concurrent automata by dependence orders. Zbl 0902.68126
Bracho, Felipe; Droste, Manfred; Kuske, Dietrich
4
1997
Isomorphisms of scattered automatic linear orders. Zbl 1358.03062
Kuske, Dietrich
3
2014
The complexity of model checking multi-stack systems. Zbl 1366.68164
Bollig, Benedikt; Kuske, Dietrich; Mennicke, Roy
3
2013
Automatic structures of bounded degree revisited. Zbl 1272.03148
Kuske, Dietrich; Lohrey, Markus
3
2011
Muller message-passing automata and logics. Zbl 1154.68064
Bollig, Benedikt; Kuske, Dietrich
3
2008
Schützenberger’s theorem on formal power series follows from Kleene’s theorem. Zbl 1147.68043
Kuske, Dietrich
3
2008
Weighted asynchronous cellular automata. Zbl 1164.68023
Kuske, Dietrich
3
2007
Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces. Zbl 1137.68446
Gastin, Paul; Kuske, Dietrich
3
2007
On graph products of automatic and biautomatic monoids. Zbl 1124.20040
Fohry, Egbert; Kuske, Dietrich
3
2006
A further step towards a theory of regular MSC languages. Zbl 1054.68538
Kuske, Dietrich
3
2002
A model theoretic proof of Büchi-type theorems and first-order logic for N-free pomsets. Zbl 0976.03045
Kuske, Dietrich
3
2001
Complementary closed relational clones are not always Krasner clones. Zbl 0982.08002
Droste, M.; Kuske, D.; McKenzie, R.; Pöschel, R.
3
2001
Recognizable and logically definable languages of infinite computations in concurrent automata. Zbl 1319.68133
Droste, Manfred; Kuske, Dietrich
3
1998
Models for concurrent processes: Monoid residual systems and automata. Zbl 0900.68216
Kuske, Dietrich
3
1994
The isomorphism problem for \(\omega \)-automatic trees. Zbl 1273.03125
Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus
2
2013
An optimal construction of Hanf sentences. Zbl 1258.03048
Bollig, Benedikt; Kuske, Dietrich
2
2012
Is Ramsey’s theorem \(\omega\)-automatic? Zbl 1230.03067
Kuske, Dietrich
2
2010
Propositional dynamic logic for message-passing systems. Zbl 1201.03016
Bollig, Benedikt; Kuske, Dietrich; Meinecke, Ingmar
2
2010
Some natural decision problems in automatic graphs. Zbl 1192.03010
Kuske, Dietrich; Lohrey, Markus
2
2010
Construction of tree automata from regular expressions. Zbl 1159.68018
Kuske, Dietrich; Meinecke, Ingmar
2
2008
Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces. Zbl 1128.68061
Gastin, Paul; Kuske, Dietrich
2
2007
On communicating automata with bounded channels. Zbl 1128.68062
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca
2
2007
Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces. Zbl 1134.68436
Gastin, Paul; Kuske, Dietrich
2
2005
A Kleene theorem for a class of communicating automata with effective algorithms. Zbl 1117.68403
Genest, Blaise; Muscholl, Anca; Kuske, Dietrich
2
2004
Is Cantor’s theorem automatic? Zbl 1273.03124
Kuske, Dietrich
2
2003
The topology of Mazurkiewicz traces. Zbl 1100.68590
Kummetz, Ralph; Kuske, Dietrich
2
2003
Decidable theories of Cayley-graphs. Zbl 1036.03009
Kuske, Dietrich; Lohrey, Markus
2
2003
Pomsets for local trace languages. Zbl 1031.68070
Kuske, Dietrich; Morin, Rémi
2
2002
Trace languages definable with modular quantifiers. Zbl 1096.68653
Droste, Manfred; Kuske, Dietrich
2
1996
Dependence orders for computations of concurrent automata. Zbl 1379.68246
Bracho, Felipe; Droste, Manfred; Kuske, Dietrich
2
1995
The monoid of queue actions. Zbl 1400.68094
Huschenbett, Martin; Kuske, Dietrich; Zetzsche, Georg
1
2017
The transformation monoid of a partially lossy queue. Zbl 06763506
Köcher, Chris; Kuske, Dietrich
1
2017
Hanf normal form for first-order logic with unary counting quantifiers. Zbl 1394.03061
Heimberg, Lucas; Kuske, Dietrich; Schweikardt, Nicole
1
2016
Infinite and bi-infinite words with decidable monadic theories. Zbl 1434.03102
Kuske, Dietrich; Liu, Jiamou; Moskvina, Anastasia
1
2015
Logical aspects of the lexicographic order on 1-counter languages. Zbl 1400.68109
Kuske, Dietrich
1
2013
Isomorphisms of scattered automatic linear orders. Zbl 1252.03103
Kuske, Dietrich
1
2012
Where automatic structures benefit from weighted automata. Zbl 1349.03039
Kuske, Dietrich
1
2011
Size and computation of injective tree automatic presentations. Zbl 1343.03029
Kuske, Dietrich; Weidner, Thomas
1
2011
Automatic structures of bounded degree revisited. Zbl 1257.03032
Kuske, Dietrich; Lohrey, Markus
1
2009
Theories of automatic structures and their complexity. Zbl 1256.03044
Kuske, Dietrich
1
2009
Almost every domain is universal. Zbl 1316.68066
Droste, Manfred; Kuske, Dietrich
1
2007
Propositional dynamic logic for message-passing systems. Zbl 1135.03335
Bollig, Benedikt; Kuske, Dietrich; Meinecke, Ingmar
1
2007
Weighted asynchronous cellular automata. Zbl 1136.68435
Kuske, Dietrich
1
2006
First-order and counting theories of \(\omega\)-automatic structures. Zbl 1138.03032
Kuske, Dietrich; Lohrey, Markus
1
2006
Snapshot verification. Zbl 1087.68055
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca; Peled, Doron
1
2005
Decidable first-order theories of one-step rewriting in trace monoids. Zbl 1061.68086
Kuske, Dietrich; Lohrey, Markus
1
2005
Branching automata with costs – a way of reflecting parallelism in costs. Zbl 1279.68162
Kuske, Dietrich; Meinecke, Ingmar
1
2003
Recognizable sets of N-free pomsets are monadically axiomatizable. Zbl 1073.03022
Kuske, Dietrich
1
2002
Emptiness is decidable for asynchronous cellular machines. Zbl 0999.68132
Kuske, Dietrich
1
2000
On existentially first-order definable languages and their relation to NP. Zbl 0917.68076
Borchert, Bernd; Kuske, Dietrich; Stephan, Frank
1
1998
The monoid of queue actions. Zbl 1400.68094
Huschenbett, Martin; Kuske, Dietrich; Zetzsche, Georg
1
2017
The transformation monoid of a partially lossy queue. Zbl 06763506
Köcher, Chris; Kuske, Dietrich
1
2017
The trace monoids in the queue monoid and in the direct product of two free monoids. Zbl 1436.68203
Kuske, Dietrich; Prianychnykova, Olena
4
2016
Hanf normal form for first-order logic with unary counting quantifiers. Zbl 1394.03061
Heimberg, Lucas; Kuske, Dietrich; Schweikardt, Nicole
1
2016
Infinite and bi-infinite words with decidable monadic theories. Zbl 1434.03102
Kuske, Dietrich; Liu, Jiamou; Moskvina, Anastasia
1
2015
The monoid of queue actions. Zbl 1386.68079
Huschenbett, Martin; Kuske, Dietrich; Zetzsche, Georg
4
2014
Isomorphisms of scattered automatic linear orders. Zbl 1358.03062
Kuske, Dietrich
3
2014
The isomorphism problem on classes of automatic structures with transitive relations. Zbl 1308.03049
Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus
6
2013
The complexity of model checking multi-stack systems. Zbl 1366.68164
Bollig, Benedikt; Kuske, Dietrich; Mennicke, Roy
3
2013
The isomorphism problem for \(\omega \)-automatic trees. Zbl 1273.03125
Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus
2
2013
Logical aspects of the lexicographic order on 1-counter languages. Zbl 1400.68109
Kuske, Dietrich
1
2013
An optimal construction of Hanf sentences. Zbl 1258.03048
Bollig, Benedikt; Kuske, Dietrich
2
2012
Isomorphisms of scattered automatic linear orders. Zbl 1252.03103
Kuske, Dietrich
1
2012
Singular Artin monoids of finite Coxeter type are automatic. Zbl 1295.20062
Corran, Ruth; Hoffmann, Michael; Kuske, Dietrich; Thomas, Richard M.
5
2011
Construction of tree automata from regular expressions. Zbl 1236.68173
Kuske, Dietrich; Meinecke, Ingmar
4
2011
Automatic structures of bounded degree revisited. Zbl 1272.03148
Kuske, Dietrich; Lohrey, Markus
3
2011
Where automatic structures benefit from weighted automata. Zbl 1349.03039
Kuske, Dietrich
1
2011
Size and computation of injective tree automatic presentations. Zbl 1343.03029
Kuske, Dietrich; Weidner, Thomas
1
2011
Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces. Zbl 1195.68069
Gastin, Paul; Kuske, Dietrich
5
2010
The isomorphism problem for \(\omega \)-automatic trees. Zbl 1287.03084
Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus
4
2010
Is Ramsey’s theorem \(\omega\)-automatic? Zbl 1230.03067
Kuske, Dietrich
2
2010
Propositional dynamic logic for message-passing systems. Zbl 1201.03016
Bollig, Benedikt; Kuske, Dietrich; Meinecke, Ingmar
2
2010
Some natural decision problems in automatic graphs. Zbl 1192.03010
Kuske, Dietrich; Lohrey, Markus
2
2010
Automatic structures of bounded degree revisited. Zbl 1257.03032
Kuske, Dietrich; Lohrey, Markus
1
2009
Theories of automatic structures and their complexity. Zbl 1256.03044
Kuske, Dietrich
1
2009
First-order and counting theories of \(\omega\)-automatic structures. Zbl 1141.03015
Kuske, Dietrich; Lohrey, Markus
13
2008
Muller message-passing automata and logics. Zbl 1154.68064
Bollig, Benedikt; Kuske, Dietrich
3
2008
Schützenberger’s theorem on formal power series follows from Kleene’s theorem. Zbl 1147.68043
Kuske, Dietrich
3
2008
Construction of tree automata from regular expressions. Zbl 1159.68018
Kuske, Dietrich; Meinecke, Ingmar
2
2008
On communicating automata with bounded channels. Zbl 1137.68447
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca
4
2007
Weighted asynchronous cellular automata. Zbl 1164.68023
Kuske, Dietrich
3
2007
Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces. Zbl 1137.68446
Gastin, Paul; Kuske, Dietrich
3
2007
Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces. Zbl 1128.68061
Gastin, Paul; Kuske, Dietrich
2
2007
On communicating automata with bounded channels. Zbl 1128.68062
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca
2
2007
Almost every domain is universal. Zbl 1316.68066
Droste, Manfred; Kuske, Dietrich
1
2007
Propositional dynamic logic for message-passing systems. Zbl 1135.03335
Bollig, Benedikt; Kuske, Dietrich; Meinecke, Ingmar
1
2007
A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Zbl 1104.68066
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca
14
2006
Skew and infinitary formal power series. Zbl 1154.68067
Droste, Manfred; Kuske, Dietrich
13
2006
Theories of orders on the set of words. Zbl 1098.03021
Kuske, Dietrich
12
2006
Logical aspects of Cayley-graphs: the monoid case. Zbl 1151.03003
Kuske, Dietrich; Lohrey, Markus
7
2006
On graph products of automatic and biautomatic monoids. Zbl 1124.20040
Fohry, Egbert; Kuske, Dietrich
3
2006
Weighted asynchronous cellular automata. Zbl 1136.68435
Kuske, Dietrich
1
2006
First-order and counting theories of \(\omega\)-automatic structures. Zbl 1138.03032
Kuske, Dietrich; Lohrey, Markus
1
2006
Logical aspects of Cayley-graphs: the group case. Zbl 1063.03005
Kuske, Dietrich; Lohrey, Markus
18
2005
Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces. Zbl 1134.68436
Gastin, Paul; Kuske, Dietrich
2
2005
Snapshot verification. Zbl 1087.68055
Genest, Blaise; Kuske, Dietrich; Muscholl, Anca; Peled, Doron
1
2005
Decidable first-order theories of one-step rewriting in trace monoids. Zbl 1061.68086
Kuske, Dietrich; Lohrey, Markus
1
2005
The role of the complementarity relation in Watson-Crick automata and sticker systems. Zbl 1117.68407
Kuske, Dietrich; Weigel, Peter
5
2004
Branching automata with costs – a way of reflecting parallelism in costs. Zbl 1071.68044
Kuske, Dietrich; Meinecke, Ingmar
4
2004
A Kleene theorem for a class of communicating automata with effective algorithms. Zbl 1117.68403
Genest, Blaise; Muscholl, Anca; Kuske, Dietrich
2
2004
Towards a language theory for infinite N-free pomsets. Zbl 1040.68055
Kuske, Dietrich
10
2003
Regular sets of infinite message sequence charts. Zbl 1082.68056
Kuske, Dietrich
8
2003
Skew and infinitary formal power series. Zbl 1039.68065
Droste, Manfred; Kuske, Dietrich
8
2003
On random relational structures. Zbl 1026.03020
Droste, Manfred; Kuske, Dietrich
8
2003
Satisfiability and model checking for MSO-definable temporal logics are in PSPACE. Zbl 1195.68068
Gastin, Paul; Kuske, Dietrich
7
2003
Is Cantor’s theorem automatic? Zbl 1273.03124
Kuske, Dietrich
2
2003
The topology of Mazurkiewicz traces. Zbl 1100.68590
Kummetz, Ralph; Kuske, Dietrich
2
2003
Decidable theories of Cayley-graphs. Zbl 1036.03009
Kuske, Dietrich; Lohrey, Markus
2
2003
Branching automata with costs – a way of reflecting parallelism in costs. Zbl 1279.68162
Kuske, Dietrich; Meinecke, Ingmar
1
2003
Some relatives of automatic and hyperbolic groups. Zbl 1031.20047
Hoffmann, Michael; Kuske, Dietrich; Otto, Friedrich; Thomas, Richard M.
7
2002
A further step towards a theory of regular MSC languages. Zbl 1054.68538
Kuske, Dietrich
3
2002
Pomsets for local trace languages. Zbl 1031.68070
Kuske, Dietrich; Morin, Rémi
2
2002
Recognizable sets of N-free pomsets are monadically axiomatizable. Zbl 1073.03022
Kuske, Dietrich
1
2002
Recognizable languages in divisibility monoids. Zbl 0994.68083
Droste, Manfred; Kuske, Dietrich
9
2001
Generic automorphisms of the universal partial order. Zbl 0983.06004
Kuske, D.; Truss, J. K.
9
2001
Divisibility monoids: Presentation, word problem, and rational languages. Zbl 0999.68129
Kuske, Dietrich
6
2001
A model theoretic proof of Büchi-type theorems and first-order logic for N-free pomsets. Zbl 0976.03045
Kuske, Dietrich
3
2001
Complementary closed relational clones are not always Krasner clones. Zbl 0982.08002
Droste, M.; Kuske, D.; McKenzie, R.; Pöschel, R.
3
2001
Infinite series-parallel posets: Logic and languages. Zbl 0973.68164
Kuske, Dietrich
11
2000
Asynchronous cellular automata for pomsets. Zbl 0949.68086
Droste, M.; Gastin, P.; Kuske, D.
5
2000
Pomsets for local trace languages – recognizability, logic \(\&\) Petri nets. Zbl 0999.68530
Kuske, Dietrich; Morin, Rémi
4
2000
Emptiness is decidable for asynchronous cellular machines. Zbl 0999.68132
Kuske, Dietrich
1
2000
On existentially first-order definable languages and their relation to NP. Zbl 0949.03035
Borchert, Bernd; Kuske, Dietrich; Stephan, Frank
9
1999
On homogeneous semilattices and their automorphism groups. Zbl 0945.06001
Droste, Manfred; Kuske, Dietrich; Truss, John K.
8
1999
Asynchronous cellular automata and asynchronous automata for pomsets. Zbl 0946.68095
Kuske, Dietrich
4
1998
Recognizable and logically definable languages of infinite computations in concurrent automata. Zbl 1319.68133
Droste, Manfred; Kuske, Dietrich
3
1998
On existentially first-order definable languages and their relation to NP. Zbl 0917.68076
Borchert, Bernd; Kuske, Dietrich; Stephan, Frank
1
1998
Representation of computations in concurrent automata by dependence orders. Zbl 0902.68126
Bracho, Felipe; Droste, Manfred; Kuske, Dietrich
4
1997
Trace languages definable with modular quantifiers. Zbl 1096.68653
Droste, Manfred; Kuske, Dietrich
2
1996
Dependence orders for computations of concurrent automata. Zbl 1379.68246
Bracho, Felipe; Droste, Manfred; Kuske, Dietrich
2
1995
Nondeterministic automata with concurrency relations and domains. Zbl 0938.68743
Kuske, D.
6
1994
Models for concurrent processes: Monoid residual systems and automata. Zbl 0900.68216
Kuske, Dietrich
3
1994
all top 5

Cited by 279 Authors

29 Kuske, Dietrich
19 Droste, Manfred
15 Lohrey, Markus
10 Bollig, Benedikt
10 Gastin, Paul
10 Selivanov, Viktor L’vovich
7 Dolinka, Igor
6 Diekert, Volker
6 Genest, Blaise
6 Gray, Robert D.
6 Meinecke, Ingmar
6 Rahonis, George
5 Bedon, Nicolas
5 Cain, Alan J.
5 Kambites, Mark
5 Kudinov, Oleg Victorovich
5 Muscholl, Anca
4 Glaßer, Christian
4 Stephan, Frank
3 Akshay, S.
3 Demri, Stéphane P.
3 Finkel, Olivier
3 Hélouët, Loïc
3 Huschenbett, Martin
3 Jeandel, Emmanuel
3 Kaiser, Lukasz
3 Khoussainov, Bakhadyr M.
3 Malheiro, António
3 Mašulović, Dragan
3 Mathissen, Christian
3 Morin, Rémi
3 Quinn-Gregson, Thomas
3 Rosendal, Christian
3 Schlicht, Philipp
3 Thiagarajan, Pazhamaneri Subramaniam
3 Thinniyam, Ramanathan S.
3 Yang, Shaofa
3 Zetzsche, Georg
3 Ziadi, Djelloul
2 Bárány, Vince
2 Baudru, Nicolas
2 Bracho, Felipe
2 Chatterjee, Krishnendu
2 Cherroun, Hadda
2 Czeizler, Elena
2 Czeizler, Eugen
2 Ésik, Zoltán
2 Fortin, Marie-Josée
2 Gazagnaire, Thomas
2 Grindei, Manuela-Lidia
2 Haar, Stefan
2 Habermehl, Peter
2 Henzinger, Thomas A.
2 Jaballah, Ali
2 Jain, Sanjay
2 Janicki, Ryszard
2 Kleijn, Jetty H. C. M.
2 Köcher, Chris
2 Koutny, Maciej
2 Kuich, Werner
2 Kumar, K. Narayan
2 Lehtonen, Erkko
2 Mignot, Ludovic
2 Mikulski, Łukasz
2 Mukund, Madhavan
2 Ondrusch, Nicole
2 Prianychnykova, Olena
2 Rabinovich, Alexander
2 Saidi, Fathi B.
2 Salomaa, Kai T.
2 Theyssier, Guillaume
2 Todorcevic, Stevo B.
2 Travers, Stephen D.
2 Truss, John Kenneth
2 Vogler, Heiko
2 Wagner, Klaus W.
2 Weil, Pascal
2 Zeitoun, Marc
2 Zhukov, Anton V.
1 Ackerman, Nathanael Leedom
1 Ajbal, Oussama
1 Aleksandrova, S. A.
1 Amrane, Amazigh
1 Antolín, Yago
1 Araújo, Vítor
1 Arbach, Youssef
1 Attou, Samira
1 Aubrun, Nathalie
1 Baader, Franz
1 Barbieri, Sebastián
1 Bazhenov, Nikolaĭ Alekseevich
1 Bednarczyk, Bartosz
1 Belabbaci, Ahlem
1 Bojańczyk, Mikołaj
1 Boker, Udi
1 Borchert, Bernd
1 Boyadzhiyska, Simona
1 Bravetti, Mario
1 Burrieza, Alfredo
1 Carbone, Marco
...and 179 more Authors
all top 5

Cited in 54 Serials

44 Theoretical Computer Science
15 Information and Computation
11 International Journal of Foundations of Computer Science
10 International Journal of Algebra and Computation
8 Journal of Algebra
7 Logical Methods in Computer Science
6 Fuzzy Sets and Systems
6 Journal of Computer and System Sciences
6 Theory of Computing Systems
5 Semigroup Forum
4 Discrete Mathematics
4 Information Processing Letters
4 RAIRO. Theoretical Informatics and Applications
3 Acta Informatica
3 The Journal of Symbolic Logic
3 Proceedings of the American Mathematical Society
3 Siberian Mathematical Journal
3 European Journal of Combinatorics
3 Annals of Pure and Applied Logic
3 Forum Mathematicum
3 RAIRO. Theoretical Informatics and Applications
2 Communications in Algebra
2 Israel Journal of Mathematics
2 Advances in Mathematics
2 Algebra and Logic
2 Journal of Combinatorial Theory. Series A
2 Discrete Event Dynamic Systems
2 Formal Methods in System Design
2 Journal of Applied Logic
1 Journal of Mathematical Physics
1 Kybernetika
1 Monatshefte für Mathematik
1 Notre Dame Journal of Formal Logic
1 Proceedings of the Edinburgh Mathematical Society. Series II
1 Proceedings of the London Mathematical Society. Third Series
1 Transactions of the American Mathematical Society
1 Order
1 International Journal of Computer Mathematics
1 Russian Mathematics
1 Mathematical Logic Quarterly (MLQ)
1 Journal of Group Theory
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Journal of the Australian Mathematical Society
1 Natural Computing
1 Central European Journal of Mathematics
1 ACM Transactions on Computational Logic
1 Journal of Algebra and its Applications
1 Mathematics in Computer Science
1 Groups, Geometry, and Dynamics
1 Groups, Complexity, Cryptology
1 Forum of Mathematics, Sigma
1 Computability
1 Open Mathematics
1 Journal of Applied and Computational Topology

Citations by Year