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
Journal Articles
- 2024
[j86]Miroslav Ciric, Manfred Droste, Jean-Éric Pin:
Preface. Inf. Comput. 301: 105199 (2024)- [j85]Manfred Droste, Gustav Grabolle, George Rahonis:
Weighted Linear Dynamic Logic. Int. J. Found. Comput. Sci. 35(1&2): 145-177 (2024) - [j84]Manfred Droste
, Werner Kuich:
Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings. Theor. Comput. Sci. 1002: 114599 (2024) - 2023
- [j83]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): 537-538 (2023) - [j82]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): 633-653 (2023) - 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) - 2020
- [j75]Manfred Droste, Temur Kutsia, George Rahonis, Wolfgang Schreiner:
McCarthy-Kleene fuzzy automata and MSO logics. Inf. Comput. 272: 104499 (2020) - 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) - 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) - 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) - 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) - 2015
- [j61]Manfred Droste, Doreen Heusel:
The Supports of Weighted Unranked Tree Automata. Fundam. Informaticae 136(1-2): 37-58 (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) - 2013
- [j55]Manfred Droste, Werner Kuich:
Weighted finite automata over hemirings. Theor. Comput. Sci. 485: 38-48 (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) - 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) - 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) - 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) - 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) - 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) - 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) - 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 A 102(2): 241-254 (2003) - 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) - 2000
- [j23]Manfred Droste, Paul Gastin, Dietrich Kuske:
Asynchronous cellular automata for pomsets. Theor. Comput. Sci. 247(1-2): 1-38 (2000) - 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) - 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) - 1996
- [j18]Manfred Droste:
Aperiodic Languages in Concurrency Monoids. Inf. Comput. 126(2): 105-113 (1996) - 1995
- [j17]Manfred Droste, Michèle Giraudet, Dugald Macpherson:
Periodic Ordered Permutation Groups and Cyclic Orderings. J. Comb. Theory B 63(2): 310-321 (1995) - [j16]Manfred Droste:
Recognizable Languages in Concurrency Monoids. Theor. Comput. Sci. 150(1): 77-109 (1995) - 1994
- [j15]Manfred Droste, Dugald Macpherson, Norbert Sauer, Michèle Giraudet:
Set-Homogeneous Graphs. J. Comb. Theory B 62(1): 63-95 (1994) - [j14]Felipe Bracho, Manfred Droste:
Labelled Domains and Automata with Concurrency. Theor. Comput. Sci. 135(2): 289-318 (1994) - 1993
- [j13]Manfred Droste, Rüdiger Göbel:
Universal Domains and the Amalgamation Property. Math. Struct. Comput. Sci. 3(2): 137-159 (1993) - [j12]Manfred Droste:
On Stable Domains. Theor. Comput. Sci. 111(1&2): 89-101 (1993) - 1992
- [j11]Manfred Droste, R. M. Shortt:
Bounded Petri nets of finite dimension have only finitely many reachable markings. Bull. EATCS 48: 172-174 (1992) - [j10]Manfred Droste:
Concurrent Automata and Domains. Int. J. Found. Comput. Sci. 3(4): 389-418 (1992) - [j9]Manfred Droste:
Finite Axiomatizations for Universal Domains. J. Log. Comput. 2(2): 119-131 (1992) - 1991
- [j8]Manfred Droste:
Universal Homogeneous Event Structures and Domains. Inf. Comput. 94(1): 48-61 (1991) - [j7]Manfred Droste, Dugald Macpherson:
On k-homogeneous posets and graphs. J. Comb. Theory A 56(1): 1-15 (1991) - 1990
- [j6]Manfred Droste, Rüdiger Göbel:
Universal Information Systems. Int. J. Found. Comput. Sci. 1(4): 413-424 (1990) - [j5]Manfred Droste, Rüdiger Göbel:
Non-Deterministic Information Systems and their Domains. Theor. Comput. Sci. 75(3): 289-309 (1990) - 1989
- [j4]Manfred Droste:
Recursive Domain Equations for Concrete Data Structures. Inf. Comput. 82(1): 65-80 (1989) - [j3]Manfred Droste:
Event Structures and Domains. Theor. Comput. Sci. 68(1): 37-47 (1989) - 1987
- [j2]Manfred Droste:
Completeness Properties of Certain Normal Subgroup Lattices. Eur. J. Comb. 8(2): 129-137 (1987) - 1983
- [j1]Manfred Droste:
Products of conjugacy classes of the infinite symmetric groups. Discret. Math. 47: 35-48 (1983)
Conference and Workshop Papers
- 2024
- [c54]Guillermo Badia, Manfred Droste, Carles Noguera, Erik Paul:
Logical Characterizations of Weighted Complexity Classes. MFCS 2024: 14:1-14:16 - 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 - 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 - 2018
- [c49]Manfred Droste, Erik Paul:
A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. MFCS 2018: 76:1-76:15 - 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 - 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
- [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 - 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
- [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 - 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 - 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
- [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 - 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
- [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
- [c16]Manfred Droste, George Rahonis:
Weighted Automata and Weighted Logics on Infinite Words. Developments in Language Theory 2006: 49-58 - 2005
- [c15]Manfred Droste, Paul Gastin:
Weighted Automata and Weighted Logics. ICALP 2005: 513-525 - 2003
- [c14]Manfred Droste, Dietrich Kuske:
Skew and Infinitary Formal Power Series. ICALP 2003: 426-438 - 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 - 1999
- [c11]Manfred Droste, Dietrich Kuske:
On Recognizable Languages in Divisibility Monoids. FCT 1999: 246-257 - 1997
- [c10]Manfred Droste, Paul Gastin:
On Recognizable and Rational Formal Power Series in Partially Commuting Variables. ICALP 1997: 682-692 - 1996
- [c9]Manfred Droste, Paul Gastin:
Asynchronous Cellular Automata for Pomsets Without Auto-concurrency. CONCUR 1996: 627-638 - 1995
- [c8]Manfred Droste, Dietrich Kuske:
Languages and Logical Definability in Concurrency Monoids. CSL 1995: 233-251 - [c7]Manfred Droste, Dietrich Kuske:
Trace Languages Definable with Modular Quantifiers. Developments in Language Theory 1995: 386-395 - [c6]Felipe Bracho, Manfred Droste, Dietrich Kuske:
Dependence Orders for Computations of Concurrent Automata. STACS 1995: 467-478 - 1994
- [c5]Manfred Droste:
A KLeene Theorem for Recognizable Languages over Concurrency Monoids. ICALP 1994: 388-399 - 1993
- [c4]Felipe Bracho, Manfred Droste:
From Domains to Automata with Concurrency. ICALP 1993: 669-681 - 1990
- [c3]Manfred Droste:
Concurrency, Automata and Domains. ICALP 1990: 195-208 - [c2]Manfred Droste, Rüdiger Göbel:
Universal Domains in the Theory of Denotational Semantics of Programming Languages. LICS 1990: 19-34 - 1989
- [c1]Manfred Droste, Rüdiger Göbel:
Effectively Given Information Systems and Domains. CSL 1989: 116-142
Parts in Books or Collections
- 2021
- [p1]Manfred Droste, Dietrich Kuske:
Weighted automata. Handbook of Automata Theory (I.) 2021: 113-150
Editorship
- 2020
- [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] - 2019
- [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] - 2010
- [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]
Informal and Other Publications
- 2024
- [i14]Manfred Droste, Zoltán Fülöp, Andreja Tepavcevic, Heiko Vogler:
The generating power of weighted tree automata with initial algebra semantics. CoRR abs/2405.20753 (2024) - [i13]Manfred Droste, Heiko Vogler:
Run supports and initial algebra supports of weighted automata. CoRR abs/2409.08727 (2024) - 2021
- [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
- [i11]Manfred Droste, Sven Dziadek, Werner Kuich:
Greibach Normal Form for ω-Algebraic Systems and Weighted Simple ω-Pushdown Automata. CoRR abs/2007.08866 (2020) - 2019
- [i10]Manfred Droste, Paul Gastin:
Aperiodic Weighted Automata and Weighted First-Order Logic. CoRR abs/1902.08149 (2019) - 2017
- [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) - 2015
- [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) - 2013
- [i4]Manfred Droste, Zoltán Ésik, Werner Kuich:
Conway and iteration hemirings. CoRR abs/1307.0725 (2013) - 2012
- [i3]Manfred Droste, Heiko Vogler:
The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages. CoRR abs/1208.3942 (2012) - 2010
- [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
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 00:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
