Edit Profile (opens in new tab) Kuske, Dietrich Co-Author Distance Author ID: kuske.dietrich Published as: Kuske, Dietrich; Kuske, D. Documents Indexed: 115 Publications since 1994, including 1 Book and 1 Additional arXiv Preprint Co-Authors: 44 Co-Authors with 86 Joint Publications 996 Co-Co-Authors all top 5 Co-Authors 29 single-authored 15 Droste, Manfred 14 Lohrey, Markus 7 Meinecke, Ingmar 6 Bollig, Benedikt 6 Gastin, Paul 6 Muscholl, Anca 5 Genest, Blaise 5 Liu, Jiamou 4 Schweikardt, Nicole 4 Zetzsche, Georg 3 Hoffmann, Michael 3 Köcher, Chris 3 Schwarz, Christian 3 Thomas, Richard M. 2 Borchert, Bernd 2 Bracho, Felipe 2 Corran, Ruth 2 Habermehl, Peter 2 Heimberg, Lucas 2 Hundeshagen, Norbert 2 Huschenbett, Martin 2 Hutagalung, Milka 2 Lange, Martin 2 Lozes, Etienne 2 Mennicke, Roy 2 Morin, Rémi 2 Moskvina, Anastasia 2 Prianychnykova, Olena 2 Stephan, Frank 2 Truss, John Kenneth 1 Berkholz, Christoph 1 Fichtner, Ina 1 Fohry, Egbert 1 Hölldobler, Steffen 1 Kummetz, Ralph 1 Lindner, Peter 1 McKenzie, Ralph N. 1 Otto, Friedrich 1 Peled, Doron A. 1 Pöschel, Reinhard 1 Shortt, Rae Michael 1 Weidner, Thomas 1 Weigel, Peter 1 Abu Zaid, Faried all top 5 Serials 9 Theoretical Computer Science 5 Information and Computation 3 The Journal of Symbolic Logic 3 Theory of Computing Systems 3 Logical Methods in Computer Science 2 Algebra Universalis 2 Semigroup Forum 2 Annals of Pure and Applied Logic 2 Order 2 International Journal of Algebra and Computation 2 RAIRO. Theoretical Informatics and Applications 2 Fundamenta Informaticae 2 RAIRO. Theoretical Informatics and Applications 1 Acta Informatica 1 Acta Cybernetica 1 Journal of Combinatorial Theory. Series A 1 Proceedings of the American Mathematical Society 1 Transactions of the American Mathematical Society 1 Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 International Journal of Computer Mathematics 1 Journal of Automata, Languages and Combinatorics 1 Journal of Applied Logic all top 5 Fields 90 Computer science (68-XX) 66 Mathematical logic and foundations (03-XX) 19 Group theory and generalizations (20-XX) 11 Order, lattices, ordered algebraic structures (06-XX) 7 Combinatorics (05-XX) 3 General algebraic systems (08-XX) 1 Category theory; homological algebra (18-XX) 1 General topology (54-XX) 1 Probability theory and stochastic processes (60-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 97 Publications have been cited 549 times in 375 Documents Cited by ▼ Year ▼ A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Zbl 1104.68066 Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 26 2006 Logical aspects of Cayley-graphs: the group case. Zbl 1063.03005 Kuske, Dietrich; Lohrey, Markus 24 2005 Skew and infinitary formal power series. Zbl 1154.68067 Droste, Manfred; Kuske, Dietrich 18 2006 Theories of orders on the set of words. Zbl 1098.03021 Kuske, Dietrich 18 2006 First-order and counting theories of \(\omega\)-automatic structures. Zbl 1141.03015 Kuske, Dietrich; Lohrey, Markus 18 2008 Weighted automata. Zbl 1508.68189 Droste, Manfred; Kuske, Dietrich 16 2021 On communicating automata with bounded channels. Zbl 1137.68447 Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 14 2007 Regular sets of infinite message sequence charts. Zbl 1082.68056 Kuske, Dietrich 14 2003 The role of the complementarity relation in Watson-Crick automata and sticker systems. Zbl 1117.68407 Kuske, Dietrich; Weigel, Peter 14 2004 Generic automorphisms of the universal partial order. Zbl 0983.06004 Kuske, D.; Truss, J. K. 12 2001 Infinite series-parallel posets: Logic and languages. Zbl 0973.68164 Kuske, Dietrich 12 2000 Skew and infinitary formal power series. Zbl 1039.68065 Droste, Manfred; Kuske, Dietrich 12 2003 Logical aspects of Cayley-graphs: the monoid case. Zbl 1151.03003 Kuske, Dietrich; Lohrey, Markus 11 2006 Asynchronous cellular automata for pomsets. Zbl 0949.68086 Droste, M.; Gastin, P.; Kuske, D. 11 2000 Towards a language theory for infinite N-free pomsets. Zbl 1040.68055 Kuske, Dietrich 11 2003 On homogeneous semilattices and their automorphism groups. Zbl 0945.06001 Droste, Manfred; Kuske, Dietrich; Truss, John K. 11 1999 Languages ordered by the subword order. Zbl 1524.68175 Kuske, Dietrich; Zetzsche, Georg 11 2019 The isomorphism problem on classes of automatic structures with transitive relations. Zbl 1308.03049 Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus 10 2013 An optimal construction of Hanf sentences. Zbl 1258.03048 Bollig, Benedikt; Kuske, Dietrich 9 2012 Automatic structures of bounded degree revisited. Zbl 1272.03148 Kuske, Dietrich; Lohrey, Markus 9 2011 Satisfiability and model checking for MSO-definable temporal logics are in PSPACE. Zbl 1195.68068 Gastin, Paul; Kuske, Dietrich 9 2003 On existentially first-order definable languages and their relation to NP. Zbl 0949.03035 Borchert, Bernd; Kuske, Dietrich; Stephan, Frank 9 1999 Recognizable languages in divisibility monoids. Zbl 0994.68083 Droste, Manfred; Kuske, Dietrich 9 2001 On random relational structures. Zbl 1026.03020 Droste, Manfred; Kuske, Dietrich 9 2003 The isomorphism problem for \(\omega \)-automatic trees. Zbl 1287.03084 Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus 8 2010 Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces. Zbl 1195.68069 Gastin, Paul; Kuske, Dietrich 8 2010 Some relatives of automatic and hyperbolic groups. Zbl 1031.20047 Hoffmann, Michael; Kuske, Dietrich; Otto, Friedrich; Thomas, Richard M. 8 2002 Construction of tree automata from regular expressions. Zbl 1236.68173 Kuske, Dietrich; Meinecke, Ingmar 7 2011 The monoid of queue actions. Zbl 1400.68094 Huschenbett, Martin; Kuske, Dietrich; Zetzsche, Georg 7 2017 The subtrace order and counting first-order logic. Zbl 1508.68125 Kuske, Dietrich 7 2020 Nondeterministic automata with concurrency relations and domains. Zbl 0938.68743 Kuske, D. 7 1994 Divisibility monoids: Presentation, word problem, and rational languages. Zbl 0999.68129 Kuske, Dietrich 6 2001 Representation of computations in concurrent automata by dependence orders. Zbl 0902.68126 Bracho, Felipe; Droste, Manfred; Kuske, Dietrich 6 1997 Muller message-passing automata and logics. Zbl 1154.68064 Bollig, Benedikt; Kuske, Dietrich 5 2008 Some natural decision problems in automatic graphs. Zbl 1192.03010 Kuske, Dietrich; Lohrey, Markus 5 2010 Propositional dynamic logic for message-passing systems. Zbl 1201.03016 Bollig, Benedikt; Kuske, Dietrich; Meinecke, Ingmar 5 2010 Asynchronous cellular automata and asynchronous automata for pomsets. Zbl 0946.68095 Kuske, Dietrich 5 1998 Branching automata with costs – a way of reflecting parallelism in costs. Zbl 1071.68044 Kuske, Dietrich; Meinecke, Ingmar 5 2004 First-order logic with counting: at least, weak Hanf normal forms always exist and can be computed! Zbl 1452.03087 Kuske, Dietrich; Schweikardt, Nicole 5 2017 On communicating automata with bounded channels. Zbl 1128.68062 Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 5 2007 The monoid of queue actions. Zbl 1386.68079 Huschenbett, Martin; Kuske, Dietrich; Zetzsche, Georg 4 2014 Recognizable and logically definable languages of infinite computations in concurrent automata. Zbl 1319.68133 Droste, Manfred; Kuske, Dietrich 4 1998 Dependence orders for computations of concurrent automata. Zbl 1379.68246 Bracho, Felipe; Droste, Manfred; Kuske, Dietrich 4 1995 Models for concurrent processes: Monoid residual systems and automata. (Modelle nebenläufiger Prozesse: Monoide, Residuensysteme und Automaten.) Zbl 0900.68216 Kuske, Dietrich 4 1994 Is Ramsey’s theorem \(\omega\)-automatic? Zbl 1230.03067 Kuske, Dietrich 4 2010 Schützenberger’s theorem on formal power series follows from Kleene’s theorem. Zbl 1147.68043 Kuske, Dietrich 4 2008 Singular Artin monoids of finite Coxeter type are automatic. Zbl 1295.20062 Corran, Ruth; Hoffmann, Michael; Kuske, Dietrich; Thomas, Richard M. 4 2011 Pomsets for local trace languages – recognizability, logic \(\&\) Petri nets. Zbl 0999.68530 Kuske, Dietrich; Morin, Rémi 4 2000 On graph products of automatic and biautomatic monoids. Zbl 1124.20040 Fohry, Egbert; Kuske, Dietrich 4 2006 Traces, series-parallel posets, and pictures: a weighted study. Zbl 1484.68084 Fichtner, Ina; Kuske, Dietrich; Meinecke, Ingmar 4 2009 On Presburger arithmetic extended with modulo counting quantifiers. Zbl 1461.03054 Habermehl, Peter; Kuske, Dietrich 3 2015 The inclusion structure of partially lossy queue monoids and their trace submonoids. Zbl 1401.68080 Köcher, Chris; Kuske, Dietrich; Prianychnykova, Olena 3 2018 The trace monoids in the queue monoid and in the direct product of two free monoids. Zbl 1436.68203 Kuske, Dietrich; Prianychnykova, Olena 3 2016 Isomorphisms of scattered automatic linear orders. Zbl 1358.03062 Kuske, Dietrich 3 2014 An optimal Gaifman normal form construction for structures of bounded degree. Zbl 1366.03212 Heimberg, Lucas; Kuske, Dietrich; Schweikardt, Nicole 3 2013 The complexity of model checking multi-stack systems. Zbl 1366.68164 Bollig, Benedikt; Kuske, Dietrich; Mennicke, Roy 3 2013 Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces. Zbl 1137.68446 Gastin, Paul; Kuske, Dietrich 3 2007 Theories of automatic structures and their complexity. Zbl 1256.03044 Kuske, Dietrich 3 2009 The isomorphism problem for \(\omega \)-automatic trees. Zbl 1273.03125 Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus 3 2013 Is Cantor’s theorem automatic? Zbl 1273.03124 Kuske, Dietrich 3 2003 Weighted asynchronous cellular automata. Zbl 1164.68023 Kuske, Dietrich 3 2007 Complementary closed relational clones are not always Krasner clones. Zbl 0982.08002 Droste, M.; Kuske, D.; McKenzie, R.; Pöschel, R. 3 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 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 3 2002 Complexity of counting first-order logic for the subword order. Zbl 1508.68126 Kuske, Dietrich; Schwarz, Christian 3 2020 A Kleene theorem for a class of communicating automata with effective algorithms. Zbl 1117.68403 Genest, Blaise; Muscholl, Anca; Kuske, Dietrich 2 2004 The transformation monoid of a partially lossy queue. Zbl 1489.68063 Köcher, Chris; Kuske, Dietrich 2 2017 Construction of tree automata from regular expressions. Zbl 1159.68018 Kuske, Dietrich; Meinecke, Ingmar 2 2008 Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces. Zbl 1134.68436 Gastin, Paul; Kuske, Dietrich 2 2005 First-order and counting theories of \(\omega\)-automatic structures. Zbl 1138.03032 Kuske, Dietrich; Lohrey, Markus 2 2006 Where automatic structures benefit from weighted automata. Zbl 1349.03039 Kuske, Dietrich 2 2011 Branching automata with costs – a way of reflecting parallelism in costs. Zbl 1279.68162 Kuske, Dietrich; Meinecke, Ingmar 2 2003 Trace languages definable with modular quantifiers. Zbl 1096.68653 Droste, Manfred; Kuske, Dietrich 2 1996 Propositional dynamic logic for message-passing systems. Zbl 1135.03335 Bollig, Benedikt; Kuske, Dietrich; Meinecke, Ingmar 2 2007 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 Hanf normal form for first-order logic with unary counting quantifiers. Zbl 1394.03061 Heimberg, Lucas; Kuske, Dietrich; Schweikardt, Nicole 2 2016 Multi-buffer simulations for trace language inclusion. Zbl 1478.68130 Hutagalung, Milka; Hundeshagen, Norbert; Kuske, Dietrich; Lange, Martin; Lozes, Etienne 2 2016 Second-order finite automata: expressive power and simple proofs using automatic structures. Zbl 07498730 Kuske, Dietrich 2 2021 Multi-buffer simulations: decidability and complexity. Zbl 1400.68105 Hutagalung, Milka; Hundeshagen, Norbert; Kuske, Dietrich; Lange, Martin; Lozes, Étienne 1 2018 The complexity of model checking multi-stack systems. Zbl 1372.68164 Bollig, Benedikt; Kuske, Dietrich; Mennicke, Roy 1 2017 On Boolean closed full trios and rational Kripke frames. Zbl 1366.68155 Zetzsche, Georg; Kuske, Dietrich; Lohrey, Markus 1 2017 Infinite and bi-infinite words with decidable monadic theories. Zbl 1434.03102 Kuske, Dietrich; Liu, Jiamou; Moskvina, Anastasia 1 2015 Almost every domain is universal. Zbl 1316.68066 Droste, Manfred; Kuske, Dietrich 1 2007 Isomorphisms of scattered automatic linear orders. Zbl 1252.03103 Kuske, Dietrich 1 2012 Automatic structures of bounded degree revisited. Zbl 1257.03032 Kuske, Dietrich; Lohrey, Markus 1 2009 Size and computation of injective tree automatic presentations. Zbl 1343.03029 Kuske, Dietrich; Weidner, Thomas 1 2011 On existentially first-order definable languages and their relation to NP. Zbl 0917.68076 Borchert, Bernd; Kuske, Dietrich; Stephan, Frank 1 1998 Decidable first-order theories of one-step rewriting in trace monoids. Zbl 1061.68086 Kuske, Dietrich; Lohrey, Markus 1 2005 Emptiness is decidable for asynchronous cellular machines. Zbl 0999.68132 Kuske, Dietrich 1 2000 Recognizable sets of N-free pomsets are monadically axiomatizable. Zbl 1073.03022 Kuske, Dietrich 1 2002 Snapshot verification. Zbl 1087.68055 Genest, Blaise; Kuske, Dietrich; Muscholl, Anca; Peled, Doron 1 2005 Logical aspects of the lexicographic order on 1-counter languages. Zbl 1400.68109 Kuske, Dietrich 1 2013 Climbing up the elementary complexity classes with theories of automatic structures. Zbl 1528.03171 Abu Zaid, Faried; Kuske, Dietrich; Lindner, Peter 1 2018 Gaifman normal forms for counting extensions of first-order logic. Zbl 1499.03028 Kuske, Dietrich; Schweikardt, Nicole 1 2018 Weighted asynchronous cellular automata. Zbl 1136.68435 Kuske, Dietrich 1 2006 Weighted automata. Zbl 1508.68189 Droste, Manfred; Kuske, Dietrich 16 2021 Second-order finite automata: expressive power and simple proofs using automatic structures. Zbl 07498730 Kuske, Dietrich 2 2021 The subtrace order and counting first-order logic. Zbl 1508.68125 Kuske, Dietrich 7 2020 Complexity of counting first-order logic for the subword order. Zbl 1508.68126 Kuske, Dietrich; Schwarz, Christian 3 2020 Languages ordered by the subword order. Zbl 1524.68175 Kuske, Dietrich; Zetzsche, Georg 11 2019 The inclusion structure of partially lossy queue monoids and their trace submonoids. Zbl 1401.68080 Köcher, Chris; Kuske, Dietrich; Prianychnykova, Olena 3 2018 Multi-buffer simulations: decidability and complexity. Zbl 1400.68105 Hutagalung, Milka; Hundeshagen, Norbert; Kuske, Dietrich; Lange, Martin; Lozes, Étienne 1 2018 Climbing up the elementary complexity classes with theories of automatic structures. Zbl 1528.03171 Abu Zaid, Faried; Kuske, Dietrich; Lindner, Peter 1 2018 Gaifman normal forms for counting extensions of first-order logic. Zbl 1499.03028 Kuske, Dietrich; Schweikardt, Nicole 1 2018 The monoid of queue actions. Zbl 1400.68094 Huschenbett, Martin; Kuske, Dietrich; Zetzsche, Georg 7 2017 First-order logic with counting: at least, weak Hanf normal forms always exist and can be computed! Zbl 1452.03087 Kuske, Dietrich; Schweikardt, Nicole 5 2017 The transformation monoid of a partially lossy queue. Zbl 1489.68063 Köcher, Chris; Kuske, Dietrich 2 2017 The complexity of model checking multi-stack systems. Zbl 1372.68164 Bollig, Benedikt; Kuske, Dietrich; Mennicke, Roy 1 2017 On Boolean closed full trios and rational Kripke frames. Zbl 1366.68155 Zetzsche, Georg; Kuske, Dietrich; Lohrey, Markus 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 3 2016 Hanf normal form for first-order logic with unary counting quantifiers. Zbl 1394.03061 Heimberg, Lucas; Kuske, Dietrich; Schweikardt, Nicole 2 2016 Multi-buffer simulations for trace language inclusion. Zbl 1478.68130 Hutagalung, Milka; Hundeshagen, Norbert; Kuske, Dietrich; Lange, Martin; Lozes, Etienne 2 2016 On Presburger arithmetic extended with modulo counting quantifiers. Zbl 1461.03054 Habermehl, Peter; Kuske, Dietrich 3 2015 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 10 2013 An optimal Gaifman normal form construction for structures of bounded degree. Zbl 1366.03212 Heimberg, Lucas; Kuske, Dietrich; Schweikardt, Nicole 3 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 3 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 9 2012 Isomorphisms of scattered automatic linear orders. Zbl 1252.03103 Kuske, Dietrich 1 2012 Automatic structures of bounded degree revisited. Zbl 1272.03148 Kuske, Dietrich; Lohrey, Markus 9 2011 Construction of tree automata from regular expressions. Zbl 1236.68173 Kuske, Dietrich; Meinecke, Ingmar 7 2011 Singular Artin monoids of finite Coxeter type are automatic. Zbl 1295.20062 Corran, Ruth; Hoffmann, Michael; Kuske, Dietrich; Thomas, Richard M. 4 2011 Where automatic structures benefit from weighted automata. Zbl 1349.03039 Kuske, Dietrich 2 2011 Size and computation of injective tree automatic presentations. Zbl 1343.03029 Kuske, Dietrich; Weidner, Thomas 1 2011 The isomorphism problem for \(\omega \)-automatic trees. Zbl 1287.03084 Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus 8 2010 Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces. Zbl 1195.68069 Gastin, Paul; Kuske, Dietrich 8 2010 Some natural decision problems in automatic graphs. Zbl 1192.03010 Kuske, Dietrich; Lohrey, Markus 5 2010 Propositional dynamic logic for message-passing systems. Zbl 1201.03016 Bollig, Benedikt; Kuske, Dietrich; Meinecke, Ingmar 5 2010 Is Ramsey’s theorem \(\omega\)-automatic? Zbl 1230.03067 Kuske, Dietrich 4 2010 Traces, series-parallel posets, and pictures: a weighted study. Zbl 1484.68084 Fichtner, Ina; Kuske, Dietrich; Meinecke, Ingmar 4 2009 Theories of automatic structures and their complexity. Zbl 1256.03044 Kuske, Dietrich 3 2009 Automatic structures of bounded degree revisited. Zbl 1257.03032 Kuske, Dietrich; Lohrey, Markus 1 2009 First-order and counting theories of \(\omega\)-automatic structures. Zbl 1141.03015 Kuske, Dietrich; Lohrey, Markus 18 2008 Muller message-passing automata and logics. Zbl 1154.68064 Bollig, Benedikt; Kuske, Dietrich 5 2008 Schützenberger’s theorem on formal power series follows from Kleene’s theorem. Zbl 1147.68043 Kuske, Dietrich 4 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 14 2007 On communicating automata with bounded channels. Zbl 1128.68062 Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 5 2007 Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces. Zbl 1137.68446 Gastin, Paul; Kuske, Dietrich 3 2007 Weighted asynchronous cellular automata. Zbl 1164.68023 Kuske, Dietrich 3 2007 Propositional dynamic logic for message-passing systems. Zbl 1135.03335 Bollig, Benedikt; Kuske, Dietrich; Meinecke, Ingmar 2 2007 Almost every domain is universal. Zbl 1316.68066 Droste, Manfred; Kuske, Dietrich 1 2007 A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Zbl 1104.68066 Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 26 2006 Skew and infinitary formal power series. Zbl 1154.68067 Droste, Manfred; Kuske, Dietrich 18 2006 Theories of orders on the set of words. Zbl 1098.03021 Kuske, Dietrich 18 2006 Logical aspects of Cayley-graphs: the monoid case. Zbl 1151.03003 Kuske, Dietrich; Lohrey, Markus 11 2006 On graph products of automatic and biautomatic monoids. Zbl 1124.20040 Fohry, Egbert; Kuske, Dietrich 4 2006 First-order and counting theories of \(\omega\)-automatic structures. Zbl 1138.03032 Kuske, Dietrich; Lohrey, Markus 2 2006 Weighted asynchronous cellular automata. Zbl 1136.68435 Kuske, Dietrich 1 2006 Logical aspects of Cayley-graphs: the group case. Zbl 1063.03005 Kuske, Dietrich; Lohrey, Markus 24 2005 Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces. Zbl 1134.68436 Gastin, Paul; Kuske, Dietrich 2 2005 Decidable first-order theories of one-step rewriting in trace monoids. Zbl 1061.68086 Kuske, Dietrich; Lohrey, Markus 1 2005 Snapshot verification. Zbl 1087.68055 Genest, Blaise; Kuske, Dietrich; Muscholl, Anca; Peled, Doron 1 2005 The role of the complementarity relation in Watson-Crick automata and sticker systems. Zbl 1117.68407 Kuske, Dietrich; Weigel, Peter 14 2004 Branching automata with costs – a way of reflecting parallelism in costs. Zbl 1071.68044 Kuske, Dietrich; Meinecke, Ingmar 5 2004 A Kleene theorem for a class of communicating automata with effective algorithms. Zbl 1117.68403 Genest, Blaise; Muscholl, Anca; Kuske, Dietrich 2 2004 Regular sets of infinite message sequence charts. Zbl 1082.68056 Kuske, Dietrich 14 2003 Skew and infinitary formal power series. Zbl 1039.68065 Droste, Manfred; Kuske, Dietrich 12 2003 Towards a language theory for infinite N-free pomsets. Zbl 1040.68055 Kuske, Dietrich 11 2003 Satisfiability and model checking for MSO-definable temporal logics are in PSPACE. Zbl 1195.68068 Gastin, Paul; Kuske, Dietrich 9 2003 On random relational structures. Zbl 1026.03020 Droste, Manfred; Kuske, Dietrich 9 2003 Is Cantor’s theorem automatic? Zbl 1273.03124 Kuske, Dietrich 3 2003 Branching automata with costs – a way of reflecting parallelism in costs. Zbl 1279.68162 Kuske, Dietrich; Meinecke, Ingmar 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 Some relatives of automatic and hyperbolic groups. Zbl 1031.20047 Hoffmann, Michael; Kuske, Dietrich; Otto, Friedrich; Thomas, Richard M. 8 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 3 2002 Recognizable sets of N-free pomsets are monadically axiomatizable. Zbl 1073.03022 Kuske, Dietrich 1 2002 Generic automorphisms of the universal partial order. Zbl 0983.06004 Kuske, D.; Truss, J. K. 12 2001 Recognizable languages in divisibility monoids. Zbl 0994.68083 Droste, Manfred; Kuske, Dietrich 9 2001 Divisibility monoids: Presentation, word problem, and rational languages. Zbl 0999.68129 Kuske, Dietrich 6 2001 Complementary closed relational clones are not always Krasner clones. Zbl 0982.08002 Droste, M.; Kuske, D.; McKenzie, R.; Pöschel, R. 3 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 Infinite series-parallel posets: Logic and languages. Zbl 0973.68164 Kuske, Dietrich 12 2000 Asynchronous cellular automata for pomsets. Zbl 0949.68086 Droste, M.; Gastin, P.; Kuske, D. 11 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 homogeneous semilattices and their automorphism groups. Zbl 0945.06001 Droste, Manfred; Kuske, Dietrich; Truss, John K. 11 1999 On existentially first-order definable languages and their relation to NP. Zbl 0949.03035 Borchert, Bernd; Kuske, Dietrich; Stephan, Frank 9 1999 Asynchronous cellular automata and asynchronous automata for pomsets. Zbl 0946.68095 Kuske, Dietrich 5 1998 Recognizable and logically definable languages of infinite computations in concurrent automata. Zbl 1319.68133 Droste, Manfred; Kuske, Dietrich 4 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 6 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 4 1995 Nondeterministic automata with concurrency relations and domains. Zbl 0938.68743 Kuske, D. 7 1994 Models for concurrent processes: Monoid residual systems and automata. (Modelle nebenläufiger Prozesse: Monoide, Residuensysteme und Automaten.) Zbl 0900.68216 Kuske, Dietrich 4 1994 all cited Publications top 5 cited Publications all top 5 Cited by 414 Authors 45 Kuske, Dietrich 31 Droste, Manfred 19 Bollig, Benedikt 18 Lohrey, Markus 15 Gastin, Paul 10 Rahonis, George 10 Selivanov, Viktor L’vovich 9 Zetzsche, Georg 8 Kostolányi, Peter 8 Stephan, Frank 7 Diekert, Volker 7 Dolinka, Igor 7 Köcher, Chris 7 Meinecke, Ingmar 7 Nagy, Benedek 6 Bedon, Nicolas 6 Genest, Blaise 6 Gray, Robert D. 6 Lozes, Etienne 6 Manea, Florin 6 Morin, Rémi 6 Muscholl, Anca 6 Quinn-Gregson, Thomas 5 Cain, Alan J. 5 Finkel, Alain 5 Finkel, Olivier 5 Jain, Sanjay 5 Kambites, Mark 5 Khoussainov, Bakhadyr M. 5 Kosche, Maria 5 Koss, Tore 5 Kudinov, Oleg Victorovich 5 Ziadi, Djelloul 4 Akshay, S. 4 Demri, Stéphane P. 4 Di Giusto, Cinzia 4 Fortin, Marie-Josée 4 Fülöp, Zoltán 4 Glaßer, Christian 4 Hélouët, Loïc 4 Mignot, Ludovic 4 Schweikardt, Nicole 4 Siemer, Stefan 4 Thinniyam, Ramanathan S. 4 Vogler, Heiko 4 Abu Zaid, Faried 3 Attou, Samira 3 Aubrun, Nathalie 3 Baudru, Nicolas 3 Boker, Udi 3 Bravetti, Mario 3 Haar, Stefan 3 Habermehl, Peter 3 Huschenbett, Martin 3 Jeandel, Emmanuel 3 Kaiser, Lukasz 3 Kuich, Werner 3 Lange, Julien 3 Laversa, Laetitia 3 Malheiro, António 3 Mašulović, Dragan 3 Mathissen, Christian 3 Parchami, Shaghayegh 3 Praveen, M. 3 Rabinovich, Alexander 3 Rosendal, Christian 3 Schlicht, Philipp 3 Thiagarajan, Pazhamaneri Subramaniam 3 Yang, Shaofa 3 Zavattaro, Gianluigi 2 Adler, Isolde 2 Baier, Christel 2 Bárány, Vince 2 Barbieri, Sebastián 2 Baumann, Pascal 2 Bodirsky, Manuel 2 Bojańczyk, Mikołaj 2 Bracho, Felipe 2 Calude, Cristian S. 2 Carbone, Marco 2 Cenzer, Douglas 2 Chatterjee, Krishnendu 2 Cherroun, Hadda 2 Czeizler, Elena 2 Czeizler, Eugen 2 De Oliveira Oliveira, Mateus 2 Doyen, Laurent 2 Dück, Stefan 2 Ésik, Zoltán 2 Falcone, Yliès 2 Fried, Dror 2 Ganardi, Moses 2 Gazagnaire, Thomas 2 Gould, Victoria A. R. 2 Grädel, Erich 2 Grindei, Manuela-Lidia 2 Haase, Christoph 2 Heimberg, Lucas 2 Henzinger, Thomas A. 2 Hutagalung, Milka ...and 314 more Authors all top 5 Cited in 65 Serials 48 Theoretical Computer Science 20 Information and Computation 16 International Journal of Foundations of Computer Science 16 Logical Methods in Computer Science 11 International Journal of Algebra and Computation 11 Theory of Computing Systems 10 Journal of Algebra 7 Acta Informatica 6 Information Processing Letters 6 Fuzzy Sets and Systems 6 Journal of Computer and System Sciences 6 Semigroup Forum 4 Discrete Mathematics 4 The Journal of Symbolic Logic 4 Annals of Pure and Applied Logic 4 RAIRO. Theoretical Informatics and Applications 4 Natural Computing 4 RAIRO. Theoretical Informatics and Applications 3 Proceedings of the American Mathematical Society 3 Siberian Mathematical Journal 3 European Journal of Combinatorics 3 Forum Mathematicum 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 SIAM Journal on Computing 2 Transactions of the American Mathematical Society 2 Discrete Event Dynamic Systems 2 Formal Methods in System Design 2 Discrete Mathematics and Theoretical Computer Science. DMTCS 2 Fundamenta Informaticae 2 Journal of the Australian Mathematical Society 2 Journal of Algebra and its Applications 2 Journal of Applied Logic 1 Journal of Mathematical Physics 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Information Sciences 1 Kybernetika 1 Mathematika 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 Order 1 International Journal of Computer Mathematics 1 Russian Mathematics 1 Mathematical Logic Quarterly (MLQ) 1 The Electronic Journal of Combinatorics 1 The Bulletin of Symbolic Logic 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Group Theory 1 Journal of Mathematical Logic 1 Central European Journal of Mathematics 1 Algebra and Discrete Mathematics 1 ACM Transactions on Computational Logic 1 Oberwolfach Reports 1 Mathematics in Computer Science 1 Groups, Geometry, and Dynamics 1 Groups, Complexity, Cryptology 1 Forum of Mathematics, Sigma 1 Computability 1 Journal of Logical and Algebraic Methods in Programming 1 Journal of Applied and Computational Topology all top 5 Cited in 25 Fields 277 Computer science (68-XX) 157 Mathematical logic and foundations (03-XX) 72 Group theory and generalizations (20-XX) 33 Combinatorics (05-XX) 19 Order, lattices, ordered algebraic structures (06-XX) 10 General topology (54-XX) 8 General algebraic systems (08-XX) 7 Dynamical systems and ergodic theory (37-XX) 5 Associative rings and algebras (16-XX) 5 Category theory; homological algebra (18-XX) 5 Probability theory and stochastic processes (60-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Topological groups, Lie groups (22-XX) 2 Commutative algebra (13-XX) 2 Geometry (51-XX) 2 Algebraic topology (55-XX) 2 Manifolds and cell complexes (57-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 General and overarching topics; collections (00-XX) 1 Number theory (11-XX) 1 Measure and integration (28-XX) 1 Functional analysis (46-XX) 1 Relativity and gravitational theory (83-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year