World's Best Scientists 2026 revealed!
Manfred Droste

Manfred Droste

Research.com Recognitions

  • 2011 - Member of Academia Europaea

Overview

Manfred Droste is affiliated with Leipzig University in Germany. Their research spans the field of Computer Science with a focus on Computational Theory and Mathematics, Artificial Intelligence, Computer Networks and Communications, Software, and Molecular Biology.

Their primary topics of work include:

  • semigroups and automata theory
  • Formal Methods in Verification
  • Logic, programming, and type systems
  • Natural Language Processing Techniques
  • Advanced Algebra and Logic
  • Machine Learning and Algorithms
  • Logic, Reasoning, and Knowledge

Manfred Droste's frequent co-authors include:

  • Jan Hendrik Bruinier
  • Darmstadt Editorial Board
  • Siegfried Echterhoff
  • Jan Frahm
  • Karin Regensburg

They have published extensively in several venues, notably:

  • arXiv (Cornell University)
  • Forum Mathematicum
  • Information and Computation
  • International Journal of Foundations of Computer Science
  • Theoretical Computer Science

Selected recent publications provide insight into their research focus. These include:

  • "Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids," 2022, Theoretical Computer Science
  • "Logic for ω-pushdown automata," 2020, Information and Computation
  • "Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata," 2023, International Journal of Foundations of Computer Science
  • "Special Issue: International Colloquium: Recent Advances of Quantitative Models in Computer Science (RAQM 2021) - Preface," 2023, International Journal of Foundations of Computer Science
  • "Weighted operator precedence languages," 2020, Information and Computation

Manfred Droste is a member of Academia Europaea since 2011, recognizing their standing within the scholarly community.

Best Publications

  • Handbook of Weighted Automata

    Manfred Droste;Werner Kuich;Heiko Vogler

  • Weighted automata and weighted logics

    Manfred Droste;Paul Gastin

  • Semirings and Formal Power Series

    Manfred Droste;Werner Kuich

  • Structure of Partially Ordered Sets With Transitive Automorphism Groups

    Manfred Droste

  • Weighted tree automata and weighted logics

    Manfred Droste;Heiko Vogler

  • Weighted finite automata over strong bimonoids

    Manfred Droste;Torsten Stüber;Heiko Vogler

  • Determinization of weighted finite automata over strong bimonoids

    Miroslav irić;Manfred Droste;Jelena Ignjatović;Heiko Vogler

  • A Kleene Theorem for Weighted Tree Automata

    Manfred Droste;Christian Pech;Heiko Vogler

  • Weighted automata and weighted logics on infinite words

    M. Droste;G. Rahonis

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

    Manfred Droste;Heiko Vogler

  • Weighted automata and weighted logics with discounting

    Manfred Droste;George Rahonis

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

    Manfred Droste;Ingmar Meinecke

  • Generating automorphism groups of chains

    Manfred Droste;W. Charles Holland

  • Uncountable cofinalities of permutation groups

    Manfred Droste;Rüdiger Göbel

  • Describing average- and longtime-behavior by weighted MSO logics

    Manfred Droste;Ingmar Meinecke

  • Skew and infinitary formal power series

    Manfred Droste;Dietrich Kuske

  • Automorphism Groups of Infinite Semilinear Orders (I)

    M. Droste;W. C. Holland;H. D. Macpherson

  • Event structures and domains

    M. Droste

  • WEIGHTED AUTOMATA AND REGULAR EXPRESSIONS OVER VALUATION MONOIDS

    Manfred Droste;Ingmar Meinecke

  • Weighted Logics for Unranked Tree Automata

    Manfred Droste;Heiko Vogler

Frequent Co-Authors

Saharon Shelah
Saharon Shelah Hebrew University of Jerusalem
Kim Guldstrand Larsen
Kim Guldstrand Larsen Aalborg University
Yuri Gurevich
Yuri Gurevich University of Michigan–Ann Arbor
Christel Baier
Christel Baier TU Dresden
Yongming Li
Yongming Li Liaoning University of Technology
Rob Gray
Rob Gray University of East Anglia
Paolo Boldi
Paolo Boldi University of Milan
Axel Legay
Axel Legay Université Catholique de Louvain
Ralph McKenzie
Ralph McKenzie Vanderbilt University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Pursuing a degree in Mathematics opens doors to various interdisciplinary fields, especially in today's data-driven world. Many students complement their math background with advanced studies in areas like marketing, business, and data analytics to expand their career prospects.

For those interested in the intersection of data and business strategy, a masters degree in marketing can provide valuable skills in consumer analytics and digital marketing. Similarly, ambitious professionals often explore the advantages of a one year MBA program, fast-tracking their leadership and management capabilities while leveraging quantitative skills.

Many students considering an MBA also wonder about flexibility. The possibility to transfer MBA programs can be a key factor in selecting a program that fits their evolving career goals and schedules.

Data analytics stands out as a natural extension for mathematics graduates. Exploring the best masters in data analytics programs can help students build a strong foundation in interpreting complex data sets, unlocking lucrative roles in tech, finance, and beyond.

Best Scientists Citing Manfred Droste

Trending Scientists

Recently Published Articles