Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManfred Droste
Person information
- affiliation: University of Leipzig, Germany
- affiliation: Dresden University of Technology, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j81]Manfred Droste, Andreas Maletti, Heiko Vogler:
Preface. Inf. Comput. 282: 104646 (2022)- [j80]Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella:
Weighted operator precedence languages. Inf. Comput. 282: 104658 (2022) - [j79]Manfred Droste, Sven Dziadek
, Werner Kuich:
Logic for ω-pushdown automata. Inf. Comput. 282: 104659 (2022) - [j78]Manfred Droste, Sven Dziadek, Werner Kuich:
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata. Inf. Comput. 285(Part): 104871 (2022) - [j77]Manfred Droste, Zoltán Ésik, Werner Kuich:
The Triple-Pair Construction for Weighted ω-Pushdown Automata. Int. J. Found. Comput. Sci. 33(3&4): 227-246 (2022) - [j76]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: 118-143 (2022) - 2021
- [p1]Manfred Droste, Dietrich Kuske:
Weighted automata. Handbook of Automata Theory (I.) 2021: 113-150 - [i12]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 abs/2106.15867 (2021) - 2020
- [j75]Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner:
McCarthy-Kleene fuzzy automata and MSO logics. Inf. Comput. 272: 104499 (2020) - [c53]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: 39-51 - [c52]Manfred Droste, Sven Dziadek, Werner Kuich:
Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words. FSTTCS 2020: 44:1-44:14 - [e3]Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner:
Fields of Logic and Computation III - Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 12180, Springer 2020, ISBN 978-3-030-48005-9 [contents] - [i11]Manfred Droste, Sven Dziadek, Werner Kuich:
Greibach Normal Form for ω-Algebraic Systems and Weighted Simple ω-Pushdown Automata. CoRR abs/2007.08866 (2020)
2010 – 2019
- 2019
- [j74]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) - [j73]Luisa Herrmann, Heiko Vogler, Manfred Droste:
Weighted automata with storage. Inf. Comput. 269 (2019) - [j72]Parvaneh Babari, Manfred Droste:
A Nivat theorem for weighted picture automata and weighted MSO logics. J. Comput. Syst. Sci. 104: 41-57 (2019) - [j71]Manfred Droste, Sven Dziadek, Werner Kuich:
Weighted simple reset pushdown automata. Theor. Comput. Sci. 777: 252-259 (2019) - [j70]Manfred Droste, Ilias S. Kotsireas, Robert Rolland:
Preface. Theor. Comput. Sci. 800: 1-2 (2019) - [c51]Manfred Droste, Sven Dziadek, Werner Kuich:
Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata. FSTTCS 2019: 38:1-38:14 - [c50]Manfred Droste, Paul Gastin:
Aperiodic Weighted Automata and Weighted First-Order Logic. MFCS 2019: 76:1-76:15 - [e2]Miroslav Ciric, Manfred Droste, Jean-Éric Pin:
Algebraic Informatics - 8th International Conference, CAI 2019, Niš, Serbia, June 30 - July 4, 2019, Proceedings. Lecture Notes in Computer Science 11545, Springer 2019, ISBN 978-3-030-21362-6 [contents] - [i10]Manfred Droste, Paul Gastin:
Aperiodic Weighted Automata and Weighted First-Order Logic. CoRR abs/1902.08149 (2019) - 2018
- [j69]Manfred Droste, Werner Kuich:
Weighted omega-Restricted One Counter Automata. Log. Methods Comput. Sci. 14(1) (2018) - [j68]Manfred Droste, Kim G. Larsen:
Preface: Dedicated to the memory of Zoltán Ésik (1951-2016). Soft Comput. 22(4): 1033 (2018) - [j67]Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov:
Weighted register automata and weighted logic on data words. Theor. Comput. Sci. 744: 3-21 (2018) - [c49]Manfred Droste, Erik Paul:
A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. MFCS 2018: 76:1-76:15 - 2017
- [j66]Manfred Droste, Werner Kuich:
A Kleene Theorem for Weighted ω-Pushdown Automata. Acta Cybern. 23(1): 43-59 (2017) - [j65]Manfred Droste, Stefan Dück:
Weighted automata and logics for infinite nested words. Inf. Comput. 253: 448-466 (2017) - [j64]Yongming Li, Manfred Droste, Lihui Lei:
Model checking of linear-time properties in multi-valued systems. Inf. Sci. 377: 51-74 (2017) - [c48]Manfred Droste, Doreen Götze:
A Nivat Theorem for Quantitative Automata on Unranked Trees. Models, Algorithms, Logics and Tools 2017: 22-35 - [c47]Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella:
Weighted Operator Precedence Languages. MFCS 2017: 31:1-31:15 - [c46]Manfred Droste, Zoltán Ésik, Werner Kuich:
The Triple-Pair Construction for Weighted ω-Pushdown Automata. AFL 2017: 101-113 - [c45]Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner:
MK-fuzzy Automata and MSO Logics. GandALF 2017: 106-120 - [i9]Manfred Droste, Werner Kuich:
Weigthed omega-Restricted One Counter Automata. CoRR abs/1701.08703 (2017) - [i8]Manfred Droste, Stefan Dück, Dino Mandrioli, Matteo Pradella:
Weighted Operator Precedence Languages. CoRR abs/1702.04597 (2017) - 2016
- [j63]Werner Kuich, Manfred Droste:
Zoltán Ésik (1951 - 2016) - In Memoriam. J. Autom. Lang. Comb. 21(3): 129-130 (2016) - [j62]Manfred Droste, Vitaly Perevoshchikov:
Multi-weighted Automata and MSO Logic. Theory Comput. Syst. 59(2): 231-261 (2016) - [c44]Parvaneh Babari, Manfred Droste, Vitaly Perevoshchikov:
Weighted Register Automata and Weighted Logic on Data Words. ICTAC 2016: 370-384 - [c43]Heiko Vogler, Manfred Droste, Luisa Herrmann:
A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem. LATA 2016: 127-139 - [c42]Manfred Droste, Zoltán Fülöp, Doreen Götze:
A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids. LATA 2016: 452-463 - [c41]Manfred Droste, George Rahonis:
Weighted Linear Dynamic Logic. GandALF 2016: 149-163 - 2015
- [j61]Manfred Droste, Doreen Heusel:
The Supports of Weighted Unranked Tree Automata. Fundam. Informaticae 136(1-2): 37-58 (2015) - [c40]Manfred Droste, Vitaly Perevoshchikov:
Logics for Weighted Timed Pushdown Automata. Fields of Logic and Computation II 2015: 153-173 - [c39]Manfred Droste, Doreen Heusel, Heiko Vogler:
Weighted Unranked Tree Automata over Tree Valuation Monoids and Their Characterization by Weighted Logics. CAI 2015: 90-102 - [c38]Manfred Droste, Vitaly Perevoshchikov:
A Logical Characterization of Timed Pushdown Languages. CSR 2015: 189-203 - [c37]Parvaneh Babari, Manfred Droste:
A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic. LATA 2015: 703-715 - [c36]Manfred Droste, Stefan Dück:
Weighted Automata and Logics on Graphs. MFCS (1) 2015: 192-204 - [i7]Manfred Droste, Vitaly Perevoshchikov:
Multi-weighted Automata and MSO Logic. CoRR abs/1506.06024 (2015) - [i6]Manfred Droste, Vitaly Perevoshchikov:
A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic. CoRR abs/1506.06038 (2015) - [i5]Manfred Droste, Stefan Dück:
Weighted Automata and Logics for Infinite Nested Words. CoRR abs/1506.07031 (2015) - 2014
- [j60]Manfred Droste, Zoltán Ésik, Werner Kuich:
Conway and iteration hemirings Part 1. Int. J. Algebra Comput. 24(4): 461-482 (2014) - [j59]Manfred Droste, Zoltán Ésik, Werner Kuich:
Conway and iteration hemirings Part 2. Int. J. Algebra Comput. 24(4): 483-514 (2014) - [j58]Manfred Droste, Bundit Pibaljommee:
Weighted Nested Word Automata and Logics over Strong bimonoids. Int. J. Found. Comput. Sci. 25(5): 641- (2014) - [j57]Manfred Droste, Heiko Vogler:
The Chomsky-SCHüTzenberger Theorem for Quantitative Context-Free Languages. Int. J. Found. Comput. Sci. 25(8): 955-970 (2014) - [j56]Manfred Droste, Heiko Vogler:
Preface. Theor. Comput. Sci. 534: 1 (2014) - [c35]Manfred Droste, Vitaly Perevoshchikov:
A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic. ICALP (2) 2014: 171-182 - [c34]Manfred Droste, Stefan Dück:
Weighted Automata and Logics for Infinite Nested Words. LATA 2014: 323-334 - 2013
- [j55]Manfred Droste, Werner Kuich:
Weighted finite automata over hemirings. Theor. Comput. Sci. 485: 38-48 (2013) - [c33]Manfred Droste, Vitaly Perevoshchikov:
Multi-weighted Automata and MSO Logic. CSR 2013: 418-430 - [c32]Manfred Droste, Heiko Vogler:
The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages. Developments in Language Theory 2013: 203-214 - [c31]Manfred Droste, Doreen Götze:
The support of nested weighted automata. NCMA 2013: 101-116 - [i4]Manfred Droste, Zoltán Ésik, Werner Kuich:
Conway and iteration hemirings. CoRR abs/1307.0725 (2013) - 2012
- [j54]Manfred Droste, Ingmar Meinecke:
Weighted automata and weighted MSO logics for average and long-time behaviors. Inf. Comput. 220: 44-59 (2012) - [j53]Manfred Droste, Heiko Vogler:
Weighted automata and multi-valued logics over arbitrary bounded lattices. Theor. Comput. Sci. 418: 14-36 (2012) - [c30]Manfred Droste:
Weighted Automata and Quantitative Logics. QLSC 2012 - [c29]Manfred Droste, Bundit Pibaljommee:
Weighted Nested Word Automata and Logics over Strong Bimonoids. CIAA 2012: 138-148 - [i3]Manfred Droste, Heiko Vogler:
The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages. CoRR abs/1208.3942 (2012) - 2011
- [j52]Manfred Droste, Ingmar Meinecke:
Weighted Automata and Regular Expressions over Valuation Monoids. Int. J. Found. Comput. Sci. 22(8): 1829-1844 (2011) - [j51]Manfred Droste, Heiko Vogler:
Weighted Logics for Unranked Tree Automata. Theory Comput. Syst. 48(1): 23-47 (2011) - [j50]Manfred Droste, Karin Quaas:
A Kleene-Schützenberger theorem for weighted timed automata. Theor. Comput. Sci. 412(12-14): 1140-1153 (2011) - [c28]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: 30-55 - [c27]Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic:
A Cascade Decomposition of Weighted Finite Transition Systems. Developments in Language Theory 2011: 472-473 - [c26]Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic:
A Cascade Decomposition of Weighted Finite Transition Systems. NCMA 2011: 137-152 - 2010
- [j49]Manfred Droste, Guo-Qiang Zhang:
Bifinite Chu Spaces. Log. Methods Comput. Sci. 6(1) (2010) - [j48]Manfred Droste, Torsten Stüber, Heiko Vogler:
Weighted finite automata over strong bimonoids. Inf. Sci. 180(1): 156-166 (2010) - [j47]Miroslav Ciric, Manfred Droste, Jelena Ignjatovic, Heiko Vogler:
Determinization of weighted finite automata over strong bimonoids. Inf. Sci. 180(18): 3497-3520 (2010) - [c25]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: 160-172 - [c24]Manfred Droste, Ingmar Meinecke:
Describing Average- and Longtime-Behavior by Weighted MSO Logics. MFCS 2010: 537-548 - [c23]Manfred Droste, Ingmar Meinecke:
Regular Expressions on Average and in the Long Run. CIAA 2010: 211-221 - [e1]Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen:
Quantitative Models: Expressiveness and Analysis, 17.01. - 22.01.2010. Dagstuhl Seminar Proceedings 10031, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [i2]Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen:
10031 Abstracts Collection - Quantitative Models: Expressiveness and Analysis. Quantitative Models: Expressiveness and Analysis 2010 - [i1]Christel Baier, Manfred Droste, Paul Gastin, Kim Guldstrand Larsen:
10031 Executive Summary - Quantitative Models: Expressiveness and Analysis. Quantitative Models: Expressiveness and Analysis 2010
2000 – 2009
- 2009
- [j46]Manfred Droste, George Rahonis:
Weighted automata and weighted logics with discounting. Theor. Comput. Sci. 410(37): 3481-3494 (2009) - 2008
- [j45]Manfred Droste, Werner Kuich, George Rahonis:
Multi-Valued MSO Logics OverWords and Trees. Fundam. Informaticae 84(3-4): 305-327 (2008) - [j44]Manfred Droste, Guo-Qiang Zhang:
Random Event Structures. Int. J. Softw. Informatics 2(1): 77-88 (2008) - [j43]Manfred Droste, Jacques Sakarovitch, Heiko Vogler:
Weighted automata with discounting. Inf. Process. Lett. 108(1): 23-28 (2008) - [j42]Manfred Droste, Paul Gastin:
On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables. Theory Comput. Syst. 42(4): 608-631 (2008) - [j41]Manfred Droste, Robert Gray, John Kenneth Truss:
Construction of Some Uncountable 2-Arc-Transitive Bipartite Graphs. Order 25(4): 349-357 (2008) - [c22]Manfred Droste, Karin Quaas:
A Kleene-Schützenberger Theorem for Weighted Timed Automata. FoSSaCS 2008: 142-156 - [c21]Fangping Huang, Manfred Droste, Guo-Qiang Zhang:
A Monoidal Category of Bifinite Chu Spaces. FICS 2008: 285-297 - 2007
- [j40]Manfred Droste, W. Charles Holland:
Normal Subgroups of B u Aut(Omega). Appl. Categorical Struct. 15(1-2): 153-162 (2007) - [j39]Manfred Droste, Ulrike Püschmann:
On Weighted BÜchi Automata with Order-Complete Weights. Int. J. Algebra Comput. 17(2): 235-260 (2007) - [j38]Manfred Droste, Heiko Vogler:
Editorial. J. Autom. Lang. Comb. 12(4): 433 (2007) - [j37]Manfred Droste, Paul Gastin:
Weighted automata and weighted logics. Theor. Comput. Sci. 380(1-2): 69-86 (2007) - [c20]Manfred Droste, Guo-Qiang Zhang:
Bifinite Chu Spaces. CAI 2007: 73-74 - [c19]Manfred Droste, Guo-Qiang Zhang:
Bifinite Chu Spaces. CALCO 2007: 179-193 - [c18]Manfred Droste, George Rahonis:
Weighted Automata and Weighted Logics with Discounting. CIAA 2007: 73-84 - [c17]Manfred Droste, Dietrich Kuske:
Almost Every Domain is Universal. MFPS 2007: 103-119 - 2006
- [j36]Manfred Droste, Jarkko Kari, Paula Steinby:
Observations on the Smoothness Properties of Real Functions Computed by Weighted Finite Automata. Fundam. Informaticae 73(1-2): 99-106 (2006) - [j35]Manfred Droste, Dietrich Kuske:
Skew and infinitary formal power series. Theor. Comput. Sci. 366(3): 199-227 (2006) - [j34]Manfred Droste, Heiko Vogler:
Weighted tree automata and weighted logics. Theor. Comput. Sci. 366(3): 228-247 (2006) - [c16]Manfred Droste, George Rahonis:
Weighted Automata and Weighted Logics on Infinite Words. Developments in Language Theory 2006: 49-58 - 2005
- [j33]Manfred Droste, Heiko Vogler:
Editorial. J. Autom. Lang. Comb. 10(2/3): 105 (2005) - [j32]Manfred Droste, Christian Pech, Heiko Vogler:
A Kleene Theorem for Weighted Tree Automata. Theory Comput. Syst. 38(1): 1-38 (2005) - [c15]Manfred Droste, Paul Gastin:
Weighted Automata and Weighted Logics. ICALP 2005: 513-525 - 2003
- [j31]Manfred Droste, Guo-Qiang Zhang:
On transformations of formal power series. Inf. Comput. 184(2): 369-383 (2003) - [j30]Manfred Droste, Heiko Vogler:
Editorial. J. Autom. Lang. Comb. 8(2): 115 (2003) - [j29]Manfred Droste, Dietrich Kuske:
On random relational structures. J. Comb. Theory, Ser. A 102(2): 241-254 (2003) - [c14]Manfred Droste, Dietrich Kuske:
Skew and Infinitary Formal Power Series. ICALP 2003: 426-438 - 2002
- [j28]Manfred Droste, R. M. Shortt:
From Petri Nets to Automata with Concurrency. Appl. Categorical Struct. 10(2): 173-191 (2002) - [j27]Manfred Droste, Paul Gastin:
Editorial. J. Autom. Lang. Comb. 7(2): 165 (2002) - [j26]Manfred Droste, Dugald Macpherson, Alan H. Mekler:
Uncountable Homogeneous Partial Orders. Math. Log. Q. 48(4): 525-532 (2002) - [j25]Paolo Boldi, Felice Cardone, Manfred Droste:
Universal Homogeneous Graph-Like Structures And Domains. Math. Struct. Comput. Sci. 12(1): 91-109 (2002) - 2001
- [j24]Manfred Droste, Dietrich Kuske:
Recognizable languages in divisibility monoids. Math. Struct. Comput. Sci. 11(6): 743-770 (2001) - [c13]Manfred Droste, R. M. Shortt:
Continuous Petri Nets and Transition Systems. Unifying Petri Nets 2001: 457-484 - [c12]Manfred Droste, Guo-Qiang Zhang:
Rational Transformations of Formal Power Series. ICALP 2001: 555-566 - 2000
- [j23]Manfred Droste, Paul Gastin, Dietrich Kuske:
Asynchronous cellular automata for pomsets. Theor. Comput. Sci. 247(1-2): 1-38 (2000)
1990 – 1999
- 1999
- [j22]Manfred Droste, Paul Gastin:
The Kleene-Schützenberger Theorem for Formal Power Series in Partially Commuting Variables. Inf. Comput. 153(1): 47-80 (1999) - [j21]Manfred Droste, Dietrich Kuske, John Kenneth Truss:
On Homogeneous Semilattices and Their Automorphism Groups. Order 16(1): 31-56 (1999) - [c11]Manfred Droste, Dietrich Kuske:
On Recognizable Languages in Divisibility Monoids. FCT 1999: 246-257 - 1998
- [j20]Manfred Droste, Dietrich Kuske:
Recognizable and Logically Definable Languages of Infinite Computations in Concurrent Automata. Int. J. Found. Comput. Sci. 9(3): 295-314 (1998) - 1997
- [j19]Felipe Bracho, Manfred Droste, Dietrich Kuske:
Representation of Computations in Concurrent Automata by Dependence Orders. Theor. Comput. Sci. 174(1-2): 67-96 (1997) - [c10]Manfred Droste, Paul Gastin:
On Recognizable and Rational Formal Power Series in Partially Commuting Variables. ICALP 1997: 682-692 - 1996
- [j18]Manfred Droste:
Aperiodic Languages in Concurrency Monoids. Inf. Comput. 126(2): 105-113 (1996) - [c9]