Manfred Droste

Identifiers

• name variant Manfred Droste 0.60 · backfill

Papers (12)

1. Weighted Automata and Regular Expressions for Financial Systems cs.FL · 2026 · author #1
2. Fagin's Theorem for Semiring Turing Machines cs.CC · 2025 · author #2
3. Weighted Operator Precedence Languages cs.FL · 2017 · author #1
4. Weighted Automata and Logics for Infinite Nested Words cs.FL · 2015 · author #1
5. A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic cs.FL · 2015 · author #1
6. Multi-weighted Automata and MSO Logic cs.LO · 2015 · author #1
7. Model-Checking of Linear-Time Properties in Multi-Valued Systems cs.LO · 2012 · author #2
8. The Chomsky-Sch\"utzenberger Theorem for Quantitative Context-Free Languages cs.FL · 2012 · author #1
9. Bifinite Chu Spaces cs.LO · 2009 · author #1
10. On extension of coverings math.GT · 2009 · author #1
11. Universal homogeneous causal sets gr-qc · 2005 · author #1
12. Outer Automorphism Groups of Ordered Permutation Groups math.GR · 2000 · author #1

Mentions

• 1212.2154 #2 · backfill · confidence 0.70 Manfred Droste
• 1208.3942 #1 · backfill · confidence 0.70 Manfred Droste
• 0911.3214 #1 · backfill · confidence 0.70 Manfred Droste
• 0901.3594 #1 · backfill · confidence 0.70 Manfred Droste

Frequent Coauthors

• Stefan D\"uck 2 shared papers
• Vitaly Perevoshchikov 2 shared papers
• Carles Noguera 1 shared papers
• Dino Mandrioli 1 shared papers
• Erik Paul 1 shared papers
• Guillermo Badia 1 shared papers
• Guo-Qiang Zhang 1 shared papers
• Heiko Vogler 1 shared papers
• Igor Rivin 1 shared papers
• Lihui Lei 1 shared papers
• Matteo Pradella 1 shared papers
• Rafael Kiesel 1 shared papers
• Saharon Shelah 1 shared papers
• Thomas Eiter 1 shared papers
• Vitaly N\"urnberg 1 shared papers
• Yongming Li 1 shared papers