Edit Profile (opens in new tab) Droste, Manfred Compute Distance To: Compute Author ID: droste.manfred Published as: Droste, Manfred; Droste, M. Documents Indexed: 180 Publications since 1979, including 3 Books 14 Contributions as Editor Reviewing Activity: 54 Reviews Co-Authors: 72 Co-Authors with 154 Joint Publications 1,732 Co-Co-Authors all top 5 Co-Authors 34 single-authored 21 Vogler, Heiko 19 Göbel, Rüdiger 14 Kuske, Dietrich 12 Kuich, Werner 8 Gastin, Paul 8 Rahonis, George 8 Truss, John Kenneth 7 Perevoshchikov, Vitaly 6 Holland, Wilbur Charles jun. 6 Meinecke, Ingmar 5 Dück, Stefan 5 Giraudet, Michèle 5 Macpherson, Dugald 5 Shortt, Rae Michael 4 Babari, Parvaneh 4 Bracho, Felipe 4 Fülöp, Zoltán 4 Götze, Doreen 4 Macpherson, Hugh Dugald 3 Ésik, Zoltán 3 Fuchs, László 3 Shelah, Saharon 3 Strüngmann, Lutz H. 2 Ćirić, Miroslav D. 2 Dziadek, Sven 2 Herrmann, Luisa 2 Heusel, Doreen 2 Kószó, Dávid 2 Kutsia, Temur 2 Mandrioli, Dino 2 Pibaljommee, Bundit 2 Pöschel, Reinhard 2 Pradella, Matteo 2 Quaas, Karin 2 Schreiner, Wolfgang 2 Tent, Katrin 1 Ball, Richard N. 1 Bludov, Vasiliĭ Vasil’evich 1 Boldi, Paolo 1 Cardone, Felice 1 Chajda, Ivan 1 Eigenthaler, Günther 1 Glass, Andrew M. W. 1 Goldsmith, Brendan 1 Gray, Robert D. 1 Gurevich, Yuri 1 Huang, Fangping 1 Ignjatović, Jelena 1 Kari, Jarkko 1 Kotsireas, Ilias S. 1 Lei, Lihui 1 Li, Yongming 1 Maletti, Andreas 1 Märcker, Steffen 1 McCleary, Stephen H. 1 McKenzie, Ralph N. 1 Mekler, Alan H. 1 Muller, Winfried B. 1 Paul, Erik 1 Pech, Christian 1 Pin, Jean-Eric 1 Pokutta, Sebastian 1 Püschmann, Ulrike 1 Rivin, Igor 1 Rolland, Robert 1 Sakarovitch, Jacques 1 Sauer, Norbert W. 1 Šešelja, Branimir 1 Steinby, Paula 1 Stüber, Torsten 1 Tepavčević, Andreja 1 Ulbrich, Georg all top 5 Serials 19 Theoretical Computer Science 13 Information and Computation 7 Order 6 International Journal of Foundations of Computer Science 5 Algebra Universalis 4 Proceedings of the American Mathematical Society 4 Forum Mathematicum 4 Theory of Computing Systems 3 Bulletin of the London Mathematical Society 3 Information Sciences 3 Proceedings of the London Mathematical Society. Third Series 3 Transactions of the American Mathematical Society 3 International Journal of Algebra and Computation 3 MSCS. Mathematical Structures in Computer Science 3 Journal of Automata, Languages and Combinatorics 3 Fundamenta Informaticae 2 Israel Journal of Mathematics 2 Acta Cybernetica 2 Journal of Combinatorial Theory. Series A 2 Journal of Combinatorial Theory. Series B 2 Journal of the London Mathematical Society. Second Series 2 Pacific Journal of Mathematics 2 The Quarterly Journal of Mathematics. Oxford Second Series 2 Semigroup Forum 2 Applied Categorical Structures 2 Algebra, Logic and Applications 2 Logical Methods in Computer Science 1 Discrete Mathematics 1 Information Processing Letters 1 Journal of Mathematical Physics 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Archiv der Mathematik 1 Canadian Journal of Mathematics 1 Demonstratio Mathematica 1 Glasgow Mathematical Journal 1 Journal of Algebra 1 Journal of Computer and System Sciences 1 Journal of Mathematical Psychology 1 Manuscripta Mathematica 1 Mathematica Slovaca 1 Memoirs of the American Mathematical Society 1 Topology and its Applications 1 European Journal of Combinatorics 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Journal of Logic and Computation 1 Russian Mathematics 1 Mathematical Logic Quarterly (MLQ) 1 Soft Computing 1 Journal of Group Theory 1 Seminarbericht, Humboldt-Universität zu Berlin, Sektion Mathematik 1 Contemporary Mathematics 1 Contributions to General Algebra 1 Lecture Notes in Computer Science 1 Monographs in Theoretical Computer Science. An EATCS Series all top 5 Fields 117 Computer science (68-XX) 57 Mathematical logic and foundations (03-XX) 56 Group theory and generalizations (20-XX) 50 Order, lattices, ordered algebraic structures (06-XX) 13 General and overarching topics; collections (00-XX) 11 Category theory; homological algebra (18-XX) 10 Combinatorics (05-XX) 7 Associative rings and algebras (16-XX) 5 General algebraic systems (08-XX) 4 Measure and integration (28-XX) 4 Probability theory and stochastic processes (60-XX) 3 History and biography (01-XX) 3 General topology (54-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Manifolds and cell complexes (57-XX) 1 Commutative algebra (13-XX) 1 Topological groups, Lie groups (22-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Relativity and gravitational theory (83-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 149 Publications have been cited 1,120 times in 514 Documents Cited by ▼ Year ▼ Handbook of weighted automata. Zbl 1200.68001 129 2009 Weighted automata and weighted logics. Zbl 1118.68076Droste, Manfred; Gastin, Paul 71 2007 Weighted tree automata and weighted logics. Zbl 1154.68068Droste, Manfred; Vogler, Heiko 29 2006 Structure of partially ordered sets with transitive automorphism groups. Zbl 0574.06001Droste, Manfred 29 1985 Weighted finite automata over strong bimonoids. Zbl 1183.68337Droste, Manfred; Stüber, Torsten; Vogler, Heiko 28 2010 Weighted automata and weighted logics. Zbl 1084.03036Droste, Manfred; Gastin, Paul 28 2005 Generating automorphism groups of chains. Zbl 1093.20016Droste, Manfred; Holland, W. Charles 24 2005 Weighted automata and multi-valued logics over arbitrary bounded lattices. Zbl 1245.03060Droste, Manfred; Vogler, Heiko 23 2012 Determinization of weighted finite automata over strong bimonoids. Zbl 1205.68198Ćirić, Miroslav; Droste, Manfred; Ignjatović, Jelena; Vogler, Heiko 22 2010 Uncountable cofinalities of permutation groups. Zbl 1070.20001Droste, Manfred; Göbel, Rüdiger 20 2005 Weighted automata and weighted MSO logics for average and long-time behaviors. Zbl 1279.68148Droste, Manfred; Meinecke, Ingmar 18 2012 A categorical theorem on universal objects and its application in Abelian group theory and computer science. Zbl 0759.18002Droste, Manfred; Göbel, Rüdiger 18 1992 Automorphism groups of infinite semilinear orders. I. Zbl 0636.20003Droste, M.; Holland, W. C.; Macpherson, H. D. 18 1989 A Kleene theorem for weighted tree automata. Zbl 1061.68092Droste, Manfred; Pech, Christian; Vogler, Heiko 15 2005 Skew and infinitary formal power series. Zbl 1154.68067Droste, Manfred; Kuske, Dietrich 14 2006 Weighted automata and weighted logics on infinite words. Zbl 1227.68053Droste, Manfred; Rahonis, George 14 2006 Weighted automata and regular expressions over valuation monoids. Zbl 1251.68130Droste, Manfred; Meinecke, Ingmar 13 2011 Weighted logics for unranked tree automata. Zbl 1226.03048Droste, Manfred; Vogler, Heiko 13 2011 Event structures and domains. Zbl 0678.68080Droste, Manfred 12 1989 On a theorem of Baer, Schreier, and Ulam for permutations. Zbl 0416.20001Droste, Manfred; Göbel, Rüdiger 12 1979 Kleene and Büchi theorems for weighted automata and multi-valued logics over arbitrary bounded lattices. Zbl 1250.03063Droste, Manfred; Vogler, Heiko 11 2010 Describing average- and longtime-behavior by weighted MSO logics. Zbl 1287.03087Droste, Manfred; Meinecke, Ingmar 11 2010 Weighted tree automata over valuation monoids and their characterization by weighted logics. Zbl 1331.68127Droste, Manfred; Götze, Doreen; Märcker, Steffen; Meinecke, Ingmar 11 2011 Universal domains and the amalgamation property. Zbl 0803.68068Droste, Manfred; Göbel, Rüdiger 11 1993 Concurrent automata and domains. Zbl 0820.68045Droste, Manfred 11 1992 Weighted automata and weighted logics with discounting. Zbl 1191.68382Droste, Manfred; Rahonis, George 11 2009 Automorphism groups of infinite semilinear orders. II. Zbl 0636.20004Droste, M.; Holland, W. C.; Macpherson, H. D. 11 1989 On homogeneous semilattices and their automorphism groups. Zbl 0945.06001Droste, Manfred; Kuske, Dietrich; Truss, John K. 10 1999 The Kleene-Schützenberger theorem for formal power series in partially commuting variables. Zbl 1045.68589Droste, Manfred; Gastin, Paul 10 1999 On stable domains. Zbl 0777.68061Droste, Manfred 9 1993 Petri nets and automata with concurrency relations. – An adjunction. Zbl 0795.18003Droste, Manfred; Shortt, R. M. 9 1993 All groups are outer automorphism groups of simple groups. Zbl 1015.20027Droste, Manfred; Giraudet, Michèle; Göbel, Rüdiger 9 2001 Classes of universal words for the infinite symmetric groups. Zbl 0569.20005Droste, Manfred 9 1985 Products of conjugacy classes of the infinite symmetric groups. Zbl 0539.20003Droste, Manfred 9 1983 A Nivat theorem for weighted timed automata and weighted relative distance logic. Zbl 1409.68158Droste, Manfred; Perevoshchikov, Vitaly 9 2014 Non-deterministic information systems and their domains. Zbl 0701.68074Droste, Manfred; Göbel, Rüdiger 9 1990 Products of conjugate permutations. Zbl 0432.20002Droste, Manfred; Göbel, Rüdiger 9 1981 Recognizable languages in divisibility monoids. Zbl 0994.68083Droste, Manfred; Kuske, Dietrich 9 2001 Weighted finite automata over hemirings. Zbl 1292.68103Droste, Manfred; Kuich, Werner 8 2013 Set-homogeneous graphs. Zbl 0799.03034Droste, Manfred; Giraudet, Michele; Macpherson, Dugald; Sauer, Norbert 8 1994 On random relational structures. Zbl 1026.03020Droste, Manfred; Kuske, Dietrich 8 2003 Normal subgroups of doubly transitive automorphism groups of chains. Zbl 0578.06001Ball, Richard N.; Droste, Manfred 8 1985 Recognizable languages in concurrency monoids. Zbl 0874.68167Droste, Manfred 8 1995 Skew and infinitary formal power series. Zbl 1039.68065Droste, Manfred; Kuske, Dietrich 8 2003 Labelled domains and automata with concurrency. Zbl 0829.68087Bracho, Felipe; Droste, Manfred 8 1994 Universal homogeneous causal sets. Zbl 1111.83016Droste, Manfred 7 2005 On aperiodic and star-free formal power series in partially commuting variables. Zbl 0961.68076Droste, Manfred; Gastin, Paul 7 2000 Asynchronous cellular automata for pomsets. Zbl 0949.68086Droste, M.; Gastin, P.; Kuske, D. 7 2000 A weighted MSO logic with storage behaviour and its Büchi-Elgot-Trakhtenbrot theorem. Zbl 1443.03018Vogler, Heiko; Droste, Manfred; Herrmann, Luisa 7 2016 Multi-valued MSO logics over words and trees. Zbl 1157.03016Droste, Manfred; Kuich, Werner; Rahonis, George 7 2008 The normal subgroup lattice of 2-transitive automorphism groups of linearly ordered sets. Zbl 0583.06001Droste, Manfred 7 1985 The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1315.68169Droste, Manfred; Vogler, Heiko 7 2014 On the universality of systems of words in permutation groups. Zbl 0541.20003Droste, Manfred; Shelah, Saharon 6 1987 On weighted Büchi automata with order-complete weights. Zbl 1120.68066Droste, Manfred; Püschmann, Ulrike 6 2007 Weighted automata and weighted logics with discounting. Zbl 1139.68361Droste, Manfred; Rahonis, George 6 2007 McLain groups over arbitrary rings and orderings. Zbl 0839.20050Droste, Manfred; Göbel, Rüdiger 6 1995 Cubes of conjugacy classes covering the infinite symmetric group. Zbl 0526.20003Droste, Manfred 6 1985 Concurrency, automata and domains. Zbl 0765.68100Droste, Manfred 6 1990 \(\kappa\)-homogeneous relations and tournaments. Zbl 0678.04001Droste, Manfred 6 1989 On k-homogeneous posets and graphs. Zbl 0724.06002Droste, M.; Macpherson, H. D. 6 1991 Ordinal scales in the theory of measurement. Zbl 0616.92012Droste, Manfred 6 1987 Uncountable cofinalities of automorphism groups of linear and partial orders. Zbl 1192.06002Droste, Manfred; Truss, John K. 5 2009 On full groups of measure-preserving and ergodic transformations with uncountable cofinalities. Zbl 1146.20029Droste, Manfred; Holland, W. Charles; Ulbrich, Georg 5 2008 Partially ordered sets with transitive automorphism groups. Zbl 0582.06006Droste, Manfred 5 1987 Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics. Zbl 1465.68141Droste, Manfred; Heusel, Doreen; Vogler, Heiko 5 2015 The existence of rigid measurable spaces. Zbl 0669.28001Droste, Manfred 5 1989 Recursive domain equations for concrete data structure. Zbl 0679.68149Droste, Manfred 5 1989 A construction of all normal subgroup lattices of 2-transitive automorphism groups of linearly ordered sets. Zbl 0608.06001Droste, Manfred; Shelah, Saharon 5 1985 The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1381.68114Droste, Manfred; Vogler, Heiko 4 2013 Weighted automata with discounting. Zbl 1186.68253Droste, Manfred; Sakarovitch, Jacques; Vogler, Heiko 4 2008 Automorphism groups of totally ordered sets: a retrospective survey. Zbl 1265.06048Bludov, V. V.; Droste, M.; Glass, A. M. W. 4 2011 Absolute graphs with prescribed endomorphism monoid. Zbl 1143.05040Droste, Manfred; Göbel, Rüdiger; Pokutta, Sebastian 4 2008 A Kleene-Schützenberger theorem for weighted timed automata. Zbl 1139.68031Droste, Manfred; Quaas, Karin 4 2008 On aperiodic and star-free formal power series in partially commuting variables. Zbl 1140.68032Droste, Manfred; Gastin, Paul 4 2008 Periodic ordered permutation groups and cyclic orderings. Zbl 0821.20001Droste, Manfred; Giraudet, Michèle; Macpherson, Dugald 4 1995 The automorphism group of the universal distributive lattice. Zbl 1013.06009Droste, Manfred; Macpherson, Dugald 4 2000 On transformations of formal power series. Zbl 1055.68066Droste, Manfred; Zhang, Guo-Qiang 4 2003 Representation of computations in concurrent automata by dependence orders. Zbl 0902.68126Bracho, Felipe; Droste, Manfred; Kuske, Dietrich 4 1997 Simple automorphism groups of cycle-free partial orders. Zbl 0922.20008Droste, M.; Truss, J. K.; Warren, R. 4 1999 Weighted automata and logics on graphs. Zbl 1465.68140Droste, Manfred; Dück, Stefan 4 2015 Automorphism groups of homogeneous semilinear orders: Normal subgroups and commutators. Zbl 0778.06001Droste, M.; Holland, W. C.; Macpherson, H. D. 4 1991 Recognizable and logically definable languages of infinite computations in concurrent automata. Zbl 1319.68133Droste, Manfred; Kuske, Dietrich 4 1998 Model checking of linear-time properties in multi-valued systems. Zbl 1428.68188Li, Yongming; Droste, Manfred; Lei, Lihui 4 2017 From domains to automata with concurrency. Zbl 1418.68134Bracho, Felipe; Droste, Manfred 4 1993 Universal information systems. Zbl 0723.68066Droste, Manfred; Göbel, Rüdiger 4 1990 Weighted automata and logics for infinite nested words. Zbl 1364.68249Droste, Manfred; Dück, Stefan 4 2017 Rigid chains admitting many embeddings. Zbl 0963.06001Droste, M.; Truss, J. K. 4 2001 Super-rigid families of strongly Blackwell spaces. Zbl 0657.28004Droste, Manfred 4 1988 On representing words in the automorphism group of the random graph. Zbl 1122.20015Droste, M.; Truss, J. K. 3 2006 The uncountable cofinality of the automorphism group of the countable universal distributive lattice. Zbl 1245.06017Droste, M.; Truss, J. K. 3 2011 Weighted nested word automata and logics over strong bimonoids. Zbl 1310.68129Droste, Manfred; Pibaljommee, Bundit 3 2014 Aperiodic languages in concurrency monoids. Zbl 0853.68132Droste, Manfred 3 1996 Set-homogeneous graphs and embeddings of total orders. Zbl 0878.05042Droste, Manfred; Giraudet, Michele; Macpherson, Dugald 3 1997 Wechselwirkung der algebraischen Struktur transitiver Automorphismengruppen mit der Geometrie ihres Operationsbereiches. (Dissertation). Zbl 0517.20018Droste, Manfred 3 1982 Logics for weighted timed pushdown automata. Zbl 1465.68142Droste, Manfred; Perevoshchikov, Vitaly 3 2015 A logical characterization of timed pushdown languages. Zbl 1466.68050Droste, Manfred; Perevoshchikov, Vitaly 3 2015 Weighted register automata and weighted logic on data words. Zbl 1482.68124Babari, Parvaneh; Droste, Manfred; Perevoshchikov, Vitaly 3 2016 Finite axiomatizations for universal domains. Zbl 0776.68080Droste, Manfred 3 1992 Weighted automata with storage. Zbl 1435.68164Herrmann, Luisa; Vogler, Heiko; Droste, Manfred 3 2019 Complementary closed relational clones are not always Krasner clones. Zbl 0982.08002Droste, M.; Kuske, D.; McKenzie, R.; Pöschel, R. 3 2001 Logic for \(\omega \)-pushdown automata. Zbl 07452659Droste, Manfred; Dziadek, Sven; Kuich, Werner 1 2022 Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable. Zbl 07371288Droste, Manfred; Fülöp, Zoltán; Kószó, Dávid; Vogler, Heiko 2 2020 Weighted automata with storage. Zbl 1435.68164Herrmann, Luisa; Vogler, Heiko; Droste, Manfred 3 2019 A Kleene theorem for weighted tree automata over tree valuation monoids. Zbl 1439.68014Götze, Doreen; Fülöp, Zoltán; Droste, Manfred 1 2019 Weighted simple reset pushdown automata. Zbl 1427.68144Droste, Manfred; Dziadek, Sven; Kuich, Werner 1 2019 A Nivat theorem for weighted picture automata and weighted MSO logics. Zbl 1423.68242Babari, Parvaneh; Droste, Manfred 1 2019 Weighted register automata and weighted logic on data words. Zbl 1400.68097Babari, Parvaneh; Droste, Manfred; Perevoshchikov, Vitaly 2 2018 Weighted omega-restricted one counter automata. Zbl 1390.68386Droste, Manfred; Kuich, Werner 1 2018 Model checking of linear-time properties in multi-valued systems. Zbl 1428.68188Li, Yongming; Droste, Manfred; Lei, Lihui 4 2017 Weighted automata and logics for infinite nested words. Zbl 1364.68249Droste, Manfred; Dück, Stefan 4 2017 Weighted operator precedence languages. Zbl 1441.68121Droste, Manfred; Dück, Stefan; Mandrioli, Dino; Pradella, Matteo 1 2017 A weighted MSO logic with storage behaviour and its Büchi-Elgot-Trakhtenbrot theorem. Zbl 1443.03018Vogler, Heiko; Droste, Manfred; Herrmann, Luisa 7 2016 Weighted register automata and weighted logic on data words. Zbl 1482.68124Babari, Parvaneh; Droste, Manfred; Perevoshchikov, Vitaly 3 2016 Multi-weighted automata and MSO logic. Zbl 1356.68130Droste, Manfred; Perevoshchikov, Vitaly 2 2016 A Kleene theorem for weighted tree automata over tree valuation monoids. Zbl 1443.68086Droste, Manfred; Fülöp, Zoltán; Götze, Doreen 1 2016 Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics. Zbl 1465.68141Droste, Manfred; Heusel, Doreen; Vogler, Heiko 5 2015 Weighted automata and logics on graphs. Zbl 1465.68140Droste, Manfred; Dück, Stefan 4 2015 Logics for weighted timed pushdown automata. Zbl 1465.68142Droste, Manfred; Perevoshchikov, Vitaly 3 2015 A logical characterization of timed pushdown languages. Zbl 1466.68050Droste, Manfred; Perevoshchikov, Vitaly 3 2015 A Nivat theorem for weighted picture automata and weighted MSO logic. Zbl 1423.68241Babari, Parvaneh; Droste, Manfred 2 2015 The supports of weighted unranked tree automata. Zbl 1341.68088Droste, Manfred; Heusel, Doreen 1 2015 A Nivat theorem for weighted timed automata and weighted relative distance logic. Zbl 1409.68158Droste, Manfred; Perevoshchikov, Vitaly 9 2014 The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1315.68169Droste, Manfred; Vogler, Heiko 7 2014 Weighted nested word automata and logics over strong bimonoids. Zbl 1310.68129Droste, Manfred; Pibaljommee, Bundit 3 2014 Weighted automata and logics for infinite nested words. Zbl 1364.68248Droste, Manfred; Dück, Stefan 2 2014 Weighted finite automata over hemirings. Zbl 1292.68103Droste, Manfred; Kuich, Werner 8 2013 The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1381.68114Droste, Manfred; Vogler, Heiko 4 2013 Multi-weighted automata and MSO logic. Zbl 1344.68117Droste, Manfred; Perevoshchikov, Vitaly 2 2013 The normal subsemigroups of the monoid of injective maps. Zbl 1288.20087Droste, Manfred; Göbel, Rüdiger 2 2013 Weighted automata and multi-valued logics over arbitrary bounded lattices. Zbl 1245.03060Droste, Manfred; Vogler, Heiko 23 2012 Weighted automata and weighted MSO logics for average and long-time behaviors. Zbl 1279.68148Droste, Manfred; Meinecke, Ingmar 18 2012 Weighted nested word automata and logics over strong bimonoids. Zbl 1297.68124Droste, Manfred; Pibaljommee, Bundit 2 2012 Weighted automata and regular expressions over valuation monoids. Zbl 1251.68130Droste, Manfred; Meinecke, Ingmar 13 2011 Weighted logics for unranked tree automata. Zbl 1226.03048Droste, Manfred; Vogler, Heiko 13 2011 Weighted tree automata over valuation monoids and their characterization by weighted logics. Zbl 1331.68127Droste, Manfred; Götze, Doreen; Märcker, Steffen; Meinecke, Ingmar 11 2011 Automorphism groups of totally ordered sets: a retrospective survey. Zbl 1265.06048Bludov, V. V.; Droste, M.; Glass, A. M. W. 4 2011 The uncountable cofinality of the automorphism group of the countable universal distributive lattice. Zbl 1245.06017Droste, M.; Truss, J. K. 3 2011 A Kleene-Schützenberger theorem for weighted timed automata. Zbl 1217.68128Droste, Manfred; Quaas, Karin 3 2011 Regular expressions on average and in the long run. Zbl 1297.68123Droste, Manfred; Meinecke, Ingmar 2 2011 A cascade decomposition of weighted finite transition systems. Zbl 1221.68126Droste, Manfred; Meinecke, Ingmar; Šešelja, Branimir; Tepavčević, Andreja 1 2011 Weighted finite automata over strong bimonoids. Zbl 1183.68337Droste, Manfred; Stüber, Torsten; Vogler, Heiko 28 2010 Determinization of weighted finite automata over strong bimonoids. Zbl 1205.68198Ćirić, Miroslav; Droste, Manfred; Ignjatović, Jelena; Vogler, Heiko 22 2010 Kleene and Büchi theorems for weighted automata and multi-valued logics over arbitrary bounded lattices. Zbl 1250.03063Droste, Manfred; Vogler, Heiko 11 2010 Describing average- and longtime-behavior by weighted MSO logics. Zbl 1287.03087Droste, Manfred; Meinecke, Ingmar 11 2010 On extension of coverings. Zbl 1213.57007Droste, Manfred; Rivin, Igor 3 2010 Bifinite Chu spaces. Zbl 1189.68073Droste, Manfred; Zhang, Guo-Qiang 2 2010 Weighted automata and weighted logics on infinite words. Zbl 1184.68314Droste, M.; Rahonis, G. 1 2010 Handbook of weighted automata. Zbl 1200.68001 129 2009 Weighted automata and weighted logics with discounting. Zbl 1191.68382Droste, Manfred; Rahonis, George 11 2009 Uncountable cofinalities of automorphism groups of linear and partial orders. Zbl 1192.06002Droste, Manfred; Truss, John K. 5 2009 Multi-valued MSO logics over words and trees. Zbl 1157.03016Droste, Manfred; Kuich, Werner; Rahonis, George 7 2008 On full groups of measure-preserving and ergodic transformations with uncountable cofinalities. Zbl 1146.20029Droste, Manfred; Holland, W. Charles; Ulbrich, Georg 5 2008 Weighted automata with discounting. Zbl 1186.68253Droste, Manfred; Sakarovitch, Jacques; Vogler, Heiko 4 2008 Absolute graphs with prescribed endomorphism monoid. Zbl 1143.05040Droste, Manfred; Göbel, Rüdiger; Pokutta, Sebastian 4 2008 A Kleene-Schützenberger theorem for weighted timed automata. Zbl 1139.68031Droste, Manfred; Quaas, Karin 4 2008 On aperiodic and star-free formal power series in partially commuting variables. Zbl 1140.68032Droste, Manfred; Gastin, Paul 4 2008 Construction of some uncountable 2-arc-transitive bipartite graphs. Zbl 1158.05056Droste, Manfred; Gray, Robert; Truss, John K. 2 2008 A monoidal category of bifinite Chu spaces. Zbl 1286.18002Huang, Fang-Ping; Droste, Manfred; Zhang, Guo-Qiang 1 2008 Weighted automata and weighted logics. Zbl 1118.68076Droste, Manfred; Gastin, Paul 71 2007 On weighted Büchi automata with order-complete weights. Zbl 1120.68066Droste, Manfred; Püschmann, Ulrike 6 2007 Weighted automata and weighted logics with discounting. Zbl 1139.68361Droste, Manfred; Rahonis, George 6 2007 Bifinite Chu spaces. Zbl 1214.68206Droste, Manfred; Zhang, Guo-Qiang 3 2007 Normal subgroups of \(\text B_{u}\text {Aut}(\Omega )\). Zbl 1193.06014Droste, Manfred; Holland, W. Charles 2 2007 Almost every domain is universal. Zbl 1316.68066Droste, Manfred; Kuske, Dietrich 1 2007 Weighted tree automata and weighted logics. Zbl 1154.68068Droste, Manfred; Vogler, Heiko 29 2006 Skew and infinitary formal power series. Zbl 1154.68067Droste, Manfred; Kuske, Dietrich 14 2006 Weighted automata and weighted logics on infinite words. Zbl 1227.68053Droste, Manfred; Rahonis, George 14 2006 On representing words in the automorphism group of the random graph. Zbl 1122.20015Droste, M.; Truss, J. K. 3 2006 Observations on the smoothness properties of real functions computed by weighted finite automata. Zbl 1157.68381Droste, Manfred; Kari, Jarkko; Steinby, Paula 1 2006 Weighted automata and weighted logics. Zbl 1084.03036Droste, Manfred; Gastin, Paul 28 2005 Generating automorphism groups of chains. Zbl 1093.20016Droste, Manfred; Holland, W. Charles 24 2005 Uncountable cofinalities of permutation groups. Zbl 1070.20001Droste, Manfred; Göbel, Rüdiger 20 2005 A Kleene theorem for weighted tree automata. Zbl 1061.68092Droste, Manfred; Pech, Christian; Vogler, Heiko 15 2005 Universal homogeneous causal sets. Zbl 1111.83016Droste, Manfred 7 2005 On random relational structures. Zbl 1026.03020Droste, Manfred; Kuske, Dietrich 8 2003 Skew and infinitary formal power series. Zbl 1039.68065Droste, Manfred; Kuske, Dietrich 8 2003 On transformations of formal power series. Zbl 1055.68066Droste, Manfred; Zhang, Guo-Qiang 4 2003 From Petri nets to automata with concurrency. Zbl 1002.68099Droste, Manfred; Shortt, R. M. 2 2002 Outer automorphism groups of ordered permutation groups. Zbl 1017.20030Droste, Manfred; Shelah, Saharon 2 2002 All groups are outer automorphism groups of simple groups. Zbl 1015.20027Droste, Manfred; Giraudet, Michèle; Göbel, Rüdiger 9 2001 Recognizable languages in divisibility monoids. Zbl 0994.68083Droste, Manfred; Kuske, Dietrich 9 2001 Rigid chains admitting many embeddings. Zbl 0963.06001Droste, M.; Truss, J. K. 4 2001 Complementary closed relational clones are not always Krasner clones. Zbl 0982.08002Droste, M.; Kuske, D.; McKenzie, R.; Pöschel, R. 3 2001 On aperiodic and star-free formal power series in partially commuting variables. Zbl 0961.68076Droste, Manfred; Gastin, Paul 7 2000 Asynchronous cellular automata for pomsets. Zbl 0949.68086Droste, M.; Gastin, P.; Kuske, D. 7 2000 The automorphism group of the universal distributive lattice. Zbl 1013.06009Droste, Manfred; Macpherson, Dugald 4 2000 On homogeneous semilattices and their automorphism groups. Zbl 0945.06001Droste, Manfred; Kuske, Dietrich; Truss, John K. 10 1999 The Kleene-Schützenberger theorem for formal power series in partially commuting variables. Zbl 1045.68589Droste, Manfred; Gastin, Paul 10 1999 Simple automorphism groups of cycle-free partial orders. Zbl 0922.20008Droste, M.; Truss, J. K.; Warren, R. 4 1999 Recognizable and logically definable languages of infinite computations in concurrent automata. Zbl 1319.68133Droste, Manfred; Kuske, Dietrich 4 1998 Representation of computations in concurrent automata by dependence orders. Zbl 0902.68126Bracho, Felipe; Droste, Manfred; Kuske, Dietrich 4 1997 Set-homogeneous graphs and embeddings of total orders. Zbl 0878.05042Droste, Manfred; Giraudet, Michele; Macpherson, Dugald 3 1997 The automorphism groups of Hahn groups. Zbl 0873.06013Droste, Manfred; Göbel, Rüdiger 2 1997 On recognizable and rational formal power series in partially commuting variables. Zbl 1401.68215Droste, Manfred; Gastin, Paul 1 1997 Aperiodic languages in concurrency monoids. Zbl 0853.68132Droste, Manfred 3 1996 Trace languages definable with modular quantifiers. Zbl 1096.68653Droste, Manfred; Kuske, Dietrich 2 1996 The automorphism groups of generalized McLain groups. Zbl 0918.20026Droste, Manfred; Göbel, Rüdiger 1 1996 Recognizable languages in concurrency monoids. Zbl 0874.68167Droste, Manfred 8 1995 McLain groups over arbitrary rings and orderings. Zbl 0839.20050Droste, Manfred; Göbel, Rüdiger 6 1995 Periodic ordered permutation groups and cyclic orderings. Zbl 0821.20001Droste, Manfred; Giraudet, Michèle; Macpherson, Dugald 4 1995 ...and 49 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 564 Authors 85 Droste, Manfred 22 Vogler, Heiko 16 Truss, John Kenneth 14 Ćirić, Miroslav D. 13 Göbel, Rüdiger 13 Kuske, Dietrich 12 Ignjatović, Jelena 12 Rahonis, George 11 Fülöp, Zoltán 10 Chatterjee, Krishnendu 10 Gray, Robert D. 8 Ésik, Zoltán 8 Gastin, Paul 8 Henzinger, Thomas A. 8 Macpherson, Dugald 8 Meinecke, Ingmar 7 Kuich, Werner 7 Larsen, Kim Guldstrand 7 Li, Yongming 6 Dolinka, Igor 6 Kostolányi, Peter 6 Kupferman, Orna 6 Maletti, Andreas 5 Darondeau, Philippe 5 Glass, Andrew M. W. 5 Kubiś, Wiesław 5 Otop, Jan 5 Peñaloza, Rafael 5 Quaas, Karin 5 Quinn-Gregson, Thomas 5 Shelah, Saharon 4 Bonchi, Filippo 4 Dück, Stefan 4 Induráin, Esteban 4 Mašulović, Dragan 4 Moran, Gadi 4 Oman, Greg G. 4 Paul, Erik 4 Perevoshchikov, Vitaly 4 Stüber, Torsten 3 Baader, Franz 3 Babari, Parvaneh 3 Badouel, Eric 3 Balle, Borja 3 Bodirsky, Manuel 3 Bogdanović, Stojan M. 3 Bollig, Benedikt 3 Bonsangue, Marcello Maria 3 Bracho, Felipe 3 Campión, María Jesús 3 Cao, Yongzhi 3 Damljanović, Nada 3 Dörband, Frederic 3 Fahrenberg, Uli 3 González de Mendívil, José Ramón 3 Herden, Gerhard 3 Herrmann, Luisa 3 Jakubíková-Studenovská, Danica 3 Jančić, Zorana 3 Kirsten, Daniel 3 Kou, Hui 3 Lahaye, Sébastien 3 Logan, Alan D. 3 Mandrioli, Dino 3 Mardare, Radu 3 Monmege, Benjamin 3 Morin, Rémi 3 Pradella, Matteo 3 Praeger, Cheryl Elisabeth 3 Riveros, Cristian 3 Rosendal, Christian 3 Rutten, Jan J. M. M. 3 Silva, Alexandra 3 Stier, Kevin 3 Waldmann, Johannes 3 Xi, Xiaoyong 2 Abramsky, Samson 2 Allender, Eric W. 2 Aslanyan, Vahagn A. 2 Ball, Richard N. 2 Bašić, Milan 2 Bergman, George M. 2 Björklund, Johanna 2 Boimond, Jean-Louis 2 Boker, Udi 2 Borgwardt, Stefan 2 Candeal, Juan Carlos 2 Černý, Pavol 2 Chen, Yixiang 2 Chiaselotti, Giampiero 2 Chicot, Katie M. 2 Corson, Samuel M. 2 de Cornulier, Yves 2 de Francesco Albasini, Luisa 2 Doyen, Laurent 2 Duchesne, Bruno 2 Dziadek, Sven 2 Eiter, Thomas 2 Feller, Thomas 2 Fichtner, Ina ...and 464 more Authors all top 5 Cited in 123 Serials 61 Theoretical Computer Science 39 Information and Computation 21 Fuzzy Sets and Systems 14 Information Sciences 13 Journal of Algebra 11 Transactions of the American Mathematical Society 10 Journal of Combinatorial Theory. Series A 10 International Journal of Foundations of Computer Science 10 Theory of Computing Systems 9 Proceedings of the American Mathematical Society 8 Journal of Computer and System Sciences 8 Soft Computing 8 Logical Methods in Computer Science 7 Discrete Mathematics 7 Algebra Universalis 7 Journal of Pure and Applied Algebra 7 Order 7 Forum Mathematicum 6 Israel Journal of Mathematics 6 Advances in Mathematics 6 Annals of Pure and Applied Logic 6 International Journal of Algebra and Computation 5 Acta Informatica 5 Czechoslovak Mathematical Journal 5 Applied Categorical Structures 4 Information Processing Letters 4 Mathematical Proceedings of the Cambridge Philosophical Society 4 Semigroup Forum 4 European Journal of Combinatorics 4 Formal Methods in System Design 4 ACM Transactions on Computational Logic 3 Journal of Combinatorial Theory. Series B 3 The Journal of Symbolic Logic 3 International Journal of Approximate Reasoning 2 Communications in Algebra 2 Computers & Mathematics with Applications 2 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 2 Automatica 2 Journal of Mathematical Psychology 2 Journal of Philosophical Logic 2 Mathematica Slovaca 2 Monatshefte für Mathematik 2 MSCS. Mathematical Structures in Computer Science 2 Discrete Event Dynamic Systems 2 The Journal of Logic and Algebraic Programming 2 Theory and Practice of Logic Programming 2 Contributions to Discrete Mathematics 2 Groups, Geometry, and Dynamics 2 Axioms 2 Journal of Logical and Algebraic Methods in Programming 1 Bulletin of the Australian Mathematical Society 1 Discrete Applied Mathematics 1 Journal of Mathematical Analysis and Applications 1 Journal of Mathematical Physics 1 Rocky Mountain Journal of Mathematics 1 Bulletin of Mathematical Biology 1 The Mathematical Intelligencer 1 Bulletin of the London Mathematical Society 1 Demonstratio Mathematica 1 Glasgow Mathematical Journal 1 Indiana University Mathematics Journal 1 Journal of the London Mathematical Society. Second Series 1 Journal of Mathematical Economics 1 Journal of Multivariate Analysis 1 Mathematische Zeitschrift 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 Rendiconti del Seminario Matematico della Università di Padova 1 Synthese 1 Theory and Decision 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Topology and its Applications 1 Optimization 1 Algorithmica 1 Journal of Automated Reasoning 1 Journal of Cryptology 1 International Journal of Computer Mathematics 1 Linear Algebra and its Applications 1 Expositiones Mathematicae 1 Bulletin of the Polish Academy of Sciences, Mathematics 1 Archive for Mathematical Logic 1 Indagationes Mathematicae. New Series 1 Vestnik St. Petersburg University. Mathematics 1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 1 Russian Mathematics 1 Journal of Algebraic Combinatorics 1 Combinatorics, Probability and Computing 1 Journal of Mathematical Sciences (New York) 1 Mathematical Logic Quarterly (MLQ) 1 Economic Theory 1 Selecta Mathematica. New Series 1 Theory and Applications of Categories 1 Geometry & Topology 1 Journal of the ACM 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 Mathematica Moravica 1 Matematicheskie Trudy 1 Journal of Mathematical Logic 1 Journal of the Australian Mathematical Society ...and 23 more Serials all top 5 Cited in 39 Fields 295 Computer science (68-XX) 143 Mathematical logic and foundations (03-XX) 105 Group theory and generalizations (20-XX) 80 Order, lattices, ordered algebraic structures (06-XX) 41 Combinatorics (05-XX) 31 Category theory; homological algebra (18-XX) 24 Associative rings and algebras (16-XX) 23 General algebraic systems (08-XX) 18 General topology (54-XX) 14 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 13 Topological groups, Lie groups (22-XX) 11 Commutative algebra (13-XX) 8 Dynamical systems and ergodic theory (37-XX) 8 Manifolds and cell complexes (57-XX) 8 Probability theory and stochastic processes (60-XX) 7 Field theory and polynomials (12-XX) 5 Number theory (11-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 4 Measure and integration (28-XX) 4 Systems theory; control (93-XX) 4 Information and communication theory, circuits (94-XX) 3 History and biography (01-XX) 3 Relativity and gravitational theory (83-XX) 2 Algebraic geometry (14-XX) 2 Nonassociative rings and algebras (17-XX) 2 Functional analysis (46-XX) 2 Operator theory (47-XX) 2 Convex and discrete geometry (52-XX) 2 Algebraic topology (55-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Statistics (62-XX) 2 Quantum theory (81-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Real functions (26-XX) 1 Potential theory (31-XX) 1 Difference and functional equations (39-XX) 1 Abstract harmonic analysis (43-XX) 1 Biology and other natural sciences (92-XX) Citations by Year