Følg
Manfred Droste
Manfred Droste
Professor, Institut für Informatik, Universität Leipzig
Verifisert e-postadresse på informatik.uni-leipzig.de - Startside
Tittel
Sitert av
Sitert av
År
Handbook of weighted automata
M Droste, W Kuich, H Vogler
Springer Science & Business Media, 2009
8682009
Weighted automata and weighted logics
M Droste, P Gastin
Theoretical computer science 380 (1-2), 69-86, 2007
2622007
Semirings and formal power series
M Droste, W Kuich
Handbook of Weighted Automata, 3-28, 2009
1312009
Structure of partially ordered sets with transitive automorphism groups
M Droste
American Mathematical Soc., 1985
1181985
Weighted automata and weighted logics
M Droste, P Gastin
International Colloquium on Automata, Languages, and Programming, 513-525, 2005
1122005
Weighted tree automata and weighted logics
M Droste, H Vogler
Theoretical Computer Science 366 (3), 228-247, 2006
1112006
Weighted finite automata over strong bimonoids
M Droste, T Stüber, H Vogler
Information Sciences 180 (1), 156-166, 2010
952010
Weighted automata and weighted logics
M Droste, P Gastin
Handbook of weighted automata, 175-211, 2009
822009
Determinization of weighted finite automata over strong bimonoids
M Ćirić, M Droste, J Ignjatović, H Vogler
Information sciences 180 (18), 3497-3520, 2010
752010
A Kleene theorem for weighted tree automata
M Droste, C Pech, H Vogler
Theory of Computing Systems 38 (1), 1-38, 2005
722005
Weighted automata and weighted MSO logics for average and long-time behaviors
M Droste, I Meinecke
Information and Computation 220, 44-59, 2012
672012
Weighted automata and multi-valued logics over arbitrary bounded lattices
M Droste, H Vogler
Theoretical Computer Science 418, 14-36, 2012
672012
Weighted automata.
M Droste, D Kuske
Handbook of Automata Theory (I.), 113-150, 2021
662021
Weighted automata and weighted logics on infinite words
M Droste, G Rahonis
Developments in Language Theory: 10th International Conference, DLT 2006 …, 2006
622006
Generating automorphism groups of chains
M Droste, WC Holland
Walter de Gruyter 17 (4), 699-710, 2005
622005
A categorical theorem on universal objects and its application in abelian group theory and computer science
M Droste, R Göbel
Contemporary Mathematics 131, 49-49, 1993
621993
Uncountable cofinalities of permutation groups
M Droste, R Göbel
Journal of the London Mathematical Society 71 (2), 335-344, 2005
582005
Automorphism groups of infinite semilinear orders (I)
M Droste, WC Holland, HD Macpherson
Proceedings of the London Mathematical Society 3 (3), 454-478, 1989
581989
Weighted logics for unranked tree automata
M Droste, H Vogler
Theory of Computing Systems 48, 23-47, 2011
512011
Skew and infinitary formal power series
M Droste, D Kuske
Theoretical Computer Science 366 (3), 199-227, 2006
512006
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20