Manfred Droste

163 papers A* 8A 1B 12C 13Misc 2Journal 103Unranked 20

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Descriptive complexity and weighted Turing machines. Inf. Comput. Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul
2025	J	`jnl`	Fagin's Theorem for Semiring Turing Machines. CoRR Guillermo Badia, Manfred Droste, Thomas Eiter, Rafael Kiesel, Carles Noguera, Erik Paul
2025	J	`jnl`	Free polynomial strong bimonoids. CoRR Manfred Droste, Zoltán Fülöp
2025	J	`jnl`	Semirings in Databases, Automata, and Logic (Dagstuhl Seminar 25081). Dagstuhl Reports Guillermo Badia, Manfred Droste, Phokion G. Kolaitis, Carles Noguera, Sophie Brinke, Lovro Mrkonjic, Gaia Petreni
2025	J	`jnl`	Special issue on 10th international workshop Weighted Automata: Theory and Applications (WATA 2020). Inf. Comput. Manfred Droste, Paul Gastin, Benjamin Monmege
2024	B	`conf`	Logical Characterizations of Weighted Complexity Classes. MFCS Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul
2024	J	`jnl`	Preface. Inf. Comput. Miroslav Ciric, Manfred Droste, Jean-Éric Pin
2024	J	`jnl`	Run supports and initial algebra supports of weighted automata. CoRR Manfred Droste, Heiko Vogler
2024	J	`jnl`	The generating power of weighted tree automata with initial algebra semantics. CoRR Manfred Droste, Zoltán Fülöp, Andreja Tepavcevic, Heiko Vogler
2024	J	`jnl`	Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings. Theor. Comput. Sci. Manfred Droste, Werner Kuich
2024	J	`jnl`	Weighted Linear Dynamic Logic. Int. J. Found. Comput. Sci. Manfred Droste, Gustav Grabolle, George Rahonis
2023	J	`jnl`	Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata. Int. J. Found. Comput. Sci. Manfred Droste, Zoltán Fülöp, Dávid Kószó
2023	J	`jnl`	Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) - Preface. Int. J. Found. Comput. Sci. Manfred Droste, George Rahonis, Arto Salomaa
2022	J	`jnl`	Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. Theor. Comput. Sci. Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler
2022	J	`jnl`	Greibach normal form for Inf. Comput. Manfred Droste, Sven Dziadek, Werner Kuich
2022	J	`jnl`	Logic for Inf. Comput. Manfred Droste, Sven Dziadek, Werner Kuich
2022	J	`jnl`	Preface. Inf. Comput. Manfred Droste, Andreas Maletti, Heiko Vogler
2022	J	`jnl`	The Triple-Pair Construction for Weighted ω-Pushdown Automata. Int. J. Found. Comput. Sci. Manfred Droste, Zoltán Ésik, Werner Kuich
2022	J	`jnl`	Weighted operator precedence languages. Inf. Comput. Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
2021	J	`jnl`	Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. CoRR Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler
2021	—	`ch.`	Weighted automata. Handbook of Automata Theory (I.) Manfred Droste, Dietrich Kuske
2020	—	`conf`	Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable. DCFS Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler
2020	—	`ed.`	Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday Fields of Logic and Computation III Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner
2020	J	`jnl`	Greibach Normal Form for ω-Algebraic Systems and Weighted Simple ω-Pushdown Automata. CoRR Manfred Droste, Sven Dziadek, Werner Kuich
2020	J	`jnl`	McCarthy-Kleene fuzzy automata and MSO logics. Inf. Comput. Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
2020	—	`conf`	Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words. FSTTCS Manfred Droste, Sven Dziadek, Werner Kuich
2019	J	`jnl`	A Kleene theorem for weighted tree automata over tree valuation monoids. Inf. Comput. Doreen Götze, Zoltán Fülöp, Manfred Droste
2019	J	`jnl`	A Nivat theorem for weighted picture automata and weighted MSO logics. J. Comput. Syst. Sci. Parvaneh Babari, Manfred Droste
2019	—	`ed.`	Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings CAI Miroslav Ciric, Manfred Droste, Jean-Éric Pin
2019	B	`conf`	Aperiodic Weighted Automata and Weighted First-Order Logic. MFCS Manfred Droste, Paul Gastin
2019	J	`jnl`	Aperiodic Weighted Automata and Weighted First-Order Logic. CoRR Manfred Droste, Paul Gastin
2019	—	`conf`	Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata. FSTTCS Manfred Droste, Sven Dziadek, Werner Kuich
2019	J	`jnl`	Preface. Theor. Comput. Sci. Manfred Droste, Ilias S. Kotsireas, Robert Rolland
2019	J	`jnl`	Weighted automata with storage. Inf. Comput. Luisa Herrmann, Heiko Vogler, Manfred Droste
2019	J	`jnl`	Weighted simple reset pushdown automata. Theor. Comput. Sci. Manfred Droste, Sven Dziadek, Werner Kuich
2018	B	`conf`	A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. MFCS Manfred Droste, Erik Paul
2018	J	`jnl`	Preface: Dedicated to the memory of Zoltán Ésik (1951-2016). Soft Comput. Manfred Droste, Kim G. Larsen
2018	J	`jnl`	Weighted omega-Restricted One Counter Automata. Log. Methods Comput. Sci. Manfred Droste, Werner Kuich
2018	J	`jnl`	Weighted register automata and weighted logic on data words. Theor. Comput. Sci. Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov
2017	J	`jnl`	A Kleene Theorem for Weighted ω-Pushdown Automata. Acta Cybern. Manfred Droste, Werner Kuich
2017	—	`conf`	A Nivat Theorem for Quantitative Automata on Unranked Trees. Models, Algorithms, Logics and Tools Manfred Droste, Doreen Götze
2017	—	`conf`	MK-fuzzy Automata and MSO Logics. GandALF Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
2017	J	`jnl`	Model checking of linear-time properties in multi-valued systems. Inf. Sci. Yongming Li, Manfred Droste, Lihui Lei
2017	—	`conf`	The Triple-Pair Construction for Weighted ω-Pushdown Automata. AFL Manfred Droste, Zoltán Ésik, Werner Kuich
2017	B	`conf`	Weighted Operator Precedence Languages. MFCS Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
2017	J	`jnl`	Weighted Operator Precedence Languages. CoRR Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
2017	J	`jnl`	Weighted automata and logics for infinite nested words. Inf. Comput. Manfred Droste, Stefan Dück
2017	J	`jnl`	Weigthed omega-Restricted One Counter Automata. CoRR Manfred Droste, Werner Kuich
2016	C	`conf`	A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids. LATA Manfred Droste, Zoltán Fülöp, Doreen Götze
2016	C	`conf`	A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem. LATA Heiko Vogler, Manfred Droste, Luisa Herrmann
2016	J	`jnl`	Multi-weighted Automata and MSO Logic. Theory Comput. Syst. Manfred Droste, Vitaly Perevoshchikov
2016	—	`conf`	Weighted Linear Dynamic Logic. GandALF Manfred Droste, George Rahonis
2016	C	`conf`	Weighted Register Automata and Weighted Logic on Data Words. ICTAC Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov
2016	J	`jnl`	Zoltán Ésik (1951 - 2016) - In Memoriam. J. Autom. Lang. Comb. Werner Kuich, Manfred Droste
2015	Misc	`conf`	A Logical Characterization of Timed Pushdown Languages. CSR Manfred Droste, Vitaly Perevoshchikov
2015	C	`conf`	A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic. LATA Parvaneh Babari, Manfred Droste
2015	J	`jnl`	A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic. CoRR Manfred Droste, Vitaly Perevoshchikov
2015	—	`conf`	Logics for Weighted Timed Pushdown Automata. Fields of Logic and Computation II Manfred Droste, Vitaly Perevoshchikov
2015	J	`jnl`	Multi-weighted Automata and MSO Logic. CoRR Manfred Droste, Vitaly Perevoshchikov
2015	J	`jnl`	The Supports of Weighted Unranked Tree Automata. Fundam. Informaticae Manfred Droste, Doreen Heusel
2015	J	`jnl`	Weighted Automata and Logics for Infinite Nested Words. CoRR Manfred Droste, Stefan Dück
2015	—	`conf`	Weighted Automata and Logics on Graphs. MFCS (1) Manfred Droste, Stefan Dück
2015	—	`conf`	Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics. CAI Manfred Droste, Doreen Heusel, Heiko Vogler
2014	—	`conf`	A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic. ICALP (2) Manfred Droste, Vitaly Perevoshchikov
2014	J	`jnl`	Conway and iteration hemirings Part 1. Int. J. Algebra Comput. Manfred Droste, Zoltán Ésik, Werner Kuich
2014	J	`jnl`	Conway and iteration hemirings Part 2. Int. J. Algebra Comput. Manfred Droste, Zoltán Ésik, Werner Kuich
2014	J	`jnl`	Preface. Theor. Comput. Sci. Manfred Droste, Heiko Vogler
2014	J	`jnl`	The Chomsky-SCHüTzenberger Theorem for Quantitative Context-Free Languages. Int. J. Found. Comput. Sci. Manfred Droste, Heiko Vogler
2014	C	`conf`	Weighted Automata and Logics for Infinite Nested Words. LATA Manfred Droste, Stefan Dück
2014	J	`jnl`	Weighted Nested Word Automata and Logics over Strong bimonoids. Int. J. Found. Comput. Sci. Manfred Droste, Bundit Pibaljommee
2013	J	`jnl`	Conway and iteration hemirings. CoRR Manfred Droste, Zoltán Ésik, Werner Kuich
2013	Misc	`conf`	Multi-weighted Automata and MSO Logic. CSR Manfred Droste, Vitaly Perevoshchikov
2013	C	`conf`	The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages. Developments in Language Theory Manfred Droste, Heiko Vogler
2013	—	`conf`	The support of nested weighted automata. NCMA Manfred Droste, Doreen Götze
2013	J	`jnl`	Weighted finite automata over hemirings. Theor. Comput. Sci. Manfred Droste, Werner Kuich
2012	J	`jnl`	The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages CoRR Manfred Droste, Heiko Vogler
2012	—	`conf`	Weighted Automata and Quantitative Logics. QLSC Manfred Droste
2012	C	`conf`	Weighted Nested Word Automata and Logics over Strong Bimonoids. CIAA Manfred Droste, Bundit Pibaljommee
2012	J	`jnl`	Weighted automata and multi-valued logics over arbitrary bounded lattices. Theor. Comput. Sci. Manfred Droste, Heiko Vogler
2012	J	`jnl`	Weighted automata and weighted MSO logics for average and long-time behaviors. Inf. Comput. Manfred Droste, Ingmar Meinecke
2011	C	`conf`	A Cascade Decomposition of Weighted Finite Transition Systems. Developments in Language Theory Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic
2011	—	`conf`	A Cascade Decomposition of Weighted Finite Transition Systems. NCMA Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic
2011	J	`jnl`	A Kleene-Schützenberger theorem for weighted timed automata. Theor. Comput. Sci. Manfred Droste, Karin Quaas
2011	J	`jnl`	Weighted Automata and Regular Expressions over Valuation Monoids. Int. J. Found. Comput. Sci. Manfred Droste, Ingmar Meinecke
2011	J	`jnl`	Weighted Logics for Unranked Tree Automata. Theory Comput. Syst. Manfred Droste, Heiko Vogler
2011	—	`conf`	Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics. Algebraic Foundations in Computer Science Manfred Droste, Doreen Götze, Steffen Märcker, Ingmar Meinecke
2010	—	`conf`	10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis. Quantitative Models: Expressiveness and Analysis Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen
2010	—	`conf`	10031 Executive Summary - Quantitative Models: Expressiveness and Analysis. Quantitative Models: Expressiveness and Analysis Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen
2010	J	`jnl`	Bifinite Chu Spaces Log. Methods Comput. Sci. Manfred Droste, Guo-Qiang Zhang
2010	B	`conf`	Describing Average- and Longtime-Behavior by Weighted MSO Logics. MFCS Manfred Droste, Ingmar Meinecke
2010	J	`jnl`	Determinization of weighted finite automata over strong bimonoids. Inf. Sci. Miroslav Ciric, Manfred Droste, Jelena Ignjatovic, Heiko Vogler
2010	C	`conf`	Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices. Developments in Language Theory Manfred Droste, Heiko Vogler
2010	—	`ed.`	Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010 Quantitative Models: Expressiveness and Analysis Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen
2010	C	`conf`	Regular Expressions on Average and in the Long Run. CIAA Manfred Droste, Ingmar Meinecke
2010	J	`jnl`	Weighted finite automata over strong bimonoids. Inf. Sci. Manfred Droste, Torsten Stüber, Heiko Vogler
2009	J	`jnl`	Weighted automata and weighted logics with discounting. Theor. Comput. Sci. Manfred Droste, George Rahonis
2008	B	`conf`	A Kleene-Schützenberger Theorem for Weighted Timed Automata. FoSSaCS Manfred Droste, Karin Quaas
2008	—	`conf`	A Monoidal Category of Bifinite Chu Spaces. FICS Fangping Huang, Manfred Droste, Guo-Qiang Zhang
2008	J	`jnl`	Construction of Some Uncountable 2-Arc-Transitive Bipartite Graphs. Order Manfred Droste, Robert Gray, John Kenneth Truss
2008	J	`jnl`	Multi-Valued MSO Logics OverWords and Trees. Fundam. Informaticae Manfred Droste, Werner Kuich, George Rahonis
2008	J	`jnl`	On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables. Theory Comput. Syst. Manfred Droste, Paul Gastin
2008	J	`jnl`	Random Event Structures. Int. J. Softw. Informatics Manfred Droste, Guo-Qiang Zhang
2008	J	`jnl`	Weighted automata with discounting. Inf. Process. Lett. Manfred Droste, Jacques Sakarovitch, Heiko Vogler
2007	B	`conf`	Almost Every Domain is Universal. MFPS Manfred Droste, Dietrich Kuske
2007	—	`conf`	Bifinite Chu Spaces. CAI Manfred Droste, Guo-Qiang Zhang
2007	B	`conf`	Bifinite Chu Spaces. CALCO Manfred Droste, Guo-Qiang Zhang
2007	J	`jnl`	Editorial. J. Autom. Lang. Comb. Manfred Droste, Heiko Vogler
2007	J	`jnl`	Normal Subgroups of B Appl. Categorical Struct. Manfred Droste, W. Charles Holland
2007	J	`jnl`	On Weighted BÜchi Automata with Order-Complete Weights. Int. J. Algebra Comput. Manfred Droste, Ulrike Püschmann
2007	C	`conf`	Weighted Automata and Weighted Logics with Discounting. CIAA Manfred Droste, George Rahonis
2007	J	`jnl`	Weighted automata and weighted logics. Theor. Comput. Sci. Manfred Droste, Paul Gastin
2006	J	`jnl`	Observations on the Smoothness Properties of Real Functions Computed by Weighted Finite Automata. Fundam. Informaticae Manfred Droste, Jarkko Kari, Paula Steinby
2006	J	`jnl`	Skew and infinitary formal power series. Theor. Comput. Sci. Manfred Droste, Dietrich Kuske
2006	C	`conf`	Weighted Automata and Weighted Logics on Infinite Words. Developments in Language Theory Manfred Droste, George Rahonis
2006	J	`jnl`	Weighted tree automata and weighted logics. Theor. Comput. Sci. Manfred Droste, Heiko Vogler
2005	J	`jnl`	A Kleene Theorem for Weighted Tree Automata. Theory Comput. Syst. Manfred Droste, Christian Pech, Heiko Vogler
2005	J	`jnl`	Editorial. J. Autom. Lang. Comb. Manfred Droste, Heiko Vogler
2005	A*	`conf`	Weighted Automata and Weighted Logics. ICALP Manfred Droste, Paul Gastin
2003	J	`jnl`	Editorial. J. Autom. Lang. Comb. Manfred Droste, Heiko Vogler
2003	J	`jnl`	On random relational structures. J. Comb. Theory A Manfred Droste, Dietrich Kuske
2003	J	`jnl`	On transformations of formal power series. Inf. Comput. Manfred Droste, Guo-Qiang Zhang
2003	A*	`conf`	Skew and Infinitary Formal Power Series. ICALP Manfred Droste, Dietrich Kuske
2002	J	`jnl`	Editorial. J. Autom. Lang. Comb. Manfred Droste, Paul Gastin
2002	J	`jnl`	From Petri Nets to Automata with Concurrency. Appl. Categorical Struct. Manfred Droste, R. M. Shortt
2002	J	`jnl`	Uncountable Homogeneous Partial Orders. Math. Log. Q. Manfred Droste, Dugald Macpherson, Alan H. Mekler
2002	J	`jnl`	Universal Homogeneous Graph-Like Structures And Domains. Math. Struct. Comput. Sci. Paolo Boldi, Felice Cardone, Manfred Droste
2001	—	`conf`	Continuous Petri Nets and Transition Systems. Unifying Petri Nets Manfred Droste, R. M. Shortt
2001	A*	`conf`	Rational Transformations of Formal Power Series. ICALP Manfred Droste, Guo-Qiang Zhang
2001	J	`jnl`	Recognizable languages in divisibility monoids. Math. Struct. Comput. Sci. Manfred Droste, Dietrich Kuske
2000	J	`jnl`	Asynchronous cellular automata for pomsets. Theor. Comput. Sci. Manfred Droste, Paul Gastin, Dietrich Kuske
1999	J	`jnl`	On Homogeneous Semilattices and Their Automorphism Groups. Order Manfred Droste, Dietrich Kuske, John Kenneth Truss
1999	B	`conf`	On Recognizable Languages in Divisibility Monoids. FCT Manfred Droste, Dietrich Kuske
1999	J	`jnl`	The Kleene-Schützenberger Theorem for Formal Power Series in Partially Commuting Variables. Inf. Comput. Manfred Droste, Paul Gastin
1998	J	`jnl`	Recognizable and Logically Definable Languages of Infinite Computations in Concurrent Automata. Int. J. Found. Comput. Sci. Manfred Droste, Dietrich Kuske
1997	A*	`conf`	On Recognizable and Rational Formal Power Series in Partially Commuting Variables. ICALP Manfred Droste, Paul Gastin
1997	J	`jnl`	Representation of Computations in Concurrent Automata by Dependence Orders. Theor. Comput. Sci. Felipe Bracho, Manfred Droste, Dietrich Kuske
1996	J	`jnl`	Aperiodic Languages in Concurrency Monoids. Inf. Comput. Manfred Droste
1996	B	`conf`	Asynchronous Cellular Automata for Pomsets Without Auto-concurrency. CONCUR Manfred Droste, Paul Gastin
1995	A	`conf`	Dependence Orders for Computations of Concurrent Automata. STACS Felipe Bracho, Manfred Droste, Dietrich Kuske
1995	B	`conf`	Languages and Logical Definability in Concurrency Monoids. CSL Manfred Droste, Dietrich Kuske
1995	J	`jnl`	Periodic Ordered Permutation Groups and Cyclic Orderings. J. Comb. Theory B Manfred Droste, Michèle Giraudet, Dugald Macpherson
1995	J	`jnl`	Recognizable Languages in Concurrency Monoids. Theor. Comput. Sci. Manfred Droste
1995	C	`conf`	Trace Languages Definable with Modular Quantifiers. Developments in Language Theory Manfred Droste, Dietrich Kuske
1994	A*	`conf`	A KLeene Theorem for Recognizable Languages over Concurrency Monoids. ICALP Manfred Droste
1994	J	`jnl`	Labelled Domains and Automata with Concurrency. Theor. Comput. Sci. Felipe Bracho, Manfred Droste
1994	J	`jnl`	Set-Homogeneous Graphs. J. Comb. Theory B Manfred Droste, Dugald Macpherson, Norbert Sauer, Michèle Giraudet
1993	A*	`conf`	From Domains to Automata with Concurrency. ICALP Felipe Bracho, Manfred Droste
1993	J	`jnl`	On Stable Domains. Theor. Comput. Sci. Manfred Droste
1993	J	`jnl`	Universal Domains and the Amalgamation Property. Math. Struct. Comput. Sci. Manfred Droste, Rüdiger Göbel
1992	J	`jnl`	Bounded Petri nets of finite dimension have only finitely many reachable markings. Bull. EATCS Manfred Droste, R. M. Shortt
1992	J	`jnl`	Concurrent Automata and Domains. Int. J. Found. Comput. Sci. Manfred Droste
1992	J	`jnl`	Finite Axiomatizations for Universal Domains. J. Log. Comput. Manfred Droste
1991	J	`jnl`	On J. Comb. Theory A Manfred Droste, Dugald Macpherson
1991	J	`jnl`	Universal Homogeneous Event Structures and Domains Inf. Comput. Manfred Droste
1990	A*	`conf`	Concurrency, Automata and Domains. ICALP Manfred Droste
1990	J	`jnl`	Non-Deterministic Information Systems and their Domains. Theor. Comput. Sci. Manfred Droste, Rüdiger Göbel
1990	A*	`conf`	Universal Domains in the Theory of Denotational Semantics of Programming Languages LICS Manfred Droste, Rüdiger Göbel
1990	J	`jnl`	Universal Information Systems. Int. J. Found. Comput. Sci. Manfred Droste, Rüdiger Göbel
1989	B	`conf`	Effectively Given Information Systems and Domains. CSL Manfred Droste, Rüdiger Göbel
1989	J	`jnl`	Event Structures and Domains. Theor. Comput. Sci. Manfred Droste
1989	J	`jnl`	Recursive Domain Equations for Concrete Data Structures Inf. Comput. Manfred Droste
1987	J	`jnl`	Completeness Properties of Certain Normal Subgroup Lattices. Eur. J. Comb. Manfred Droste
1983	J	`jnl`	Products of conjugacy classes of the infinite symmetric groups. Discret. Math. Manfred Droste