Manfred Droste

ORCID

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 54

Top Venues

Inf. Comput.

CoRR

Int. J. Found. Comput. Sci.

Theor. Comput. Sci.

Publications

Manfred Droste, Werner Kuich
Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings. Theor. Comput. Sci. 1002 (2024)
Manfred Droste, Zoltán Fülöp, Andreja Tepavcevic, Heiko Vogler
The generating power of weighted tree automata with initial algebra semantics. CoRR (2024)
Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul
Logical Characterizations of Weighted Complexity Classes. MFCS (2024)
Miroslav Ciric, Manfred Droste, Jean-Éric Pin
Preface. Inf. Comput. 301 (2024)
Manfred Droste, Gustav Grabolle, George Rahonis
Weighted Linear Dynamic Logic. Int. J. Found. Comput. Sci. 35 (1&2) (2024)
Manfred Droste, George Rahonis, Arto Salomaa
Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) - Preface. Int. J. Found. Comput. Sci. 34 (6) (2023)
Manfred Droste, Zoltán Fülöp, Dávid Kószó
Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata. Int. J. Found. Comput. Sci. 34 (6) (2023)
Manfred Droste, Andreas Maletti, Heiko Vogler
Preface. Inf. Comput. 282 (2022)
Manfred Droste, Zoltán Ésik, Werner Kuich
The Triple-Pair Construction for Weighted ω-Pushdown Automata. Int. J. Found. Comput. Sci. 33 (3&4) (2022)
Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. Theor. Comput. Sci. 919 (2022)
Manfred Droste, Sven Dziadek, Werner Kuich
-pushdown automata. Inf. Comput. 282 (2022)
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
Weighted operator precedence languages. Inf. Comput. 282 (2022)
Manfred Droste, Sven Dziadek, Werner Kuich
-pushdown automata. Inf. Comput. 285 (Part) (2022)
Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. CoRR (2021)
Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
McCarthy-Kleene fuzzy automata and MSO logics. Inf. Comput. 272 (2020)
Manfred Droste, Sven Dziadek, Werner Kuich
Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words. FSTTCS (2020)
Manfred Droste, Sven Dziadek, Werner Kuich
Greibach Normal Form for ω-Algebraic Systems and Weighted Simple ω-Pushdown Automata. CoRR (2020)
Manfred Droste, Zoltán Fülöp, Dávid Kószó, Heiko Vogler
Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is Decidable. DCFS (2020)
Luisa Herrmann, Heiko Vogler, Manfred Droste
Weighted automata with storage. Inf. Comput. 269 (2019)
Manfred Droste, Sven Dziadek, Werner Kuich
Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata. FSTTCS (2019)
Manfred Droste, Paul Gastin
Aperiodic Weighted Automata and Weighted First-Order Logic. MFCS (2019)
Parvaneh Babari, Manfred Droste
A Nivat theorem for weighted picture automata and weighted MSO logics. J. Comput. Syst. Sci. 104 (2019)
Manfred Droste, Paul Gastin
Aperiodic Weighted Automata and Weighted First-Order Logic. CoRR (2019)
Doreen Götze, Zoltán Fülöp, Manfred Droste
A Kleene theorem for weighted tree automata over tree valuation monoids. Inf. Comput. 269 (2019)
Manfred Droste, Sven Dziadek, Werner Kuich
Weighted simple reset pushdown automata. Theor. Comput. Sci. 777 (2019)
Manfred Droste, Ilias S. Kotsireas, Robert Rolland
Preface. Theor. Comput. Sci. 800 (2019)
Manfred Droste, Kim G. Larsen
Preface: Dedicated to the memory of Zoltán Ésik (1951-2016). Soft Comput. 22 (4) (2018)
Manfred Droste, Werner Kuich
Weighted omega-Restricted One Counter Automata. Log. Methods Comput. Sci. 14 (1) (2018)
Manfred Droste, Erik Paul
A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. MFCS (2018)
Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov
Weighted register automata and weighted logic on data words. Theor. Comput. Sci. 744 (2018)
Manfred Droste, Zoltán Ésik, Werner Kuich
The Triple-Pair Construction for Weighted ω-Pushdown Automata. AFL (2017)
Manfred Droste, Werner Kuich
A Kleene Theorem for Weighted ω-Pushdown Automata. Acta Cybern. 23 (1) (2017)
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
Weighted Operator Precedence Languages. MFCS (2017)
Manfred Droste, Stefan Dück
Weighted automata and logics for infinite nested words. Inf. Comput. 253 (2017)
Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner
MK-fuzzy Automata and MSO Logics. GandALF (2017)
Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella
Weighted Operator Precedence Languages. CoRR (2017)
Manfred Droste, Werner Kuich
Weigthed omega-Restricted One Counter Automata. CoRR (2017)
Manfred Droste, Doreen Götze
A Nivat Theorem for Quantitative Automata on Unranked Trees. Models, Algorithms, Logics and Tools (2017)
Yongming Li, Manfred Droste, Lihui Lei
Model checking of linear-time properties in multi-valued systems. Inf. Sci. 377 (2017)
Werner Kuich, Manfred Droste
Zoltán Ésik (1951 - 2016) - In Memoriam. J. Autom. Lang. Comb. 21 (3) (2016)
Heiko Vogler, Manfred Droste, Luisa Herrmann
A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem. LATA (2016)
Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov
Weighted Register Automata and Weighted Logic on Data Words. ICTAC (2016)
Manfred Droste, Zoltán Fülöp, Doreen Götze
A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids. LATA (2016)
Manfred Droste, Vitaly Perevoshchikov
Multi-weighted Automata and MSO Logic. Theory Comput. Syst. 59 (2) (2016)
Manfred Droste, George Rahonis
Weighted Linear Dynamic Logic. GandALF (2016)
Manfred Droste, Vitaly Perevoshchikov
A Logical Characterization of Timed Pushdown Languages. CSR (2015)
Manfred Droste, Doreen Heusel
The Supports of Weighted Unranked Tree Automata. Fundam. Informaticae 136 (1-2) (2015)
Parvaneh Babari, Manfred Droste
A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic. LATA (2015)
Manfred Droste, Vitaly Perevoshchikov
A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic. CoRR (2015)
Manfred Droste, Vitaly Perevoshchikov
Multi-weighted Automata and MSO Logic. CoRR (2015)
Manfred Droste, Vitaly Perevoshchikov
Logics for Weighted Timed Pushdown Automata. Fields of Logic and Computation II (2015)
Manfred Droste, Stefan Dück
Weighted Automata and Logics on Graphs. MFCS (1) (2015)
Manfred Droste, Doreen Heusel, Heiko Vogler
Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics. CAI (2015)
Manfred Droste, Stefan Dück
Weighted Automata and Logics for Infinite Nested Words. CoRR (2015)
Manfred Droste, Heiko Vogler
Preface. Theor. Comput. Sci. 534 (2014)
Manfred Droste, Vitaly Perevoshchikov
A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic. ICALP (2) (2014)
Manfred Droste, Zoltán Ésik, Werner Kuich
Conway and iteration hemirings Part 1. Int. J. Algebra Comput. 24 (4) (2014)
Manfred Droste, Stefan Dück
Weighted Automata and Logics for Infinite Nested Words. LATA (2014)
Manfred Droste, Bundit Pibaljommee
Weighted Nested Word Automata and Logics over Strong bimonoids. Int. J. Found. Comput. Sci. 25 (5) (2014)
Manfred Droste, Heiko Vogler
The Chomsky-SCHüTzenberger Theorem for Quantitative Context-Free Languages. Int. J. Found. Comput. Sci. 25 (8) (2014)
Manfred Droste, Zoltán Ésik, Werner Kuich
Conway and iteration hemirings Part 2. Int. J. Algebra Comput. 24 (4) (2014)
Manfred Droste, Heiko Vogler
The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages. Developments in Language Theory (2013)
Manfred Droste, Vitaly Perevoshchikov
Multi-weighted Automata and MSO Logic. CSR (2013)
Manfred Droste, Werner Kuich
Weighted finite automata over hemirings. Theor. Comput. Sci. 485 (2013)
Manfred Droste, Doreen Götze
The support of nested weighted automata. NCMA (2013)
Manfred Droste, Zoltán Ésik, Werner Kuich
Conway and iteration hemirings. CoRR (2013)
Manfred Droste, Bundit Pibaljommee
Weighted Nested Word Automata and Logics over Strong Bimonoids. CIAA (2012)
Manfred Droste, Heiko Vogler
Weighted automata and multi-valued logics over arbitrary bounded lattices. Theor. Comput. Sci. 418 (2012)
Manfred Droste, Heiko Vogler
The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages CoRR (2012)
Manfred Droste
Weighted Automata and Quantitative Logics. QLSC (2012)
Manfred Droste, Ingmar Meinecke
Weighted automata and weighted MSO logics for average and long-time behaviors. Inf. Comput. 220 (2012)
Manfred Droste, Ingmar Meinecke
Weighted Automata and Regular Expressions over Valuation Monoids. Int. J. Found. Comput. Sci. 22 (8) (2011)
Manfred Droste, Karin Quaas
A Kleene-Schützenberger theorem for weighted timed automata. Theor. Comput. Sci. 412 (12-14) (2011)
Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic
A Cascade Decomposition of Weighted Finite Transition Systems. Developments in Language Theory (2011)
Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic
A Cascade Decomposition of Weighted Finite Transition Systems. NCMA (2011)
Manfred Droste, Heiko Vogler
Weighted Logics for Unranked Tree Automata. Theory Comput. Syst. 48 (1) (2011)
Manfred Droste, Doreen Götze, Steffen Märcker, Ingmar Meinecke
Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics. Algebraic Foundations in Computer Science (2011)
Manfred Droste, Heiko Vogler
Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices. Developments in Language Theory (2010)
Manfred Droste, Guo-Qiang Zhang
Bifinite Chu Spaces Log. Methods Comput. Sci. 6 (1) (2010)
Manfred Droste, Torsten Stüber, Heiko Vogler
Weighted finite automata over strong bimonoids. Inf. Sci. 180 (1) (2010)
Manfred Droste, Ingmar Meinecke
Describing Average- and Longtime-Behavior by Weighted MSO Logics. MFCS (2010)
Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen
10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis. Quantitative Models: Expressiveness and Analysis (2010)
Miroslav Ciric, Manfred Droste, Jelena Ignjatovic, Heiko Vogler
Determinization of weighted finite automata over strong bimonoids. Inf. Sci. 180 (18) (2010)
Manfred Droste, Ingmar Meinecke
Regular Expressions on Average and in the Long Run. CIAA (2010)
Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen
10031 Executive Summary - Quantitative Models: Expressiveness and Analysis. Quantitative Models: Expressiveness and Analysis (2010)
Manfred Droste, George Rahonis
Weighted automata and weighted logics with discounting. Theor. Comput. Sci. 410 (37) (2009)
Manfred Droste, Guo-Qiang Zhang
Random Event Structures. Int. J. Softw. Informatics 2 (1) (2008)
Manfred Droste, Robert Gray, John Kenneth Truss
Construction of Some Uncountable 2-Arc-Transitive Bipartite Graphs. Order 25 (4) (2008)
Manfred Droste, Paul Gastin
On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables. Theory Comput. Syst. 42 (4) (2008)
Fangping Huang, Manfred Droste, Guo-Qiang Zhang
A Monoidal Category of Bifinite Chu Spaces. Electron. Notes Theor. Comput. Sci. 212 (2008)
Manfred Droste, Werner Kuich, George Rahonis
Multi-Valued MSO Logics OverWords and Trees. Fundam. Informaticae 84 (3-4) (2008)
Manfred Droste, Jacques Sakarovitch, Heiko Vogler
Weighted automata with discounting. Inf. Process. Lett. 108 (1) (2008)
Manfred Droste, Karin Quaas
A Kleene-Schützenberger Theorem for Weighted Timed Automata. FoSSaCS (2008)
Manfred Droste, Guo-Qiang Zhang
Bifinite Chu Spaces. CAI (2007)
Manfred Droste, Guo-Qiang Zhang
Bifinite Chu Spaces. CALCO (2007)
Manfred Droste, Dietrich Kuske
Almost Every Domain is Universal. MFPS (2007)
Manfred Droste, Paul Gastin
Weighted automata and weighted logics. Theor. Comput. Sci. 380 (1-2) (2007)
Manfred Droste, W. Charles Holland
Aut(Omega). Appl. Categorical Struct. 15 (1-2) (2007)
Manfred Droste, Heiko Vogler
Editorial. J. Autom. Lang. Comb. 12 (4) (2007)
Manfred Droste, Ulrike Püschmann
On Weighted BÜchi Automata with Order-Complete Weights. Int. J. Algebra Comput. 17 (2) (2007)

Manfred Droste.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manfred Droste