Edit Profile (opens in new tab) Droste, Manfred Co-Author Distance Author ID: droste.manfred Published as: Droste, Manfred; Droste, M. Documents Indexed: 187 Publications since 1979, including 3 Books 16 Contributions as Editor Reviewing Activity: 54 Reviews Co-Authors: 78 Co-Authors with 163 Joint Publications 2,237 Co-Co-Authors all top 5 Co-Authors 34 single-authored 21 Vogler, Heiko 19 Göbel, Rüdiger 15 Kuich, Werner 14 Kuske, Dietrich 10 Gastin, Paul 10 Rahonis, George 8 Truss, John Kenneth 7 Perevoshchikov, Vitaly 6 Holland, Wilbur Charles jun. 6 Meinecke, Ingmar 5 Dück, Stefan 5 Fülöp, Zoltán 5 Giraudet, Michèle 5 Macpherson, Dugald 5 Shortt, Rae Michael 4 Babari, Parvaneh 4 Bracho, Felipe 4 Dziadek, Sven 4 Ésik, Zoltán 4 Götze, Doreen 4 Macpherson, Hugh Dugald 3 Fuchs, László 3 Kószó, Dávid 3 Shelah, Saharon 3 Strüngmann, Lutz H. 2 Ćirić, Miroslav D. 2 Herrmann, Luisa 2 Heusel, Doreen 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 Blass, Andreas Raphael 1 Bludov, Vasiliĭ Vasil’evich 1 Boldi, Paolo 1 Cardone, Felice 1 Cegielski, Patrick 1 Chajda, Ivan 1 Dershowitz, Nachum 1 Eigenthaler, Günther 1 Finkbeiner, Bernd 1 Glass, Andrew M. W. 1 Goldsmith, Brendan 1 Grabolle, Gustav 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 Salomaa, Arto Kustaa 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 14 Information and Computation 10 International Journal of Foundations of Computer Science 7 Order 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 Lecture Notes in Computer Science 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 Monographs in Theoretical Computer Science. An EATCS Series all top 5 Fields 125 Computer science (68-XX) 60 Mathematical logic and foundations (03-XX) 58 Group theory and generalizations (20-XX) 50 Order, lattices, ordered algebraic structures (06-XX) 15 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 166 Publications have been cited 1,476 times in 658 Documents Cited by ▼ Year ▼ Handbook of weighted automata. Zbl 1200.68001 213 2009 Weighted automata and weighted logics. Zbl 1118.68076 Droste, Manfred; Gastin, Paul 89 2007 Weighted automata and weighted logics. Zbl 1084.03036 Droste, Manfred; Gastin, Paul 39 2005 Weighted tree automata and weighted logics. Zbl 1154.68068 Droste, Manfred; Vogler, Heiko 39 2006 Weighted finite automata over strong bimonoids. Zbl 1183.68337 Droste, Manfred; Stüber, Torsten; Vogler, Heiko 36 2010 Structure of partially ordered sets with transitive automorphism groups. Zbl 0574.06001 Droste, Manfred 35 1985 Weighted automata and multi-valued logics over arbitrary bounded lattices. Zbl 1245.03060 Droste, Manfred; Vogler, Heiko 33 2012 Determinization of weighted finite automata over strong bimonoids. Zbl 1205.68198 Ćirić, Miroslav; Droste, Manfred; Ignjatović, Jelena; Vogler, Heiko 30 2010 Weighted automata and weighted MSO logics for average and long-time behaviors. Zbl 1279.68148 Droste, Manfred; Meinecke, Ingmar 26 2012 Generating automorphism groups of chains. Zbl 1093.20016 Droste, Manfred; Holland, W. Charles 25 2005 Semirings and formal power series. Zbl 1484.68082 Droste, Manfred; Kuich, Werner 25 2009 Uncountable cofinalities of permutation groups. Zbl 1070.20001 Droste, Manfred; Göbel, Rüdiger 21 2005 Weighted automata and weighted logics on infinite words. Zbl 1227.68053 Droste, Manfred; Rahonis, George 21 2006 Automorphism groups of infinite semilinear orders. I. Zbl 0636.20003 Droste, M.; Holland, W. C.; Macpherson, H. D. 19 1989 A categorical theorem on universal objects and its application in Abelian group theory and computer science. Zbl 0759.18002 Droste, Manfred; Göbel, Rüdiger 19 1992 Skew and infinitary formal power series. Zbl 1154.68067 Droste, Manfred; Kuske, Dietrich 18 2006 A Kleene theorem for weighted tree automata. Zbl 1061.68092 Droste, Manfred; Pech, Christian; Vogler, Heiko 16 2005 Weighted automata and regular expressions over valuation monoids. Zbl 1251.68130 Droste, Manfred; Meinecke, Ingmar 16 2011 Weighted logics for unranked tree automata. Zbl 1226.03048 Droste, Manfred; Vogler, Heiko 16 2011 Weighted tree automata over valuation monoids and their characterization by weighted logics. Zbl 1331.68127 Droste, Manfred; Götze, Doreen; Märcker, Steffen; Meinecke, Ingmar 14 2011 Multi-valued MSO logics over words and trees. Zbl 1157.03016 Droste, Manfred; Kuich, Werner; Rahonis, George 14 2008 A Nivat theorem for weighted timed automata and weighted relative distance logic. Zbl 1409.68158 Droste, Manfred; Perevoshchikov, Vitaly 13 2014 Weighted automata and weighted logics with discounting. Zbl 1191.68382 Droste, Manfred; Rahonis, George 13 2009 Event structures and domains. Zbl 0678.68080 Droste, Manfred 13 1989 Weighted automata. Zbl 1508.68189 Droste, Manfred; Kuske, Dietrich 13 2021 Describing average- and longtime-behavior by weighted MSO logics. Zbl 1287.03087 Droste, Manfred; Meinecke, Ingmar 13 2010 On a theorem of Baer, Schreier, and Ulam for permutations. Zbl 0416.20001 Droste, Manfred; Göbel, Rüdiger 12 1979 Universal domains and the amalgamation property. Zbl 0803.68068 Droste, Manfred; Göbel, Rüdiger 12 1993 Petri nets and automata with concurrency relations. – An adjunction. Zbl 0795.18003 Droste, Manfred; Shortt, R. M. 12 1993 Concurrent automata and domains. Zbl 0820.68045 Droste, Manfred 12 1992 Skew and infinitary formal power series. Zbl 1039.68065 Droste, Manfred; Kuske, Dietrich 12 2003 On homogeneous semilattices and their automorphism groups. Zbl 0945.06001 Droste, Manfred; Kuske, Dietrich; Truss, John K. 11 1999 Asynchronous cellular automata for pomsets. Zbl 0949.68086 Droste, M.; Gastin, P.; Kuske, D. 11 2000 Automorphism groups of infinite semilinear orders. II. Zbl 0636.20004 Droste, M.; Holland, W. C.; Macpherson, H. D. 11 1989 Set-homogeneous graphs. Zbl 0799.03034 Droste, Manfred; Giraudet, Michele; Macpherson, Dugald; Sauer, Norbert 11 1994 Kleene and Büchi theorems for weighted automata and multi-valued logics over arbitrary bounded lattices. Zbl 1250.03063 Droste, Manfred; Vogler, Heiko 11 2010 All groups are outer automorphism groups of simple groups. Zbl 1015.20027 Droste, Manfred; Giraudet, Michèle; Göbel, Rüdiger 10 2001 The Kleene-Schützenberger theorem for formal power series in partially commuting variables. Zbl 1045.68589 Droste, Manfred; Gastin, Paul 10 1999 Non-deterministic information systems and their domains. Zbl 0701.68074 Droste, Manfred; Göbel, Rüdiger 10 1990 Classes of universal words for the infinite symmetric groups. Zbl 0569.20005 Droste, Manfred 10 1985 Products of conjugate permutations. Zbl 0432.20002 Droste, Manfred; Göbel, Rüdiger 9 1981 Recognizable languages in divisibility monoids. Zbl 0994.68083 Droste, Manfred; Kuske, Dietrich 9 2001 On stable domains. Zbl 0777.68061 Droste, Manfred 9 1993 Products of conjugacy classes of the infinite symmetric groups. Zbl 0539.20003 Droste, Manfred 9 1983 Recognizable languages in concurrency monoids. Zbl 0874.68167 Droste, Manfred 9 1995 On random relational structures. Zbl 1026.03020 Droste, Manfred; Kuske, Dietrich 9 2003 On aperiodic and star-free formal power series in partially commuting variables. Zbl 0961.68076 Droste, Manfred; Gastin, Paul 8 2000 Labelled domains and automata with concurrency. Zbl 0829.68087 Bracho, Felipe; Droste, Manfred 8 1994 Normal subgroups of doubly transitive automorphism groups of chains. Zbl 0578.06001 Ball, Richard N.; Droste, Manfred 8 1985 Weighted finite automata over hemirings. Zbl 1292.68103 Droste, Manfred; Kuich, Werner 8 2013 Weighted automata and weighted logics with discounting. Zbl 1139.68361 Droste, Manfred; Rahonis, George 8 2007 Partially ordered sets with transitive automorphism groups. Zbl 0582.06006 Droste, Manfred 7 1987 The normal subgroup lattice of 2-transitive automorphism groups of linearly ordered sets. Zbl 0583.06001 Droste, Manfred 7 1985 The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1315.68169 Droste, Manfred; Vogler, Heiko 7 2014 \(\kappa\)-homogeneous relations and tournaments. Zbl 0678.04001 Droste, Manfred 7 1989 A weighted MSO logic with storage behaviour and its Büchi-Elgot-Trakhtenbrot theorem. Zbl 1443.03018 Vogler, Heiko; Droste, Manfred; Herrmann, Luisa 7 2016 Model checking of linear-time properties in multi-valued systems. Zbl 1428.68188 Li, Yongming; Droste, Manfred; Lei, Lihui 7 2017 Concurrency, automata and domains. Zbl 0765.68100 Droste, Manfred 7 1990 Universal homogeneous causal sets. Zbl 1111.83016 Droste, Manfred 7 2005 Weighted automata and logics on graphs. Zbl 1465.68140 Droste, Manfred; Dück, Stefan 6 2015 Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics. Zbl 1465.68141 Droste, Manfred; Heusel, Doreen; Vogler, Heiko 6 2015 The automorphism group of the universal distributive lattice. Zbl 1013.06009 Droste, Manfred; Macpherson, Dugald 6 2000 Representation of computations in concurrent automata by dependence orders. Zbl 0902.68126 Bracho, Felipe; Droste, Manfred; Kuske, Dietrich 6 1997 Ordinal scales in the theory of measurement. Zbl 0616.92012 Droste, Manfred 6 1987 On k-homogeneous posets and graphs. Zbl 0724.06002 Droste, M.; Macpherson, H. D. 6 1991 McLain groups over arbitrary rings and orderings. Zbl 0839.20050 Droste, Manfred; Göbel, Rüdiger 6 1995 The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1381.68114 Droste, Manfred; Vogler, Heiko 6 2013 Cubes of conjugacy classes covering the infinite symmetric group. Zbl 0526.20003 Droste, Manfred 6 1985 Weighted automata and weighted logics. Zbl 1484.68081 Droste, Manfred; Gastin, Paul 6 2009 On the universality of systems of words in permutation groups. Zbl 0541.20003 Droste, Manfred; Shelah, Saharon 6 1987 A Kleene-Schützenberger theorem for weighted timed automata. Zbl 1139.68031 Droste, Manfred; Quaas, Karin 6 2008 On aperiodic and star-free formal power series in partially commuting variables. Zbl 1140.68032 Droste, Manfred; Gastin, Paul 6 2008 On weighted Büchi automata with order-complete weights. Zbl 1120.68066 Droste, Manfred; Püschmann, Ulrike 6 2007 On transformations of formal power series. Zbl 1055.68066 Droste, Manfred; Zhang, Guo-Qiang 6 2003 Rigid chains admitting many embeddings. Zbl 0963.06001 Droste, M.; Truss, J. K. 5 2001 A construction of all normal subgroup lattices of 2-transitive automorphism groups of linearly ordered sets. Zbl 0608.06001 Droste, Manfred; Shelah, Saharon 5 1985 Weighted automata and logics for infinite nested words. Zbl 1364.68249 Droste, Manfred; Dück, Stefan 5 2017 The existence of rigid measurable spaces. Zbl 0669.28001 Droste, Manfred 5 1989 Automorphism groups of homogeneous semilinear orders: Normal subgroups and commutators. Zbl 0778.06001 Droste, M.; Holland, W. C.; Macpherson, H. D. 5 1991 Recursive domain equations for concrete data structure. Zbl 0679.68149 Droste, Manfred 5 1989 On extension of coverings. Zbl 1213.57007 Droste, Manfred; Rivin, Igor 5 2010 Multi-weighted automata and MSO logic. Zbl 1344.68117 Droste, Manfred; Perevoshchikov, Vitaly 5 2013 On full groups of measure-preserving and ergodic transformations with uncountable cofinalities. Zbl 1146.20029 Droste, Manfred; Holland, W. Charles; Ulbrich, Georg 5 2008 Weighted automata with discounting. Zbl 1186.68253 Droste, Manfred; Sakarovitch, Jacques; Vogler, Heiko 5 2008 Uncountable cofinalities of automorphism groups of linear and partial orders. Zbl 1192.06002 Droste, Manfred; Truss, John K. 5 2009 Logics for weighted timed pushdown automata. Zbl 1465.68142 Droste, Manfred; Perevoshchikov, Vitaly 4 2015 Weighted register automata and weighted logic on data words. Zbl 1400.68097 Babari, Parvaneh; Droste, Manfred; Perevoshchikov, Vitaly 4 2018 From domains to automata with concurrency. Zbl 1418.68134 Bracho, Felipe; Droste, Manfred 4 1993 Universal information systems. Zbl 0723.68066 Droste, Manfred; Göbel, Rüdiger 4 1990 Subgroups of small index in ordered permutation groups. Zbl 0727.06014 Droste, M.; Truss, J. K. 4 1991 Recognizable and logically definable languages of infinite computations in concurrent automata. Zbl 1319.68133 Droste, Manfred; Kuske, Dietrich 4 1998 Weighted register automata and weighted logic on data words. Zbl 1482.68124 Babari, Parvaneh; Droste, Manfred; Perevoshchikov, Vitaly 4 2016 Super-rigid families of strongly Blackwell spaces. Zbl 0657.28004 Droste, Manfred 4 1988 Periodic ordered permutation groups and cyclic orderings. Zbl 0821.20001 Droste, Manfred; Giraudet, Michèle; Macpherson, Dugald 4 1995 Bifinite Chu spaces. Zbl 1214.68206 Droste, Manfred; Zhang, Guo-Qiang 4 2007 Simple automorphism groups of cycle-free partial orders. Zbl 0922.20008 Droste, M.; Truss, J. K.; Warren, R. 4 1999 Multi-weighted automata and MSO logic. Zbl 1356.68130 Droste, Manfred; Perevoshchikov, Vitaly 4 2016 A logical characterization of timed pushdown languages. Zbl 1466.68050 Droste, Manfred; Perevoshchikov, Vitaly 4 2015 The supports of weighted unranked tree automata. Zbl 1341.68088 Droste, Manfred; Heusel, Doreen 4 2015 Automorphism groups of totally ordered sets: a retrospective survey. Zbl 1265.06048 Bludov, V. V.; Droste, M.; Glass, A. M. W. 4 2011 Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. Zbl 07524445 Droste, Manfred; Fülöp, Zoltán; Kószó, Dávid; Vogler, Heiko 3 2022 Logic for \(\omega\)-pushdown automata. Zbl 1491.68097 Droste, Manfred; Dziadek, Sven; Kuich, Werner 2 2022 Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata. Zbl 1518.68167 Droste, Manfred; Dziadek, Sven; Kuich, Werner 1 2022 Weighted automata. Zbl 1508.68189 Droste, Manfred; Kuske, Dietrich 13 2021 Crisp-determinization of weighted tree automata over additively locally finite and past-finite monotonic strong bimonoids is decidable. Zbl 1496.68207 Droste, Manfred; Fülöp, Zoltán; Kószó, Dávid; Vogler, Heiko 4 2020 Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Zbl 1498.03010 2 2020 McCarthy-Kleene fuzzy automata and MSO logics. Zbl 1443.68087 Droste, Manfred; Kutsia, Temur; Rahonis, George; Schreiner, Wolfgang 1 2020 Weighted automata with storage. Zbl 1435.68164 Herrmann, Luisa; Vogler, Heiko; Droste, Manfred 4 2019 A Nivat theorem for weighted picture automata and weighted MSO logics. Zbl 1423.68242 Babari, Parvaneh; Droste, Manfred 3 2019 Aperiodic weighted automata and weighted first-order logic. Zbl 07561720 Droste, Manfred; Gastin, Paul 3 2019 Weighted simple reset pushdown automata. Zbl 1427.68144 Droste, Manfred; Dziadek, Sven; Kuich, Werner 2 2019 A Kleene theorem for weighted tree automata over tree valuation monoids. Zbl 1439.68014 Götze, Doreen; Fülöp, Zoltán; Droste, Manfred 2 2019 Greibach normal form for \(\omega\)-algebraic systems and weighted simple \(\omega\)-pushdown automata. Zbl 1504.68098 Droste, Manfred; Dziadek, Sven; Kuich, Werner 1 2019 Weighted register automata and weighted logic on data words. Zbl 1400.68097 Babari, Parvaneh; Droste, Manfred; Perevoshchikov, Vitaly 4 2018 Weighted omega-restricted one counter automata. Zbl 1390.68386 Droste, Manfred; Kuich, Werner 2 2018 A Feferman-Vaught decomposition theorem for weighted MSO logic. Zbl 1528.03152 Droste, Manfred; Paul, Erik 1 2018 Model checking of linear-time properties in multi-valued systems. Zbl 1428.68188 Li, Yongming; Droste, Manfred; Lei, Lihui 7 2017 Weighted automata and logics for infinite nested words. Zbl 1364.68249 Droste, Manfred; Dück, Stefan 5 2017 Weighted operator precedence languages. Zbl 1441.68121 Droste, Manfred; Dück, Stefan; Mandrioli, Dino; Pradella, Matteo 3 2017 A Nivat theorem for quantitative automata on unranked trees. Zbl 1431.68057 Droste, Manfred; Götze, Doreen 2 2017 MK-fuzzy automata and MSO logics. Zbl 1483.68164 Droste, Manfred; Kutsia, Temur; Rahonis, George; Schreiner, Wolfgang 2 2017 The triple-pair construction for weighted \(\omega\)-pushdown automata. Zbl 1483.68163 Droste, Manfred; Ésik, Zoltán; Kuich, Werner 2 2017 A Kleene theorem for weighted \(\omega\)-pushdown automata. Zbl 1389.68041 Droste, Manfred; Kuich, Werner 1 2017 A weighted MSO logic with storage behaviour and its Büchi-Elgot-Trakhtenbrot theorem. Zbl 1443.03018 Vogler, Heiko; Droste, Manfred; Herrmann, Luisa 7 2016 Weighted register automata and weighted logic on data words. Zbl 1482.68124 Babari, Parvaneh; Droste, Manfred; Perevoshchikov, Vitaly 4 2016 Multi-weighted automata and MSO logic. Zbl 1356.68130 Droste, Manfred; Perevoshchikov, Vitaly 4 2016 A Kleene theorem for weighted tree automata over tree valuation monoids. Zbl 1443.68086 Droste, Manfred; Fülöp, Zoltán; Götze, Doreen 1 2016 Weighted linear dynamic logic. Zbl 1478.03065 Droste, Manfred; Rahonis, George 1 2016 Weighted automata and logics on graphs. Zbl 1465.68140 Droste, Manfred; Dück, Stefan 6 2015 Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics. Zbl 1465.68141 Droste, Manfred; Heusel, Doreen; Vogler, Heiko 6 2015 Logics for weighted timed pushdown automata. Zbl 1465.68142 Droste, Manfred; Perevoshchikov, Vitaly 4 2015 A logical characterization of timed pushdown languages. Zbl 1466.68050 Droste, Manfred; Perevoshchikov, Vitaly 4 2015 The supports of weighted unranked tree automata. Zbl 1341.68088 Droste, Manfred; Heusel, Doreen 4 2015 A Nivat theorem for weighted picture automata and weighted MSO logic. Zbl 1423.68241 Babari, Parvaneh; Droste, Manfred 2 2015 A Nivat theorem for weighted timed automata and weighted relative distance logic. Zbl 1409.68158 Droste, Manfred; Perevoshchikov, Vitaly 13 2014 The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1315.68169 Droste, Manfred; Vogler, Heiko 7 2014 Weighted nested word automata and logics over strong bimonoids. Zbl 1310.68129 Droste, Manfred; Pibaljommee, Bundit 3 2014 Weighted automata and logics for infinite nested words. Zbl 1364.68248 Droste, Manfred; Dück, Stefan 2 2014 Conway and iteration hemirings. II. Zbl 1369.16049 Droste, M.; Ésik, Z.; Kuich, W. 1 2014 Weighted finite automata over hemirings. Zbl 1292.68103 Droste, Manfred; Kuich, Werner 8 2013 The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1381.68114 Droste, Manfred; Vogler, Heiko 6 2013 Multi-weighted automata and MSO logic. Zbl 1344.68117 Droste, Manfred; Perevoshchikov, Vitaly 5 2013 The normal subsemigroups of the monoid of injective maps. Zbl 1288.20087 Droste, Manfred; Göbel, Rüdiger 2 2013 Weighted automata and multi-valued logics over arbitrary bounded lattices. Zbl 1245.03060 Droste, Manfred; Vogler, Heiko 33 2012 Weighted automata and weighted MSO logics for average and long-time behaviors. Zbl 1279.68148 Droste, Manfred; Meinecke, Ingmar 26 2012 Weighted nested word automata and logics over strong bimonoids. Zbl 1297.68124 Droste, Manfred; Pibaljommee, Bundit 2 2012 Weighted automata and regular expressions over valuation monoids. Zbl 1251.68130 Droste, Manfred; Meinecke, Ingmar 16 2011 Weighted logics for unranked tree automata. Zbl 1226.03048 Droste, Manfred; Vogler, Heiko 16 2011 Weighted tree automata over valuation monoids and their characterization by weighted logics. Zbl 1331.68127 Droste, Manfred; Götze, Doreen; Märcker, Steffen; Meinecke, Ingmar 14 2011 Automorphism groups of totally ordered sets: a retrospective survey. Zbl 1265.06048 Bludov, 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.06017 Droste, M.; Truss, J. K. 3 2011 A Kleene-Schützenberger theorem for weighted timed automata. Zbl 1217.68128 Droste, Manfred; Quaas, Karin 3 2011 Regular expressions on average and in the long run. Zbl 1297.68123 Droste, Manfred; Meinecke, Ingmar 2 2011 A cascade decomposition of weighted finite transition systems. Zbl 1221.68126 Droste, Manfred; Meinecke, Ingmar; Šešelja, Branimir; Tepavčević, Andreja 1 2011 Weighted finite automata over strong bimonoids. Zbl 1183.68337 Droste, Manfred; Stüber, Torsten; Vogler, Heiko 36 2010 Determinization of weighted finite automata over strong bimonoids. Zbl 1205.68198 Ćirić, Miroslav; Droste, Manfred; Ignjatović, Jelena; Vogler, Heiko 30 2010 Describing average- and longtime-behavior by weighted MSO logics. Zbl 1287.03087 Droste, Manfred; Meinecke, Ingmar 13 2010 Kleene and Büchi theorems for weighted automata and multi-valued logics over arbitrary bounded lattices. Zbl 1250.03063 Droste, Manfred; Vogler, Heiko 11 2010 On extension of coverings. Zbl 1213.57007 Droste, Manfred; Rivin, Igor 5 2010 Weighted automata and weighted logics on infinite words. Zbl 1184.68314 Droste, M.; Rahonis, G. 2 2010 Bifinite Chu spaces. Zbl 1189.68073 Droste, Manfred; Zhang, Guo-Qiang 2 2010 Handbook of weighted automata. Zbl 1200.68001 213 2009 Semirings and formal power series. Zbl 1484.68082 Droste, Manfred; Kuich, Werner 25 2009 Weighted automata and weighted logics with discounting. Zbl 1191.68382 Droste, Manfred; Rahonis, George 13 2009 Weighted automata and weighted logics. Zbl 1484.68081 Droste, Manfred; Gastin, Paul 6 2009 Uncountable cofinalities of automorphism groups of linear and partial orders. Zbl 1192.06002 Droste, Manfred; Truss, John K. 5 2009 Multi-valued MSO logics over words and trees. Zbl 1157.03016 Droste, Manfred; Kuich, Werner; Rahonis, George 14 2008 A Kleene-Schützenberger theorem for weighted timed automata. Zbl 1139.68031 Droste, Manfred; Quaas, Karin 6 2008 On aperiodic and star-free formal power series in partially commuting variables. Zbl 1140.68032 Droste, Manfred; Gastin, Paul 6 2008 On full groups of measure-preserving and ergodic transformations with uncountable cofinalities. Zbl 1146.20029 Droste, Manfred; Holland, W. Charles; Ulbrich, Georg 5 2008 Weighted automata with discounting. Zbl 1186.68253 Droste, Manfred; Sakarovitch, Jacques; Vogler, Heiko 5 2008 Absolute graphs with prescribed endomorphism monoid. Zbl 1143.05040 Droste, Manfred; Göbel, Rüdiger; Pokutta, Sebastian 4 2008 Construction of some uncountable 2-arc-transitive bipartite graphs. Zbl 1158.05056 Droste, Manfred; Gray, Robert; Truss, John K. 2 2008 A monoidal category of bifinite Chu spaces. Zbl 1286.18002 Huang, Fang-Ping; Droste, Manfred; Zhang, Guo-Qiang 1 2008 Weighted automata and weighted logics. Zbl 1118.68076 Droste, Manfred; Gastin, Paul 89 2007 Weighted automata and weighted logics with discounting. Zbl 1139.68361 Droste, Manfred; Rahonis, George 8 2007 On weighted Büchi automata with order-complete weights. Zbl 1120.68066 Droste, Manfred; Püschmann, Ulrike 6 2007 Bifinite Chu spaces. Zbl 1214.68206 Droste, Manfred; Zhang, Guo-Qiang 4 2007 Normal subgroups of \(\text B_{u}\text {Aut}(\Omega )\). Zbl 1193.06014 Droste, Manfred; Holland, W. Charles 2 2007 Almost every domain is universal. Zbl 1316.68066 Droste, Manfred; Kuske, Dietrich 1 2007 Weighted tree automata and weighted logics. Zbl 1154.68068 Droste, Manfred; Vogler, Heiko 39 2006 Weighted automata and weighted logics on infinite words. Zbl 1227.68053 Droste, Manfred; Rahonis, George 21 2006 Skew and infinitary formal power series. Zbl 1154.68067 Droste, Manfred; Kuske, Dietrich 18 2006 Observations on the smoothness properties of real functions computed by weighted finite automata. Zbl 1157.68381 Droste, Manfred; Kari, Jarkko; Steinby, Paula 3 2006 On representing words in the automorphism group of the random graph. Zbl 1122.20015 Droste, M.; Truss, J. K. 3 2006 Weighted automata and weighted logics. Zbl 1084.03036 Droste, Manfred; Gastin, Paul 39 2005 Generating automorphism groups of chains. Zbl 1093.20016 Droste, Manfred; Holland, W. Charles 25 2005 Uncountable cofinalities of permutation groups. Zbl 1070.20001 Droste, Manfred; Göbel, Rüdiger 21 2005 A Kleene theorem for weighted tree automata. Zbl 1061.68092 Droste, Manfred; Pech, Christian; Vogler, Heiko 16 2005 Universal homogeneous causal sets. Zbl 1111.83016 Droste, Manfred 7 2005 Skew and infinitary formal power series. Zbl 1039.68065 Droste, Manfred; Kuske, Dietrich 12 2003 On random relational structures. Zbl 1026.03020 Droste, Manfred; Kuske, Dietrich 9 2003 On transformations of formal power series. Zbl 1055.68066 Droste, Manfred; Zhang, Guo-Qiang 6 2003 From Petri nets to automata with concurrency. Zbl 1002.68099 Droste, Manfred; Shortt, R. M. 2 2002 Outer automorphism groups of ordered permutation groups. Zbl 1017.20030 Droste, Manfred; Shelah, Saharon 2 2002 All groups are outer automorphism groups of simple groups. Zbl 1015.20027 Droste, Manfred; Giraudet, Michèle; Göbel, Rüdiger 10 2001 Recognizable languages in divisibility monoids. Zbl 0994.68083 Droste, Manfred; Kuske, Dietrich 9 2001 Rigid chains admitting many embeddings. Zbl 0963.06001 Droste, M.; Truss, J. K. 5 2001 Complementary closed relational clones are not always Krasner clones. Zbl 0982.08002 Droste, M.; Kuske, D.; McKenzie, R.; Pöschel, R. 3 2001 Asynchronous cellular automata for pomsets. Zbl 0949.68086 Droste, M.; Gastin, P.; Kuske, D. 11 2000 ...and 66 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 707 Authors 99 Droste, Manfred 25 Vogler, Heiko 18 Truss, John Kenneth 15 Ćirić, Miroslav D. 15 Rahonis, George 14 Fülöp, Zoltán 13 Göbel, Rüdiger 13 Kuske, Dietrich 13 Maletti, Andreas 12 Gastin, Paul 12 Ignjatović, Jelena 11 Kostolányi, Peter 10 Chatterjee, Krishnendu 10 Ésik, Zoltán 10 Gray, Robert D. 10 Li, Yongming 9 Henzinger, Thomas A. 9 Kuich, Werner 9 Macpherson, Dugald 8 Kupferman, Orna 8 Larsen, Kim Guldstrand 8 Meinecke, Ingmar 7 Darondeau, Philippe 7 Otop, Jan 6 Bonchi, Filippo 6 Dolinka, Igor 6 Morin, Rémi 6 Paul, Erik 6 Peñaloza, Rafael 6 Perevoshchikov, Vitaly 6 Quaas, Karin 6 Quinn-Gregson, Thomas 5 Badouel, Eric 5 Bonsangue, Marcello Maria 5 Glass, Andrew M. W. 5 Kubiś, Wiesław 5 Oman, Greg G. 5 Shelah, Saharon 5 Stier, Kevin 4 Baader, Franz 4 Babari, Parvaneh 4 Balle, Borja 4 Björklund, Johanna 4 Boker, Udi 4 Dück, Stefan 4 Fahrenberg, Uli 4 Induráin, Esteban 4 Kirsten, Daniel 4 Kószó, Dávid 4 Mašulović, Dragan 4 Michaliszyn, Jakub 4 Monmege, Benjamin 4 Moran, Gadi 4 Rutten, Jan J. M. M. 4 Sakarovitch, Jacques 4 Struth, Georg 4 Stüber, Torsten 3 Albert, Jürgen 3 Bodirsky, Manuel 3 Bogdanović, Stojan M. 3 Bollig, Benedikt 3 Bracho, Felipe 3 Campión, María Jesús 3 Cao, Yongzhi 3 Damljanović, Nada 3 Dörband, Frederic 3 Dziadek, Sven 3 Filiot, Emmanuel 3 González de Mendívil, José Ramón 3 Herden, Gerhard 3 Herrmann, Luisa 3 Infusino, Federico G. 3 Jakubíková-Studenovská, Danica 3 Jančić, Zorana 3 Kou, Hui 3 Lahaye, Sébastien 3 Logan, Alan D. 3 Lorenz, Robert G. 3 Mandrioli, Dino 3 Mardare, Radu 3 Mathissen, Christian 3 Mazowiecki, Filip 3 Mazzocchi, Nicolas 3 Pittou, Maria 3 Potapov, Igor 3 Pradella, Matteo 3 Praeger, Cheryl Elisabeth 3 Riveros, Cristian 3 Rosendal, Christian 3 Rot, Jurriaan 3 Salomaa, Kai T. 3 Seki, Hiroyuki 3 Silva, Alexandra 3 Ulbricht, Markus 3 Waldmann, Johannes 3 Xi, Xiaoyong 2 Abramsky, Samson 2 Allender, Eric W. 2 Aslanyan, Vahagn A. 2 Ball, Richard N. ...and 607 more Authors all top 5 Cited in 140 Serials 65 Theoretical Computer Science 47 Information and Computation 22 Fuzzy Sets and Systems 22 International Journal of Foundations of Computer Science 15 Information Sciences 15 Journal of Algebra 13 Logical Methods in Computer Science 12 Theory of Computing Systems 11 Transactions of the American Mathematical Society 10 Journal of Combinatorial Theory. Series A 10 Journal of Computer and System Sciences 9 Proceedings of the American Mathematical Society 9 Forum Mathematicum 8 Algebra Universalis 8 Soft Computing 7 Discrete Mathematics 7 Journal of Pure and Applied Algebra 7 Annals of Pure and Applied Logic 7 Order 6 Acta Informatica 6 Israel Journal of Mathematics 6 Advances in Mathematics 6 International Journal of Algebra and Computation 5 Information Processing Letters 5 Mathematical Proceedings of the Cambridge Philosophical Society 5 Czechoslovak Mathematical Journal 5 Applied Categorical Structures 5 ACM Transactions on Computational Logic 4 Communications in Algebra 4 Journal of Combinatorial Theory. Series B 4 The Journal of Symbolic Logic 4 Semigroup Forum 4 European Journal of Combinatorics 4 International Journal of Approximate Reasoning 4 MSCS. Mathematical Structures in Computer Science 4 Formal Methods in System Design 4 Journal of Logical and Algebraic Methods in Programming 3 Mathematical Logic Quarterly (MLQ) 3 Contributions to Discrete Mathematics 2 Computers & Mathematics with Applications 2 Discrete Applied Mathematics 2 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica 2 Automatica 2 Journal of the London Mathematical Society. Second Series 2 Journal of Mathematical Psychology 2 Journal of Philosophical Logic 2 Mathematica Slovaca 2 Monatshefte für Mathematik 2 Discrete Event Dynamic Systems 2 Journal of Mathematical Sciences (New York) 2 Discrete Mathematics and Theoretical Computer Science. DMTCS 2 The Journal of Logic and Algebraic Programming 2 Theory and Practice of Logic Programming 2 Groups, Geometry, and Dynamics 2 Involve 2 Axioms 1 Artificial Intelligence 1 Bulletin of the Australian Mathematical Society 1 Journal of Mathematical Analysis and Applications 1 Journal of Mathematical Physics 1 Linear and Multilinear Algebra 1 Rocky Mountain Journal of Mathematics 1 Ukrainian Mathematical Journal 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 Mathematical Economics 1 Journal of Multivariate Analysis 1 Mathematische Zeitschrift 1 Mathematika 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 Machine Learning 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 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Combinatorics, Probability and Computing 1 Economic Theory ...and 40 more Serials all top 5 Cited in 39 Fields 408 Computer science (68-XX) 180 Mathematical logic and foundations (03-XX) 123 Group theory and generalizations (20-XX) 92 Order, lattices, ordered algebraic structures (06-XX) 46 Combinatorics (05-XX) 40 Category theory; homological algebra (18-XX) 32 Associative rings and algebras (16-XX) 25 General algebraic systems (08-XX) 21 General topology (54-XX) 15 Commutative algebra (13-XX) 15 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 13 Topological groups, Lie groups (22-XX) 11 Probability theory and stochastic processes (60-XX) 9 Field theory and polynomials (12-XX) 9 Dynamical systems and ergodic theory (37-XX) 8 Number theory (11-XX) 8 Linear and multilinear algebra; matrix theory (15-XX) 8 Manifolds and cell complexes (57-XX) 5 Measure and integration (28-XX) 5 Operations research, mathematical programming (90-XX) 5 Systems theory; control (93-XX) 4 Algebraic topology (55-XX) 4 Information and communication theory, circuits (94-XX) 3 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 3 Algebraic geometry (14-XX) 3 Nonassociative rings and algebras (17-XX) 3 Functional analysis (46-XX) 3 Relativity and gravitational theory (83-XX) 2 Abstract harmonic analysis (43-XX) 2 Operator theory (47-XX) 2 Convex and discrete geometry (52-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Statistics (62-XX) 2 Quantum theory (81-XX) 1 Real functions (26-XX) 1 Potential theory (31-XX) 1 Difference and functional equations (39-XX) 1 Biology and other natural sciences (92-XX) Citations by Year