Edit Profile Kuske, Dietrich Compute Distance To: Compute Author ID: kuske.dietrich Published as: Kuske, D.; Kuske, Dietrich Documents Indexed: 101 Publications since 1994, including 1 Book all top 5 Co-Authors 27 single-authored 14 Lohrey, Markus 13 Droste, Manfred 6 Bollig, Benedikt 6 Gastin, Paul 6 Meinecke, Ingmar 5 Genest, Blaise 5 Liu, Jiamou 5 Muscholl, Anca 4 Zetzsche, Georg 3 Schweikardt, Nicole 3 Thomas, Richard M. 2 Borchert, Bernd 2 Bracho, Felipe 2 Corran, Ruth 2 Heimberg, Lucas 2 Hoffmann, Michael H. G. 2 Huschenbett, Martin 2 Köcher, Chris 2 Mennicke, Roy 2 Morin, Rémi 2 Moskvina, Anastasia 2 Prianychnykova, Olena 2 Stephan, Frank 2 Truss, John Kenneth 1 Fohry, Egbert 1 Habermehl, Peter 1 Hoffmann, Michael H. W. 1 Hölldobler, Steffen 1 Hundeshagen, Norbert 1 Hutagalung, Milka 1 Kummetz, Ralph 1 Lange, Martin 1 Lozes, Etienne 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 all top 5 Serials 9 Theoretical Computer Science 5 Information and Computation 3 The Journal of Symbolic Logic 3 Theory of Computing Systems 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 Logical Methods in Computer Science 2 RAIRO. Theoretical Informatics and Applications 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 MSCS. 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 78 Computer science (68-XX) 55 Mathematical logic and foundations (03-XX) 17 Group theory and generalizations (20-XX) 10 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) Publications by Year all cited Publications top 5 cited Publications 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.03005Kuske, Dietrich; Lohrey, Markus 18 2005 A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Zbl 1104.68066Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 14 2006 First-order and counting theories of \(\omega\)-automatic structures. Zbl 1141.03015Kuske, Dietrich; Lohrey, Markus 13 2008 Skew and infinitary formal power series. Zbl 1154.68067Droste, Manfred; Kuske, Dietrich 13 2006 Theories of orders on the set of words. Zbl 1098.03021Kuske, Dietrich 12 2006 Infinite series-parallel posets: Logic and languages. Zbl 0973.68164Kuske, Dietrich 11 2000 Towards a language theory for infinite N-free pomsets. Zbl 1040.68055Kuske, Dietrich 10 2003 Recognizable languages in divisibility monoids. Zbl 0994.68083Droste, Manfred; Kuske, Dietrich 9 2001 Generic automorphisms of the universal partial order. Zbl 0983.06004Kuske, D.; Truss, J. K. 9 2001 On existentially first-order definable languages and their relation to NP. Zbl 0949.03035Borchert, Bernd; Kuske, Dietrich; Stephan, Frank 9 1999 Regular sets of infinite message sequence charts. Zbl 1082.68056Kuske, Dietrich 8 2003 Skew and infinitary formal power series. Zbl 1039.68065Droste, Manfred; Kuske, Dietrich 8 2003 On random relational structures. Zbl 1026.03020Droste, Manfred; Kuske, Dietrich 8 2003 On homogeneous semilattices and their automorphism groups. Zbl 0945.06001Droste, Manfred; Kuske, Dietrich; Truss, John K. 8 1999 Logical aspects of Cayley-graphs: the monoid case. Zbl 1151.03003Kuske, Dietrich; Lohrey, Markus 7 2006 Satisfiability and model checking for MSO-definable temporal logics are in PSPACE. Zbl 1195.68068Gastin, Paul; Kuske, Dietrich 7 2003 Some relatives of automatic and hyperbolic groups. Zbl 1031.20047Hoffmann, Michael; Kuske, Dietrich; Otto, Friedrich; Thomas, Richard M. 7 2002 The isomorphism problem on classes of automatic structures with transitive relations. Zbl 1308.03049Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus 6 2013 Divisibility monoids: Presentation, word problem, and rational languages. Zbl 0999.68129Kuske, Dietrich 6 2001 Nondeterministic automata with concurrency relations and domains. Zbl 0938.68743Kuske, D. 6 1994 Singular Artin monoids of finite Coxeter type are automatic. Zbl 1295.20062Corran, Ruth; Hoffmann, Michael; Kuske, Dietrich; Thomas, Richard M. 5 2011 Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces. Zbl 1195.68069Gastin, Paul; Kuske, Dietrich 5 2010 The role of the complementarity relation in Watson-Crick automata and sticker systems. Zbl 1117.68407Kuske, Dietrich; Weigel, Peter 5 2004 Asynchronous cellular automata for pomsets. Zbl 0949.68086Droste, 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.68203Kuske, Dietrich; Prianychnykova, Olena 4 2016 The monoid of queue actions. Zbl 1386.68079Huschenbett, Martin; Kuske, Dietrich; Zetzsche, Georg 4 2014 Construction of tree automata from regular expressions. Zbl 1236.68173Kuske, Dietrich; Meinecke, Ingmar 4 2011 The isomorphism problem for \(\omega \)-automatic trees. Zbl 1287.03084Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus 4 2010 On communicating automata with bounded channels. Zbl 1137.68447Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 4 2007 Branching automata with costs – a way of reflecting parallelism in costs. Zbl 1071.68044Kuske, Dietrich; Meinecke, Ingmar 4 2004 Pomsets for local trace languages – recognizability, logic \(\&\) Petri nets. Zbl 0999.68530Kuske, Dietrich; Morin, Rémi 4 2000 Asynchronous cellular automata and asynchronous automata for pomsets. Zbl 0946.68095Kuske, Dietrich 4 1998 Representation of computations in concurrent automata by dependence orders. Zbl 0902.68126Bracho, Felipe; Droste, Manfred; Kuske, Dietrich 4 1997 Isomorphisms of scattered automatic linear orders. Zbl 1358.03062Kuske, Dietrich 3 2014 The complexity of model checking multi-stack systems. Zbl 1366.68164Bollig, Benedikt; Kuske, Dietrich; Mennicke, Roy 3 2013 Automatic structures of bounded degree revisited. Zbl 1272.03148Kuske, Dietrich; Lohrey, Markus 3 2011 Muller message-passing automata and logics. Zbl 1154.68064Bollig, Benedikt; Kuske, Dietrich 3 2008 Schützenberger’s theorem on formal power series follows from Kleene’s theorem. Zbl 1147.68043Kuske, Dietrich 3 2008 Weighted asynchronous cellular automata. Zbl 1164.68023Kuske, Dietrich 3 2007 Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces. Zbl 1137.68446Gastin, Paul; Kuske, Dietrich 3 2007 On graph products of automatic and biautomatic monoids. Zbl 1124.20040Fohry, Egbert; Kuske, Dietrich 3 2006 A further step towards a theory of regular MSC languages. Zbl 1054.68538Kuske, Dietrich 3 2002 A model theoretic proof of Büchi-type theorems and first-order logic for N-free pomsets. Zbl 0976.03045Kuske, Dietrich 3 2001 Complementary closed relational clones are not always Krasner clones. Zbl 0982.08002Droste, M.; Kuske, D.; McKenzie, R.; Pöschel, R. 3 2001 Recognizable and logically definable languages of infinite computations in concurrent automata. Zbl 1319.68133Droste, Manfred; Kuske, Dietrich 3 1998 Models for concurrent processes: Monoid residual systems and automata. Zbl 0900.68216Kuske, Dietrich 3 1994 The isomorphism problem for \(\omega \)-automatic trees. Zbl 1273.03125Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus 2 2013 An optimal construction of Hanf sentences. Zbl 1258.03048Bollig, Benedikt; Kuske, Dietrich 2 2012 Is Ramsey’s theorem \(\omega\)-automatic? Zbl 1230.03067Kuske, Dietrich 2 2010 Propositional dynamic logic for message-passing systems. Zbl 1201.03016Bollig, Benedikt; Kuske, Dietrich; Meinecke, Ingmar 2 2010 Some natural decision problems in automatic graphs. Zbl 1192.03010Kuske, Dietrich; Lohrey, Markus 2 2010 Construction of tree automata from regular expressions. Zbl 1159.68018Kuske, Dietrich; Meinecke, Ingmar 2 2008 Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces. Zbl 1128.68061Gastin, Paul; Kuske, Dietrich 2 2007 On communicating automata with bounded channels. Zbl 1128.68062Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 2 2007 Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces. Zbl 1134.68436Gastin, Paul; Kuske, Dietrich 2 2005 A Kleene theorem for a class of communicating automata with effective algorithms. Zbl 1117.68403Genest, Blaise; Muscholl, Anca; Kuske, Dietrich 2 2004 Is Cantor’s theorem automatic? Zbl 1273.03124Kuske, Dietrich 2 2003 The topology of Mazurkiewicz traces. Zbl 1100.68590Kummetz, Ralph; Kuske, Dietrich 2 2003 Decidable theories of Cayley-graphs. Zbl 1036.03009Kuske, Dietrich; Lohrey, Markus 2 2003 Pomsets for local trace languages. Zbl 1031.68070Kuske, Dietrich; Morin, Rémi 2 2002 Trace languages definable with modular quantifiers. Zbl 1096.68653Droste, Manfred; Kuske, Dietrich 2 1996 Dependence orders for computations of concurrent automata. Zbl 1379.68246Bracho, Felipe; Droste, Manfred; Kuske, Dietrich 2 1995 The monoid of queue actions. Zbl 1400.68094Huschenbett, Martin; Kuske, Dietrich; Zetzsche, Georg 1 2017 The transformation monoid of a partially lossy queue. Zbl 06763506Köcher, Chris; Kuske, Dietrich 1 2017 Hanf normal form for first-order logic with unary counting quantifiers. Zbl 1394.03061Heimberg, Lucas; Kuske, Dietrich; Schweikardt, Nicole 1 2016 Infinite and bi-infinite words with decidable monadic theories. Zbl 1434.03102Kuske, Dietrich; Liu, Jiamou; Moskvina, Anastasia 1 2015 Logical aspects of the lexicographic order on 1-counter languages. Zbl 1400.68109Kuske, Dietrich 1 2013 Isomorphisms of scattered automatic linear orders. Zbl 1252.03103Kuske, Dietrich 1 2012 Where automatic structures benefit from weighted automata. Zbl 1349.03039Kuske, Dietrich 1 2011 Size and computation of injective tree automatic presentations. Zbl 1343.03029Kuske, Dietrich; Weidner, Thomas 1 2011 Automatic structures of bounded degree revisited. Zbl 1257.03032Kuske, Dietrich; Lohrey, Markus 1 2009 Theories of automatic structures and their complexity. Zbl 1256.03044Kuske, Dietrich 1 2009 Almost every domain is universal. Zbl 1316.68066Droste, Manfred; Kuske, Dietrich 1 2007 Propositional dynamic logic for message-passing systems. Zbl 1135.03335Bollig, Benedikt; Kuske, Dietrich; Meinecke, Ingmar 1 2007 Weighted asynchronous cellular automata. Zbl 1136.68435Kuske, Dietrich 1 2006 First-order and counting theories of \(\omega\)-automatic structures. Zbl 1138.03032Kuske, Dietrich; Lohrey, Markus 1 2006 Snapshot verification. Zbl 1087.68055Genest, Blaise; Kuske, Dietrich; Muscholl, Anca; Peled, Doron 1 2005 Decidable first-order theories of one-step rewriting in trace monoids. Zbl 1061.68086Kuske, Dietrich; Lohrey, Markus 1 2005 Branching automata with costs – a way of reflecting parallelism in costs. Zbl 1279.68162Kuske, Dietrich; Meinecke, Ingmar 1 2003 Recognizable sets of N-free pomsets are monadically axiomatizable. Zbl 1073.03022Kuske, Dietrich 1 2002 Emptiness is decidable for asynchronous cellular machines. Zbl 0999.68132Kuske, Dietrich 1 2000 On existentially first-order definable languages and their relation to NP. Zbl 0917.68076Borchert, Bernd; Kuske, Dietrich; Stephan, Frank 1 1998 The monoid of queue actions. Zbl 1400.68094Huschenbett, Martin; Kuske, Dietrich; Zetzsche, Georg 1 2017 The transformation monoid of a partially lossy queue. Zbl 06763506Köcher, Chris; Kuske, Dietrich 1 2017 The trace monoids in the queue monoid and in the direct product of two free monoids. Zbl 1436.68203Kuske, Dietrich; Prianychnykova, Olena 4 2016 Hanf normal form for first-order logic with unary counting quantifiers. Zbl 1394.03061Heimberg, Lucas; Kuske, Dietrich; Schweikardt, Nicole 1 2016 Infinite and bi-infinite words with decidable monadic theories. Zbl 1434.03102Kuske, Dietrich; Liu, Jiamou; Moskvina, Anastasia 1 2015 The monoid of queue actions. Zbl 1386.68079Huschenbett, Martin; Kuske, Dietrich; Zetzsche, Georg 4 2014 Isomorphisms of scattered automatic linear orders. Zbl 1358.03062Kuske, Dietrich 3 2014 The isomorphism problem on classes of automatic structures with transitive relations. Zbl 1308.03049Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus 6 2013 The complexity of model checking multi-stack systems. Zbl 1366.68164Bollig, Benedikt; Kuske, Dietrich; Mennicke, Roy 3 2013 The isomorphism problem for \(\omega \)-automatic trees. Zbl 1273.03125Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus 2 2013 Logical aspects of the lexicographic order on 1-counter languages. Zbl 1400.68109Kuske, Dietrich 1 2013 An optimal construction of Hanf sentences. Zbl 1258.03048Bollig, Benedikt; Kuske, Dietrich 2 2012 Isomorphisms of scattered automatic linear orders. Zbl 1252.03103Kuske, Dietrich 1 2012 Singular Artin monoids of finite Coxeter type are automatic. Zbl 1295.20062Corran, Ruth; Hoffmann, Michael; Kuske, Dietrich; Thomas, Richard M. 5 2011 Construction of tree automata from regular expressions. Zbl 1236.68173Kuske, Dietrich; Meinecke, Ingmar 4 2011 Automatic structures of bounded degree revisited. Zbl 1272.03148Kuske, Dietrich; Lohrey, Markus 3 2011 Where automatic structures benefit from weighted automata. Zbl 1349.03039Kuske, Dietrich 1 2011 Size and computation of injective tree automatic presentations. Zbl 1343.03029Kuske, Dietrich; Weidner, Thomas 1 2011 Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces. Zbl 1195.68069Gastin, Paul; Kuske, Dietrich 5 2010 The isomorphism problem for \(\omega \)-automatic trees. Zbl 1287.03084Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus 4 2010 Is Ramsey’s theorem \(\omega\)-automatic? Zbl 1230.03067Kuske, Dietrich 2 2010 Propositional dynamic logic for message-passing systems. Zbl 1201.03016Bollig, Benedikt; Kuske, Dietrich; Meinecke, Ingmar 2 2010 Some natural decision problems in automatic graphs. Zbl 1192.03010Kuske, Dietrich; Lohrey, Markus 2 2010 Automatic structures of bounded degree revisited. Zbl 1257.03032Kuske, Dietrich; Lohrey, Markus 1 2009 Theories of automatic structures and their complexity. Zbl 1256.03044Kuske, Dietrich 1 2009 First-order and counting theories of \(\omega\)-automatic structures. Zbl 1141.03015Kuske, Dietrich; Lohrey, Markus 13 2008 Muller message-passing automata and logics. Zbl 1154.68064Bollig, Benedikt; Kuske, Dietrich 3 2008 Schützenberger’s theorem on formal power series follows from Kleene’s theorem. Zbl 1147.68043Kuske, Dietrich 3 2008 Construction of tree automata from regular expressions. Zbl 1159.68018Kuske, Dietrich; Meinecke, Ingmar 2 2008 On communicating automata with bounded channels. Zbl 1137.68447Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 4 2007 Weighted asynchronous cellular automata. Zbl 1164.68023Kuske, Dietrich 3 2007 Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces. Zbl 1137.68446Gastin, Paul; Kuske, Dietrich 3 2007 Uniform satisfiability in PSPACE for local temporal logics over Mazurkiewicz traces. Zbl 1128.68061Gastin, Paul; Kuske, Dietrich 2 2007 On communicating automata with bounded channels. Zbl 1128.68062Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 2 2007 Almost every domain is universal. Zbl 1316.68066Droste, Manfred; Kuske, Dietrich 1 2007 Propositional dynamic logic for message-passing systems. Zbl 1135.03335Bollig, Benedikt; Kuske, Dietrich; Meinecke, Ingmar 1 2007 A Kleene theorem and model checking algorithms for existentially bounded communicating automata. Zbl 1104.68066Genest, Blaise; Kuske, Dietrich; Muscholl, Anca 14 2006 Skew and infinitary formal power series. Zbl 1154.68067Droste, Manfred; Kuske, Dietrich 13 2006 Theories of orders on the set of words. Zbl 1098.03021Kuske, Dietrich 12 2006 Logical aspects of Cayley-graphs: the monoid case. Zbl 1151.03003Kuske, Dietrich; Lohrey, Markus 7 2006 On graph products of automatic and biautomatic monoids. Zbl 1124.20040Fohry, Egbert; Kuske, Dietrich 3 2006 Weighted asynchronous cellular automata. Zbl 1136.68435Kuske, Dietrich 1 2006 First-order and counting theories of \(\omega\)-automatic structures. Zbl 1138.03032Kuske, Dietrich; Lohrey, Markus 1 2006 Logical aspects of Cayley-graphs: the group case. Zbl 1063.03005Kuske, Dietrich; Lohrey, Markus 18 2005 Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces. Zbl 1134.68436Gastin, Paul; Kuske, Dietrich 2 2005 Snapshot verification. Zbl 1087.68055Genest, Blaise; Kuske, Dietrich; Muscholl, Anca; Peled, Doron 1 2005 Decidable first-order theories of one-step rewriting in trace monoids. Zbl 1061.68086Kuske, Dietrich; Lohrey, Markus 1 2005 The role of the complementarity relation in Watson-Crick automata and sticker systems. Zbl 1117.68407Kuske, Dietrich; Weigel, Peter 5 2004 Branching automata with costs – a way of reflecting parallelism in costs. Zbl 1071.68044Kuske, Dietrich; Meinecke, Ingmar 4 2004 A Kleene theorem for a class of communicating automata with effective algorithms. Zbl 1117.68403Genest, Blaise; Muscholl, Anca; Kuske, Dietrich 2 2004 Towards a language theory for infinite N-free pomsets. Zbl 1040.68055Kuske, Dietrich 10 2003 Regular sets of infinite message sequence charts. Zbl 1082.68056Kuske, Dietrich 8 2003 Skew and infinitary formal power series. Zbl 1039.68065Droste, Manfred; Kuske, Dietrich 8 2003 On random relational structures. Zbl 1026.03020Droste, Manfred; Kuske, Dietrich 8 2003 Satisfiability and model checking for MSO-definable temporal logics are in PSPACE. Zbl 1195.68068Gastin, Paul; Kuske, Dietrich 7 2003 Is Cantor’s theorem automatic? Zbl 1273.03124Kuske, Dietrich 2 2003 The topology of Mazurkiewicz traces. Zbl 1100.68590Kummetz, Ralph; Kuske, Dietrich 2 2003 Decidable theories of Cayley-graphs. Zbl 1036.03009Kuske, Dietrich; Lohrey, Markus 2 2003 Branching automata with costs – a way of reflecting parallelism in costs. Zbl 1279.68162Kuske, Dietrich; Meinecke, Ingmar 1 2003 Some relatives of automatic and hyperbolic groups. Zbl 1031.20047Hoffmann, Michael; Kuske, Dietrich; Otto, Friedrich; Thomas, Richard M. 7 2002 A further step towards a theory of regular MSC languages. Zbl 1054.68538Kuske, Dietrich 3 2002 Pomsets for local trace languages. Zbl 1031.68070Kuske, Dietrich; Morin, Rémi 2 2002 Recognizable sets of N-free pomsets are monadically axiomatizable. Zbl 1073.03022Kuske, Dietrich 1 2002 Recognizable languages in divisibility monoids. Zbl 0994.68083Droste, Manfred; Kuske, Dietrich 9 2001 Generic automorphisms of the universal partial order. Zbl 0983.06004Kuske, D.; Truss, J. K. 9 2001 Divisibility monoids: Presentation, word problem, and rational languages. Zbl 0999.68129Kuske, Dietrich 6 2001 A model theoretic proof of Büchi-type theorems and first-order logic for N-free pomsets. Zbl 0976.03045Kuske, Dietrich 3 2001 Complementary closed relational clones are not always Krasner clones. Zbl 0982.08002Droste, M.; Kuske, D.; McKenzie, R.; Pöschel, R. 3 2001 Infinite series-parallel posets: Logic and languages. Zbl 0973.68164Kuske, Dietrich 11 2000 Asynchronous cellular automata for pomsets. Zbl 0949.68086Droste, M.; Gastin, P.; Kuske, D. 5 2000 Pomsets for local trace languages – recognizability, logic \(\&\) Petri nets. Zbl 0999.68530Kuske, Dietrich; Morin, Rémi 4 2000 Emptiness is decidable for asynchronous cellular machines. Zbl 0999.68132Kuske, Dietrich 1 2000 On existentially first-order definable languages and their relation to NP. Zbl 0949.03035Borchert, Bernd; Kuske, Dietrich; Stephan, Frank 9 1999 On homogeneous semilattices and their automorphism groups. Zbl 0945.06001Droste, Manfred; Kuske, Dietrich; Truss, John K. 8 1999 Asynchronous cellular automata and asynchronous automata for pomsets. Zbl 0946.68095Kuske, Dietrich 4 1998 Recognizable and logically definable languages of infinite computations in concurrent automata. Zbl 1319.68133Droste, Manfred; Kuske, Dietrich 3 1998 On existentially first-order definable languages and their relation to NP. Zbl 0917.68076Borchert, Bernd; Kuske, Dietrich; Stephan, Frank 1 1998 Representation of computations in concurrent automata by dependence orders. Zbl 0902.68126Bracho, Felipe; Droste, Manfred; Kuske, Dietrich 4 1997 Trace languages definable with modular quantifiers. Zbl 1096.68653Droste, Manfred; Kuske, Dietrich 2 1996 Dependence orders for computations of concurrent automata. Zbl 1379.68246Bracho, Felipe; Droste, Manfred; Kuske, Dietrich 2 1995 Nondeterministic automata with concurrency relations and domains. Zbl 0938.68743Kuske, D. 6 1994 Models for concurrent processes: Monoid residual systems and automata. Zbl 0900.68216Kuske, Dietrich 3 1994 all cited Publications top 5 cited Publications 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 all top 5 Cited in 23 Fields 158 Computer science (68-XX) 97 Mathematical logic and foundations (03-XX) 53 Group theory and generalizations (20-XX) 24 Combinatorics (05-XX) 16 Order, lattices, ordered algebraic structures (06-XX) 7 General topology (54-XX) 6 General algebraic systems (08-XX) 5 Dynamical systems and ergodic theory (37-XX) 3 Associative rings and algebras (16-XX) 3 Category theory; homological algebra (18-XX) 3 Geometry (51-XX) 3 Probability theory and stochastic processes (60-XX) 2 Commutative algebra (13-XX) 2 Topological groups, Lie groups (22-XX) 2 Manifolds and cell complexes (57-XX) 2 Systems theory; control (93-XX) 1 Number theory (11-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Statistics (62-XX) 1 Relativity and gravitational theory (83-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year