Concepedia

Manfred Droste

MD

52

Publications

1.7K

Citations

25

H-Index

1979

Active since

Affiliations

Technische Universität Dresden(Current)

Leipzig University

University of Duisburg-Essen

Queen Mary University of London

Centre National de la Recherche Scientifique

Manfred Droste is an author at Technische Universität Dresden specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningRepresentation TheoryEducationFormal VerificationLinguisticsLanguageSemantics

Publications per year

1979–2016

52

Publications

52

Weighted automata and weighted logics

Manfred Droste, Paul Gastin · Theoretical Computer Science · 2007 · 222 citations

Logical Automaton, Engineering, Automated Reasoning +4

Weighted tree automata and weighted logics

Manfred Droste, Heiko Vogler · Theoretical Computer Science · 2006 · 84 citations

Tree Automata, Logical Automaton, Engineering +5

Structure of partially ordered sets with transitive automorphism groups

Manfred Droste · Memoirs of the American Mathematical Society · 1985 · 82 citations

Order Theory, Partially Ordered Set, Ordered Group +1

Weighted finite automata over strong bimonoids

Manfred Droste, Torsten Stüber, Heiko Vogler · Information Sciences · 2009 · 64 citations

Weighted Automaton, Tree Automaton, Strong Bimonoids +1

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

Manfred Droste, Ingmar Meinecke · Information and Computation · 2012 · 55 citations

Long-time Behaviors, Engineering, Logical Automaton +11

Rows per page

1–5 of 52