×

zbMATH — the first resource for mathematics

Droste, Manfred

Compute Distance To:
Author ID: droste.manfred Recent zbMATH articles by "Droste, Manfred"
Published as: Droste, M.; Droste, Manfred
Documents Indexed: 182 Publications since 1979, including 13 Books
Reviewing Activity: 54 Reviews
all top 5

Serials

18 Theoretical Computer Science
10 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

Publications by Year

Citations contained in zbMATH Open

142 Publications have been cited 1,018 times in 471 Documents Cited by Year
Handbook of weighted automata. Zbl 1200.68001
Droste, Manfred (ed.); Kuich, Werner (ed.); Vogler, Heiko (ed.)
114
2009
Weighted automata and weighted logics. Zbl 1118.68076
Droste, Manfred; Gastin, Paul
62
2007
Structure of partially ordered sets with transitive automorphism groups. Zbl 0574.06001
Droste, Manfred
28
1985
Weighted tree automata and weighted logics. Zbl 1154.68068
Droste, Manfred; Vogler, Heiko
26
2006
Weighted automata and weighted logics. Zbl 1084.03036
Droste, Manfred; Gastin, Paul
26
2005
Weighted finite automata over strong bimonoids. Zbl 1183.68337
Droste, Manfred; Stüber, Torsten; Vogler, Heiko
23
2010
Generating automorphism groups of chains. Zbl 1093.20016
Droste, Manfred; Holland, W. Charles
23
2005
Uncountable cofinalities of permutation groups. Zbl 1070.20001
Droste, Manfred; Göbel, Rüdiger
20
2005
Determinization of weighted finite automata over strong bimonoids. Zbl 1205.68198
Ćirić, Miroslav; Droste, Manfred; Ignjatović, Jelena; Vogler, Heiko
19
2010
Weighted automata and multi-valued logics over arbitrary bounded lattices. Zbl 1245.03060
Droste, Manfred; Vogler, Heiko
18
2012
Automorphism groups of infinite semilinear orders. I. Zbl 0636.20003
Droste, M.; Holland, W. C.; Macpherson, H. D.
18
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
16
1992
Weighted automata and weighted logics on infinite words. Zbl 1227.68053
Droste, Manfred; Rahonis, George
14
2006
Skew and infinitary formal power series. Zbl 1154.68067
Droste, Manfred; Kuske, Dietrich
13
2006
A Kleene theorem for weighted tree automata. Zbl 1061.68092
Droste, Manfred; Pech, Christian; Vogler, Heiko
13
2005
Weighted logics for unranked tree automata. Zbl 1226.03048
Droste, Manfred; Vogler, Heiko
12
2011
Universal domains and the amalgamation property. Zbl 0803.68068
Droste, Manfred; Göbel, Rüdiger
12
1993
On a theorem of Baer, Schreier, and Ulam for permutations. Zbl 0416.20001
Droste, Manfred; Göbel, Rüdiger
12
1979
Weighted automata and weighted MSO logics for average and long-time behaviors. Zbl 1279.68148
Droste, Manfred; Meinecke, Ingmar
11
2012
Describing average- and longtime-behavior by weighted MSO logics. Zbl 1287.03087
Droste, Manfred; Meinecke, Ingmar
11
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
Event structures and domains. Zbl 0678.68080
Droste, Manfred
11
1989
Weighted automata and regular expressions over valuation monoids. Zbl 1251.68130
Droste, Manfred; Meinecke, Ingmar
10
2011
The Kleene-Schützenberger theorem for formal power series in partially commuting variables. Zbl 1045.68589
Droste, Manfred; Gastin, Paul
10
1999
On stable domains. Zbl 0777.68061
Droste, Manfred
10
1993
Concurrent automata and domains. Zbl 0820.68045
Droste, Manfred
10
1992
Automorphism groups of infinite semilinear orders. II. Zbl 0636.20004
Droste, M.; Holland, W. C.; Macpherson, H. D.
10
1989
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
9
2011
Weighted automata and weighted logics with discounting. Zbl 1191.68382
Droste, Manfred; Rahonis, George
9
2009
All groups are outer automorphism groups of simple groups. Zbl 1015.20027
Droste, Manfred; Giraudet, Michèle; Göbel, Rüdiger
9
2001
Recognizable languages in divisibility monoids. Zbl 0994.68083
Droste, Manfred; Kuske, Dietrich
9
2001
On homogeneous semilattices and their automorphism groups. Zbl 0945.06001
Droste, Manfred; Kuske, Dietrich; Truss, John K.
9
1999
Set-homogeneous graphs. Zbl 0799.03034
Droste, Manfred; Giraudet, Michele; Macpherson, Dugald; Sauer, Norbert
9
1994
Petri nets and automata with concurrency relations. – An adjunction. Zbl 0795.18003
Droste, Manfred; Shortt, R. M.
9
1993
Non-deterministic information systems and their domains. Zbl 0701.68074
Droste, Manfred; Göbel, Rüdiger
9
1990
Classes of universal words for the infinite symmetric groups. Zbl 0569.20005
Droste, Manfred
9
1985
Products of conjugacy classes of the infinite symmetric groups. Zbl 0539.20003
Droste, Manfred
9
1983
Products of conjugate permutations. Zbl 0432.20002
Droste, Manfred; Göbel, Rüdiger
9
1981
A Nivat theorem for weighted timed automata and weighted relative distance logic. Zbl 1409.68158
Droste, Manfred; Perevoshchikov, Vitaly
8
2014
Skew and infinitary formal power series. Zbl 1039.68065
Droste, Manfred; Kuske, Dietrich
8
2003
On random relational structures. Zbl 1026.03020
Droste, Manfred; Kuske, Dietrich
8
2003
Recognizable languages in concurrency monoids. Zbl 0874.68167
Droste, Manfred
8
1995
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
Universal homogeneous causal sets. Zbl 1111.83016
Droste, Manfred
7
2005
On aperiodic and star-free formal power series in partially commuting variables. Zbl 0961.68076
Droste, Manfred; Gastin, Paul
7
2000
The normal subgroup lattice of 2-transitive automorphism groups of linearly ordered sets. Zbl 0583.06001
Droste, Manfred
7
1985
Multi-valued MSO logics over words and trees. Zbl 1157.03016
Droste, Manfred; Kuich, Werner; Rahonis, George
6
2008
Weighted automata and weighted logics with discounting. Zbl 1139.68361
Droste, Manfred; Rahonis, George
6
2007
On weighted Büchi automata with order-complete weights. Zbl 1120.68066
Droste, Manfred; Püschmann, Ulrike
6
2007
McLain groups over arbitrary rings and orderings. Zbl 0839.20050
Droste, Manfred; Göbel, Rüdiger
6
1995
On k-homogeneous posets and graphs. Zbl 0724.06002
Droste, M.; Macpherson, H. D.
6
1991
Concurrency, automata and domains. Zbl 0765.68100
Droste, Manfred
6
1990
\(\kappa\)-homogeneous relations and tournaments. Zbl 0678.04001
Droste, Manfred
6
1989
Ordinal scales in the theory of measurement. Zbl 0616.92012
Droste, Manfred
6
1987
On the universality of systems of words in permutation groups. Zbl 0541.20003
Droste, Manfred; Shelah, Saharon
6
1987
Cubes of conjugacy classes covering the infinite symmetric group. Zbl 0526.20003
Droste, Manfred
6
1985
The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1315.68169
Droste, Manfred; Vogler, Heiko
5
2014
Weighted finite automata over hemirings. Zbl 1292.68103
Droste, Manfred; Kuich, Werner
5
2013
Uncountable cofinalities of automorphism groups of linear and partial orders. Zbl 1192.06002
Droste, Manfred; Truss, John K.
5
2009
On full groups of measure-preserving and ergodic transformations with uncountable cofinalities. Zbl 1146.20029
Droste, Manfred; Holland, W. Charles; Ulbrich, Georg
5
2008
Asynchronous cellular automata for pomsets. Zbl 0949.68086
Droste, M.; Gastin, P.; Kuske, D.
5
2000
Recursive domain equations for concrete data structure. Zbl 0679.68149
Droste, Manfred
5
1989
The existence of rigid measurable spaces. Zbl 0669.28001
Droste, Manfred
5
1989
Partially ordered sets with transitive automorphism groups. Zbl 0582.06006
Droste, Manfred
5
1987
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
Model checking of linear-time properties in multi-valued systems. Zbl 1428.68188
Li, Yongming; Droste, Manfred; Lei, Lihui
4
2017
A weighted MSO logic with storage behaviour and its Büchi-Elgot-Trakhtenbrot theorem. Zbl 1443.03018
Vogler, Heiko; Droste, Manfred; Herrmann, Luisa
4
2016
The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1381.68114
Droste, Manfred; Vogler, Heiko
4
2013
Automorphism groups of totally ordered sets: a retrospective survey. Zbl 1265.06048
Bludov, V. V.; Droste, M.; Glass, A. M. W.
4
2011
Weighted automata with discounting. Zbl 1186.68253
Droste, Manfred; Sakarovitch, Jacques; Vogler, Heiko
4
2008
A Kleene-Schützenberger theorem for weighted timed automata. Zbl 1139.68031
Droste, Manfred; Quaas, Karin
4
2008
Absolute graphs with prescribed endomorphism monoid. Zbl 1143.05040
Droste, Manfred; Göbel, Rüdiger; Pokutta, Sebastian
4
2008
On transformations of formal power series. Zbl 1055.68066
Droste, Manfred; Zhang, Guo-Qiang
4
2003
Rigid chains admitting many embeddings. Zbl 0963.06001
Droste, M.; Truss, J. K.
4
2001
The automorphism group of the universal distributive lattice. Zbl 1013.06009
Droste, Manfred; Macpherson, Dugald
4
2000
Simple automorphism groups of cycle-free partial orders. Zbl 0922.20008
Droste, M.; Truss, J. K.; Warren, R.
4
1999
Representation of computations in concurrent automata by dependence orders. Zbl 0902.68126
Bracho, Felipe; Droste, Manfred; Kuske, Dietrich
4
1997
Periodic ordered permutation groups and cyclic orderings. Zbl 0821.20001
Droste, Manfred; Giraudet, Michèle; Macpherson, Dugald
4
1995
From domains to automata with concurrency. Zbl 1418.68134
Bracho, Felipe; Droste, Manfred
4
1993
Automorphism groups of homogeneous semilinear orders: Normal subgroups and commutators. Zbl 0778.06001
Droste, M.; Holland, W. C.; Macpherson, H. D.
4
1991
Universal information systems. Zbl 0723.68066
Droste, Manfred; Göbel, Rüdiger
4
1990
Super-rigid families of strongly Blackwell spaces. Zbl 0657.28004
Droste, Manfred
4
1988
Weighted register automata and weighted logic on data words. Zbl 06667717
Babari, Parvaneh; Droste, Manfred; Perevoshchikov, Vitaly
3
2016
Weighted automata and logics on graphs. Zbl 06482735
Droste, Manfred; Dück, Stefan
3
2015
The uncountable cofinality of the automorphism group of the countable universal distributive lattice. Zbl 1245.06017
Droste, M.; Truss, J. K.
3
2011
On extension of coverings. Zbl 1213.57007
Droste, Manfred; Rivin, Igor
3
2010
On aperiodic and star-free formal power series in partially commuting variables. Zbl 1140.68032
Droste, Manfred; Gastin, Paul
3
2008
Bifinite Chu spaces. Zbl 1214.68206
Droste, Manfred; Zhang, Guo-Qiang
3
2007
On representing words in the automorphism group of the random graph. Zbl 1122.20015
Droste, M.; Truss, J. K.
3
2006
Complementary closed relational clones are not always Krasner clones. Zbl 0982.08002
Droste, M.; Kuske, D.; McKenzie, R.; Pöschel, R.
3
2001
Recognizable and logically definable languages of infinite computations in concurrent automata. Zbl 1319.68133
Droste, Manfred; Kuske, Dietrich
3
1998
Set-homogeneous graphs and embeddings of total orders. Zbl 0878.05042
Droste, Manfred; Giraudet, Michele; Macpherson, Dugald
3
1997
Aperiodic languages in concurrency monoids. Zbl 0853.68132
Droste, Manfred
3
1996
Finite axiomatizations for universal domains. Zbl 0776.68080
Droste, Manfred
3
1992
Subgroups of small index in ordered permutation groups. Zbl 0727.06014
Droste, M.; Truss, J. K.
3
1991
Squares of conjugacy classes in the infinite symmetric groups. Zbl 0638.20002
Droste, Manfred
3
1987
Complete embeddings of linear orderings and embeddings of lattice-ordered groups. Zbl 0619.06001
Droste, Manfred
3
1986
Wechselwirkung der algebraischen Struktur transitiver Automorphismengruppen mit der Geometrie ihres Operationsbereiches. (Dissertation). Zbl 0517.20018
Droste, Manfred
3
1982
Weighted automata and logics for infinite nested words. Zbl 1364.68249
Droste, Manfred; Dück, Stefan
2
2017
Weighted automata with storage. Zbl 1435.68164
Herrmann, Luisa; Vogler, Heiko; Droste, Manfred
1
2019
Weighted register automata and weighted logic on data words. Zbl 1400.68097
Babari, Parvaneh; Droste, Manfred; Perevoshchikov, Vitaly
1
2018
Model checking of linear-time properties in multi-valued systems. Zbl 1428.68188
Li, Yongming; Droste, Manfred; Lei, Lihui
4
2017
Weighted automata and logics for infinite nested words. Zbl 1364.68249
Droste, Manfred; Dück, Stefan
2
2017
A weighted MSO logic with storage behaviour and its Büchi-Elgot-Trakhtenbrot theorem. Zbl 1443.03018
Vogler, Heiko; Droste, Manfred; Herrmann, Luisa
4
2016
Weighted register automata and weighted logic on data words. Zbl 06667717
Babari, Parvaneh; Droste, Manfred; Perevoshchikov, Vitaly
3
2016
Multi-weighted automata and MSO logic. Zbl 1356.68130
Droste, Manfred; Perevoshchikov, Vitaly
1
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 automata and logics on graphs. Zbl 06482735
Droste, Manfred; Dück, Stefan
3
2015
A Nivat theorem for weighted picture automata and weighted MSO logic. Zbl 1423.68241
Babari, Parvaneh; Droste, Manfred
2
2015
A logical characterization of timed pushdown languages. Zbl 06496822
Droste, Manfred; Perevoshchikov, Vitaly
2
2015
Logics for weighted timed pushdown automata. Zbl 06484071
Droste, Manfred; Perevoshchikov, Vitaly
2
2015
Weighted unranked tree automata over tree valuation monoids and their characterization by weighted logics. Zbl 06484052
Droste, Manfred; Heusel, Doreen; Vogler, Heiko
2
2015
The supports of weighted unranked tree automata. Zbl 1341.68088
Droste, Manfred; Heusel, Doreen
1
2015
A Nivat theorem for weighted timed automata and weighted relative distance logic. Zbl 1409.68158
Droste, Manfred; Perevoshchikov, Vitaly
8
2014
The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1315.68169
Droste, Manfred; Vogler, Heiko
5
2014
Weighted nested word automata and logics over strong bimonoids. Zbl 1310.68129
Droste, Manfred; Pibaljommee, Bundit
2
2014
Weighted automata and logics for infinite nested words. Zbl 1364.68248
Droste, Manfred; Dück, Stefan
2
2014
Weighted finite automata over hemirings. Zbl 1292.68103
Droste, Manfred; Kuich, Werner
5
2013
The Chomsky-Schützenberger theorem for quantitative context-free languages. Zbl 1381.68114
Droste, Manfred; Vogler, Heiko
4
2013
The normal subsemigroups of the monoid of injective maps. Zbl 1288.20087
Droste, Manfred; Göbel, Rüdiger
2
2013
Multi-weighted automata and MSO logic. Zbl 1344.68117
Droste, Manfred; Perevoshchikov, Vitaly
2
2013
Weighted automata and multi-valued logics over arbitrary bounded lattices. Zbl 1245.03060
Droste, Manfred; Vogler, Heiko
18
2012
Weighted automata and weighted MSO logics for average and long-time behaviors. Zbl 1279.68148
Droste, Manfred; Meinecke, Ingmar
11
2012
Weighted nested word automata and logics over strong bimonoids. Zbl 1297.68124
Droste, Manfred; Pibaljommee, Bundit
2
2012
Weighted logics for unranked tree automata. Zbl 1226.03048
Droste, Manfred; Vogler, Heiko
12
2011
Weighted automata and regular expressions over valuation monoids. Zbl 1251.68130
Droste, Manfred; Meinecke, Ingmar
10
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
9
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
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
A Kleene-Schützenberger theorem for weighted timed automata. Zbl 1217.68128
Droste, Manfred; Quaas, Karin
1
2011
Weighted finite automata over strong bimonoids. Zbl 1183.68337
Droste, Manfred; Stüber, Torsten; Vogler, Heiko
23
2010
Determinization of weighted finite automata over strong bimonoids. Zbl 1205.68198
Ćirić, Miroslav; Droste, Manfred; Ignjatović, Jelena; Vogler, Heiko
19
2010
Describing average- and longtime-behavior by weighted MSO logics. Zbl 1287.03087
Droste, Manfred; Meinecke, Ingmar
11
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
3
2010
Bifinite Chu spaces. Zbl 1189.68073
Droste, Manfred; Zhang, Guo-Qiang
2
2010
Weighted automata and weighted logics on infinite words. Zbl 1184.68314
Droste, M.; Rahonis, G.
1
2010
Handbook of weighted automata. Zbl 1200.68001
Droste, Manfred (ed.); Kuich, Werner (ed.); Vogler, Heiko (ed.)
114
2009
Weighted automata and weighted logics with discounting. Zbl 1191.68382
Droste, Manfred; Rahonis, George
9
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
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
4
2008
A Kleene-Schützenberger theorem for weighted timed automata. Zbl 1139.68031
Droste, Manfred; Quaas, Karin
4
2008
Absolute graphs with prescribed endomorphism monoid. Zbl 1143.05040
Droste, Manfred; Göbel, Rüdiger; Pokutta, Sebastian
4
2008
On aperiodic and star-free formal power series in partially commuting variables. Zbl 1140.68032
Droste, Manfred; Gastin, Paul
3
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
62
2007
Weighted automata and weighted logics with discounting. Zbl 1139.68361
Droste, Manfred; Rahonis, George
6
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
3
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
26
2006
Weighted automata and weighted logics on infinite words. Zbl 1227.68053
Droste, Manfred; Rahonis, George
14
2006
Skew and infinitary formal power series. Zbl 1154.68067
Droste, Manfred; Kuske, Dietrich
13
2006
On representing words in the automorphism group of the random graph. Zbl 1122.20015
Droste, M.; Truss, J. K.
3
2006
Observations on the smoothness properties of real functions computed by weighted finite automata. Zbl 1157.68381
Droste, Manfred; Kari, Jarkko; Steinby, Paula
1
2006
Weighted automata and weighted logics. Zbl 1084.03036
Droste, Manfred; Gastin, Paul
26
2005
Generating automorphism groups of chains. Zbl 1093.20016
Droste, Manfred; Holland, W. Charles
23
2005
Uncountable cofinalities of permutation groups. Zbl 1070.20001
Droste, Manfred; Göbel, Rüdiger
20
2005
A Kleene theorem for weighted tree automata. Zbl 1061.68092
Droste, Manfred; Pech, Christian; Vogler, Heiko
13
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
8
2003
On random relational structures. Zbl 1026.03020
Droste, Manfred; Kuske, Dietrich
8
2003
On transformations of formal power series. Zbl 1055.68066
Droste, Manfred; Zhang, Guo-Qiang
4
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
9
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.
4
2001
Complementary closed relational clones are not always Krasner clones. Zbl 0982.08002
Droste, M.; Kuske, D.; McKenzie, R.; Pöschel, R.
3
2001
On aperiodic and star-free formal power series in partially commuting variables. Zbl 0961.68076
Droste, Manfred; Gastin, Paul
7
2000
Asynchronous cellular automata for pomsets. Zbl 0949.68086
Droste, M.; Gastin, P.; Kuske, D.
5
2000
The automorphism group of the universal distributive lattice. Zbl 1013.06009
Droste, Manfred; Macpherson, Dugald
4
2000
The Kleene-Schützenberger theorem for formal power series in partially commuting variables. Zbl 1045.68589
Droste, Manfred; Gastin, Paul
10
1999
On homogeneous semilattices and their automorphism groups. Zbl 0945.06001
Droste, Manfred; Kuske, Dietrich; Truss, John K.
9
1999
Simple automorphism groups of cycle-free partial orders. Zbl 0922.20008
Droste, M.; Truss, J. K.; Warren, R.
4
1999
Recognizable and logically definable languages of infinite computations in concurrent automata. Zbl 1319.68133
Droste, Manfred; Kuske, Dietrich
3
1998
Representation of computations in concurrent automata by dependence orders. Zbl 0902.68126
Bracho, Felipe; Droste, Manfred; Kuske, Dietrich
4
1997
Set-homogeneous graphs and embeddings of total orders. Zbl 0878.05042
Droste, Manfred; Giraudet, Michele; Macpherson, Dugald
3
1997
The automorphism groups of Hahn groups. Zbl 0873.06013
Droste, Manfred; Göbel, Rüdiger
2
1997
On recognizable and rational formal power series in partially commuting variables. Zbl 1401.68215
Droste, Manfred; Gastin, Paul
1
1997
Aperiodic languages in concurrency monoids. Zbl 0853.68132
Droste, Manfred
3
1996
Trace languages definable with modular quantifiers. Zbl 1096.68653
Droste, Manfred; Kuske, Dietrich
2
1996
The automorphism groups of generalized McLain groups. Zbl 0918.20026
Droste, Manfred; Göbel, Rüdiger
1
1996
Recognizable languages in concurrency monoids. Zbl 0874.68167
Droste, Manfred
8
1995
McLain groups over arbitrary rings and orderings. Zbl 0839.20050
Droste, Manfred; Göbel, Rüdiger
6
1995
Periodic ordered permutation groups and cyclic orderings. Zbl 0821.20001
Droste, Manfred; Giraudet, Michèle; Macpherson, Dugald
4
1995
Dependence orders for computations of concurrent automata. Zbl 1379.68246
Bracho, Felipe; Droste, Manfred; Kuske, Dietrich
2
1995
Set-homogeneous graphs. Zbl 0799.03034
Droste, Manfred; Giraudet, Michele; Macpherson, Dugald; Sauer, Norbert
9
1994
Labelled domains and automata with concurrency. Zbl 0829.68087
Bracho, Felipe; Droste, Manfred
8
1994
A Kleene theorem for recognizable languages over concurrency monoids. Zbl 1418.68138
Droste, Manfred
2
1994
Universal domains and the amalgamation property. Zbl 0803.68068
Droste, Manfred; Göbel, Rüdiger
12
1993
On stable domains. Zbl 0777.68061
Droste, Manfred
10
1993
Petri nets and automata with concurrency relations. – An adjunction. Zbl 0795.18003
Droste, Manfred; Shortt, R. M.
9
1993
...and 42 more Documents
all top 5

Cited by 530 Authors

77 Droste, Manfred
19 Vogler, Heiko
15 Truss, John Kenneth
14 Ćirić, Miroslav D.
13 Göbel, Rüdiger
12 Ignjatović, Jelena
12 Kuske, Dietrich
10 Gray, Robert D.
9 Chatterjee, Krishnendu
9 Fülöp, Zoltán
8 Henzinger, Thomas A.
8 Macpherson, Dugald
8 Meinecke, Ingmar
8 Rahonis, George
7 Gastin, Paul
7 Kupferman, Orna
7 Larsen, Kim Guldstrand
7 Li, Yongming
6 Dolinka, Igor
6 Ésik, Zoltán
5 Darondeau, Philippe
5 Glass, Andrew M. W.
5 Kostolányi, Peter
5 Kuich, Werner
5 Maletti, Andreas
5 Peñaloza, Rafael
5 Quaas, Karin
5 Shelah, Saharon
5 Zhang, Guo-Qiang
4 Bonsangue, Marcello Maria
4 Induráin, Esteban
4 Kubiś, Wiesław
4 Mardare, Radu
4 Mašulović, Dragan
4 Moran, Gadi
4 Oman, Greg G.
4 Otop, Jan
4 Perevoshchikov, Vitaly
4 Quinn-Gregson, Thomas
4 Rutten, Jan J. M. M.
4 Stüber, Torsten
4 Zhang, Guoqiang
3 Baader, Franz
3 Babari, Parvaneh
3 Badouel, Eric
3 Bogdanović, Stojan M.
3 Bollig, Benedikt
3 Bonchi, Filippo
3 Bracho, Felipe
3 Campión, María Jesús
3 Cao, Yongzhi
3 Damljanović, Nada
3 Dück, Stefan
3 Herden, Gerhard
3 Jakubíková-Studenovská, Danica
3 Jančić, Zorana
3 Kirsten, Daniel
3 Kou, Hui
3 Lahaye, Sébastien
3 Logan, Alan D.
3 Monmege, Benjamin
3 Morin, Rémi
3 Paul, Erik
3 Praeger, Cheryl Elisabeth
3 Rosendal, Christian
3 Silva, Alexandra
3 Xi, Xiaoyong
2 Abramsky, Samson
2 Allender, Eric W.
2 Ball, Richard N.
2 Bašić, Milan
2 Bergman, George M.
2 Björklund, Johanna
2 Bodirsky, Manuel
2 Boimond, Jean-Louis
2 Borgwardt, Stefan
2 Candeal, Juan Carlos
2 Černý, Pavol
2 Chen, Yixiang
2 Chiaselotti, Giampiero
2 Chicot, Katie M.
2 de Francesco Albasini, Luisa
2 Doyen, Laurent
2 Duchesne, Bruno
2 Fahrenberg, Uli
2 Fichtner, Ina
2 Garitagoitia, José Ramón
2 González de Mendívil, José Ramón
2 Götze, Doreen
2 Goubault, Eric
2 Herden, Daniel
2 Herrmann, Luisa
2 Hyde, James T.
2 Infusino, Federico G.
2 Jaballah, Ali
2 Jakubík, Ján
2 Jančić, Ivana
2 Jonušas, Julius
2 Juhl, Line
2 Krebs, Andreas
...and 430 more Authors
all top 5

Cited in 116 Serials

62 Theoretical Computer Science
30 Information and Computation
20 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 Journal of Computer and System Sciences
9 Proceedings of the American Mathematical Society
8 Soft Computing
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 International Journal of Algebra and Computation
5 Acta Informatica
5 Czechoslovak Mathematical Journal
5 Annals of Pure and Applied Logic
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 ACM Transactions on Computational Logic
4 Logical Methods in Computer Science
3 Journal of Combinatorial Theory. Series B
3 International Journal of Approximate Reasoning
3 Formal Methods in System Design
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 Axioms
2 Journal of Logical and Algebraic Methods in Programming
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 The Journal of Symbolic Logic
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 Topology and its Applications
1 Optimization
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 Geometry & Topology
1 Journal of the ACM
1 Discrete Mathematics and Theoretical Computer Science. DMTCS
1 Mathematica Moravica
1 Matematicheskie Trudy
1 Journal of the Australian Mathematical Society
1 Theory and Practice of Logic Programming
1 Journal of Applied Mathematics
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Central European Journal of Mathematics
1 Journal of Intelligent and Fuzzy Systems
1 Journal of Algebra and its Applications
1 Foundations of Physics
1 Iranian Journal of Fuzzy Systems
...and 16 more Serials
all top 5

Cited in 38 Fields

262 Computer science (68-XX)
126 Mathematical logic and foundations (03-XX)
101 Group theory and generalizations (20-XX)
79 Order, lattices, ordered algebraic structures (06-XX)
38 Combinatorics (05-XX)
29 Category theory; homological algebra (18-XX)
22 General algebraic systems (08-XX)
22 Associative rings and algebras (16-XX)
16 General topology (54-XX)
15 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
12 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)
6 Field theory and polynomials (12-XX)
5 Linear and multilinear algebra; matrix theory (15-XX)
4 Number theory (11-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 Statistics (62-XX)
2 Quantum theory (81-XX)
2 Operations research, mathematical programming (90-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 Global analysis, analysis on manifolds (58-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year