Manfred Droste

According to our database, Manfred Droste authored at least 130 papers between 1983 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings.

Manfred Droste, Werner Kuich

Theor. Comput. Sci., 2024

Weighted Linear Dynamic Logic.

Manfred Droste, Gustav Grabolle, George Rahonis

Int. J. Found. Comput. Sci., 2024

Preface.

Miroslav Ciric, Manfred Droste, Jean-Éric Pin

Inf. Comput., 2024

Run supports and initial algebra supports of weighted automata.

Manfred Droste, Heiko Vogler

CoRR, 2024

The generating power of weighted tree automata with initial algebra semantics.

Manfred Droste, Zoltán Fülöp, Andreja Tepavcevic, Heiko Vogler

CoRR, 2024

Logical Characterizations of Weighted Complexity Classes.

Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

2023

Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) - Preface.

Manfred Droste, George Rahonis, Arto Salomaa

Int. J. Found. Comput. Sci., September, 2023

Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata.

Manfred Droste, Zoltán Fülöp, Dávid Kószó

Int. J. Found. Comput. Sci., September, 2023

2022

Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids.

Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler

Theor. Comput. Sci., 2022

The Triple-Pair Construction for Weighted ω-Pushdown Automata.

Manfred Droste, Zoltán Ésik, Werner Kuich

Int. J. Found. Comput. Sci., 2022

Preface.

Manfred Droste, Andreas Maletti, Heiko Vogler

Inf. Comput., 2022

Weighted operator precedence languages.

Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella

Inf. Comput., 2022

Greibach normal form for <i>ω</i>-algebraic systems and weighted simple <i>ω</i>-pushdown automata.

Manfred Droste, Sven Dziadek, Werner Kuich

Inf. Comput., 2022

Logic for <i>ω</i>-pushdown automata.

Manfred Droste, Sven Dziadek, Werner Kuich

Inf. Comput., 2022

2021

Weighted automata.

Manfred Droste, Dietrich Kuske

Proceedings of the Handbook of Automata Theory., 2021

2020

McCarthy-Kleene fuzzy automata and MSO logics.

Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner

Inf. Comput., 2020

Greibach Normal Form for ω-Algebraic Systems and Weighted Simple ω-Pushdown Automata.

Manfred Droste, Sven Dziadek, Werner Kuich

CoRR, 2020

Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words.

Manfred Droste, Sven Dziadek, Werner Kuich

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable.

Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler

Proceedings of the Descriptional Complexity of Formal Systems, 2020

2019

Preface.

Manfred Droste, Ilias S. Kotsireas, Robert Rolland

Theor. Comput. Sci., 2019

Weighted simple reset pushdown automata.

Manfred Droste, Sven Dziadek, Werner Kuich

Theor. Comput. Sci., 2019

A Nivat theorem for weighted picture automata and weighted MSO logics.

Parvaneh Babari, Manfred Droste

J. Comput. Syst. Sci., 2019

Weighted automata with storage.

Luisa Herrmann, Heiko Vogler, Manfred Droste

Inf. Comput., 2019

A Kleene theorem for weighted tree automata over tree valuation monoids.

Doreen Götze, Zoltán Fülöp, Manfred Droste

Inf. Comput., 2019

Aperiodic Weighted Automata and Weighted First-Order Logic.

Manfred Droste, Paul Gastin

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata.

Manfred Droste, Sven Dziadek, Werner Kuich

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

2018

Weighted register automata and weighted logic on data words.

Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov

Theor. Comput. Sci., 2018

Preface: Dedicated to the memory of Zoltán Ésik (1951-2016).

Manfred Droste, Kim G. Larsen

Soft Comput., 2018

Weighted omega-Restricted One Counter Automata.

Manfred Droste, Werner Kuich

Log. Methods Comput. Sci., 2018

A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic.

Manfred Droste, Erik Paul

Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

2017

Model checking of linear-time properties in multi-valued systems.

Yongming Li, Manfred Droste, Lihui Lei

Inf. Sci., 2017

Weighted automata and logics for infinite nested words.

Manfred Droste, Stefan Dück

Inf. Comput., 2017

MK-fuzzy Automata and MSO Logics.

Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Weigthed omega-Restricted One Counter Automata.

Manfred Droste, Werner Kuich

CoRR, 2017

A Kleene Theorem for Weighted ω-Pushdown Automata.

Manfred Droste, Werner Kuich

Acta Cybern., 2017

A Nivat Theorem for Quantitative Automata on Unranked Trees.

Manfred Droste, Doreen Götze

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Multi-weighted Automata and MSO Logic.

Manfred Droste, Vitaly Perevoshchikov

Theory Comput. Syst., 2016

Zoltán Ésik (1951 - 2016) - In Memoriam.

Werner Kuich, Manfred Droste

J. Autom. Lang. Comb., 2016

Weighted Linear Dynamic Logic.

Manfred Droste, George Rahonis

Proceedings of the Seventh International Symposium on Games, 2016

A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem.

Heiko Vogler, Manfred Droste, Luisa Herrmann

Proceedings of the Language and Automata Theory and Applications, 2016

2015

The Supports of Weighted Unranked Tree Automata.

Manfred Droste, Doreen Heusel

Fundam. Informaticae, 2015

Weighted Automata and Logics on Graphs.

Manfred Droste, Stefan Dück

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic.

Parvaneh Babari, Manfred Droste

Proceedings of the Language and Automata Theory and Applications, 2015

A Logical Characterization of Timed Pushdown Languages.

Manfred Droste, Vitaly Perevoshchikov

Proceedings of the Computer Science - Theory and Applications, 2015

Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics.

Manfred Droste, Doreen Heusel, Heiko Vogler

Proceedings of the Algebraic Informatics - 6th International Conference, 2015

Logics for Weighted Timed Pushdown Automata.

Manfred Droste, Vitaly Perevoshchikov

Proceedings of the Fields of Logic and Computation II, 2015

2014

Preface.

Manfred Droste, Heiko Vogler

Theor. Comput. Sci., 2014

The Chomsky-SCHüTzenberger Theorem for Quantitative Context-Free Languages.

Manfred Droste, Heiko Vogler

Int. J. Found. Comput. Sci., 2014

Weighted Nested Word Automata and Logics over Strong bimonoids.

Manfred Droste, Bundit Pibaljommee

Int. J. Found. Comput. Sci., 2014

Conway and iteration hemirings Part 2.

Manfred Droste, Zoltán Ésik, Werner Kuich

Int. J. Algebra Comput., 2014

Conway and iteration hemirings Part 1.

Manfred Droste, Zoltán Ésik, Werner Kuich

Int. J. Algebra Comput., 2014

A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic.

Manfred Droste, Vitaly Perevoshchikov

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013

Weighted finite automata over hemirings.

Manfred Droste, Werner Kuich

Theor. Comput. Sci., 2013

Conway and iteration hemirings.

Manfred Droste, Zoltán Ésik, Werner Kuich

CoRR, 2013

The support of nested weighted automata.

Manfred Droste, Doreen Götze

Proceedings of the Fifth Workshop on Non-Classical Models for Automata and Applications - NCMA 2013, Umeå, Sweden, August 13, 2013

2012

Weighted automata and multi-valued logics over arbitrary bounded lattices.

Manfred Droste, Heiko Vogler

Theor. Comput. Sci., 2012

Weighted automata and weighted MSO logics for average and long-time behaviors.

Manfred Droste, Ingmar Meinecke

Inf. Comput., 2012

Weighted Automata and Quantitative Logics.

Manfred Droste

Proceedings of the Quantitative Logic and Soft Computing, 2012

2011

A Kleene-Schützenberger theorem for weighted timed automata.

Manfred Droste, Karin Quaas

Theor. Comput. Sci., 2011

Weighted Logics for Unranked Tree Automata.

Manfred Droste, Heiko Vogler

Theory Comput. Syst., 2011

Weighted Automata and Regular Expressions over Valuation Monoids.

Manfred Droste, Ingmar Meinecke

Int. J. Found. Comput. Sci., 2011

A Cascade Decomposition of Weighted Finite Transition Systems.

Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic

Proceedings of the Developments in Language Theory - 15th International Conference, 2011

Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics.

Manfred Droste, Doreen Götze, Steffen Märcker, Ingmar Meinecke

Proceedings of the Algebraic Foundations in Computer Science, 2011

2010

Weighted finite automata over strong bimonoids.

Manfred Droste, Torsten Stüber, Heiko Vogler

Inf. Sci., 2010

Determinization of weighted finite automata over strong bimonoids.

Miroslav Ciric, Manfred Droste, Jelena Ignjatovic, Heiko Vogler

Inf. Sci., 2010

Bifinite Chu Spaces

Manfred Droste, Guo-Qiang Zhang

Log. Methods Comput. Sci., 2010

Regular Expressions on Average and in the Long Run.

Manfred Droste, Ingmar Meinecke

Proceedings of the Implementation and Application of Automata, 2010

Describing Average- and Longtime-Behavior by Weighted MSO Logics.

Manfred Droste, Ingmar Meinecke

Proceedings of the Mathematical Foundations of Computer Science 2010, 2010

Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices.

Manfred Droste, Heiko Vogler

Proceedings of the Developments in Language Theory, 14th International Conference, 2010

10031 Executive Summary - Quantitative Models: Expressiveness and Analysis.

Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen

Proceedings of the Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010, 2010

10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis.

Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen

Proceedings of the Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010, 2010

2009

Weighted automata and weighted logics with discounting.

Manfred Droste, George Rahonis

Theor. Comput. Sci., 2009

2008

Construction of Some Uncountable 2-Arc-Transitive Bipartite Graphs.

Manfred Droste, Robert Gray, John Kenneth Truss

Order, 2008

On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables.

Manfred Droste, Paul Gastin

Theory Comput. Syst., 2008

Weighted automata with discounting.

Manfred Droste, Jacques Sakarovitch, Heiko Vogler

Inf. Process. Lett., 2008

Random Event Structures.

Manfred Droste, Guo-Qiang Zhang

Int. J. Softw. Informatics, 2008

Multi-Valued MSO Logics OverWords and Trees.

Manfred Droste, Werner Kuich, George Rahonis

Fundam. Informaticae, 2008

A Monoidal Category of Bifinite Chu Spaces.

Fangping Huang, Manfred Droste, Guo-Qiang Zhang

Proceedings of the First International Conference on Foundations of Informatics, 2008

2007

Weighted automata and weighted logics.

Manfred Droste, Paul Gastin

Theor. Comput. Sci., 2007

On Weighted BÜchi Automata with Order-Complete Weights.

Manfred Droste, Ulrike Püschmann

Int. J. Algebra Comput., 2007

Almost Every Domain is Universal.

Manfred Droste, Dietrich Kuske

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

Normal Subgroups of B_<i>u</i>Aut(Omega).

Manfred Droste, W. Charles Holland

Appl. Categorical Struct., 2007

2006

Weighted tree automata and weighted logics.

Manfred Droste, Heiko Vogler

Theor. Comput. Sci., 2006

Skew and infinitary formal power series.

Manfred Droste, Dietrich Kuske

Theor. Comput. Sci., 2006

Observations on the Smoothness Properties of Real Functions Computed by Weighted Finite Automata.

Manfred Droste, Jarkko Kari, Paula Steinby

Fundam. Informaticae, 2006

Weighted Automata and Weighted Logics on Infinite Words.

Manfred Droste, George Rahonis

Proceedings of the Developments in Language Theory, 10th International Conference, 2006

2005

A Kleene Theorem for Weighted Tree Automata.

Manfred Droste, Christian Pech, Heiko Vogler

Theory Comput. Syst., 2005

2003

On random relational structures.

Manfred Droste, Dietrich Kuske

J. Comb. Theory A, 2003

Editorial.

Manfred Droste, Heiko Vogler

J. Autom. Lang. Comb., 2003

On transformations of formal power series.

Manfred Droste, Guo-Qiang Zhang

Inf. Comput., 2003

2002

Universal Homogeneous Graph-Like Structures And Domains.

Paolo Boldi, Felice Cardone, Manfred Droste

Math. Struct. Comput. Sci., 2002

Uncountable Homogeneous Partial Orders.

Manfred Droste, Dugald Macpherson, Alan H. Mekler

Math. Log. Q., 2002

Editorial.

Manfred Droste, Paul Gastin

J. Autom. Lang. Comb., 2002

From Petri Nets to Automata with Concurrency.

Manfred Droste, R. M. Shortt

Appl. Categorical Struct., 2002

2001

Recognizable languages in divisibility monoids.

Manfred Droste, Dietrich Kuske

Math. Struct. Comput. Sci., 2001

Rational Transformations of Formal Power Series.

Manfred Droste, Guo-Qiang Zhang

Proceedings of the Automata, Languages and Programming, 28th International Colloquium, 2001

Continuous Petri Nets and Transition Systems.

Manfred Droste, R. M. Shortt

Proceedings of the Unifying Petri Nets, Advances in Petri Nets, 2001

2000

Asynchronous cellular automata for pomsets.

Manfred Droste, Paul Gastin, Dietrich Kuske

Theor. Comput. Sci., 2000

1999

On Homogeneous Semilattices and Their Automorphism Groups.

Manfred Droste, Dietrich Kuske, John Kenneth Truss

Order, 1999

The Kleene-Schützenberger Theorem for Formal Power Series in Partially Commuting Variables.

Manfred Droste, Paul Gastin

Inf. Comput., 1999

1998

Recognizable and Logically Definable Languages of Infinite Computations in Concurrent Automata.

Manfred Droste, Dietrich Kuske

Int. J. Found. Comput. Sci., 1998

1997

Representation of Computations in Concurrent Automata by Dependence Orders.

Felipe Bracho, Manfred Droste, Dietrich Kuske

Theor. Comput. Sci., 1997

On Recognizable and Rational Formal Power Series in Partially Commuting Variables.

Manfred Droste, Paul Gastin

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

1996

Aperiodic Languages in Concurrency Monoids.

Manfred Droste

Inf. Comput., 1996

Asynchronous Cellular Automata for Pomsets Without Auto-concurrency.

Manfred Droste, Paul Gastin

Proceedings of the CONCUR '96, 1996

1995

Recognizable Languages in Concurrency Monoids.

Manfred Droste

Theor. Comput. Sci., 1995

Periodic Ordered Permutation Groups and Cyclic Orderings.

Manfred Droste, Michèle Giraudet, Dugald Macpherson

J. Comb. Theory B, 1995

Dependence Orders for Computations of Concurrent Automata.

Felipe Bracho, Manfred Droste, Dietrich Kuske

Proceedings of the STACS 95, 1995

Trace Languages Definable with Modular Quantifiers.

Manfred Droste, Dietrich Kuske

Proceedings of the Developments in Language Theory II, 1995

Languages and Logical Definability in Concurrency Monoids.

Manfred Droste, Dietrich Kuske

Proceedings of the Computer Science Logic, 9th International Workshop, 1995

1994

Labelled Domains and Automata with Concurrency.

Felipe Bracho, Manfred Droste

Theor. Comput. Sci., 1994

Set-Homogeneous Graphs.

Manfred Droste, Dugald Macpherson, Norbert Sauer, Michèle Giraudet

J. Comb. Theory B, 1994

A KLeene Theorem for Recognizable Languages over Concurrency Monoids.

Manfred Droste

Proceedings of the Automata, Languages and Programming, 21st International Colloquium, 1994

1993

On Stable Domains.

Manfred Droste

Theor. Comput. Sci., 1993

Universal Domains and the Amalgamation Property.

Manfred Droste, Rüdiger Göbel

Math. Struct. Comput. Sci., 1993

From Domains to Automata with Concurrency.

Felipe Bracho, Manfred Droste

Proceedings of the Automata, Languages and Programming, 20nd International Colloquium, 1993

1992

Finite Axiomatizations for Universal Domains.

Manfred Droste

J. Log. Comput., 1992

Concurrent Automata and Domains.

Manfred Droste

Int. J. Found. Comput. Sci., 1992

Bounded Petri nets of finite dimension have only finitely many reachable markings.

Manfred Droste, R. M. Shortt

Bull. EATCS, 1992

1991

Universal Homogeneous Event Structures and Domains

Manfred Droste

Inf. Comput., September, 1991

On <i>k</i>-homogeneous posets and graphs.

Manfred Droste, Dugald Macpherson

J. Comb. Theory A, 1991

1990

Non-Deterministic Information Systems and their Domains.

Manfred Droste, Rüdiger Göbel

Theor. Comput. Sci., 1990

Universal Information Systems.

Manfred Droste, Rüdiger Göbel

Int. J. Found. Comput. Sci., 1990

Universal Domains in the Theory of Denotational Semantics of Programming Languages

Manfred Droste, Rüdiger Göbel

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

Concurrency, Automata and Domains.

Manfred Droste

Proceedings of the Automata, Languages and Programming, 17th International Colloquium, 1990

1989

Recursive Domain Equations for Concrete Data Structures

Manfred Droste

Inf. Comput., July, 1989

Event Structures and Domains.

Manfred Droste

Theor. Comput. Sci., 1989

Effectively Given Information Systems and Domains.

Manfred Droste, Rüdiger Göbel

Proceedings of the CSL '89, 1989

1987

Completeness Properties of Certain Normal Subgroup Lattices.

Manfred Droste

Eur. J. Comb., 1987

1983

Products of conjugacy classes of the infinite symmetric groups.

Manfred Droste

Discret. Math., 1983