Följ
Manfred Droste
Manfred Droste
Professor, Institut für Informatik, Universität Leipzig
Verifierad e-postadress på informatik.uni-leipzig.de - Startsida
Titel
Citeras av
Citeras av
År
Handbook of weighted automata
M Droste, W Kuich, H Vogler
Springer Science & Business Media, 2009
8002009
Weighted automata and weighted logics
M Droste, P Gastin
Handbook of weighted automata, 175-211, 2009
2822009
Semirings and formal power series
M Droste, W Kuich
Handbook of Weighted Automata, 3-28, 2009
1262009
Structure of partially ordered sets with transitive automorphism groups
M Droste
American Mathematical Soc., 1985
1161985
Weighted automata and weighted logics
M Droste, P Gastin
International Colloquium on Automata, Languages, and Programming, 513-525, 2005
1062005
Weighted tree automata and weighted logics
M Droste, H Vogler
Theoretical Computer Science 366 (3), 228-247, 2006
1042006
Weighted finite automata over strong bimonoids
M Droste, T Stüber, H Vogler
Information Sciences 180 (1), 156-166, 2010
912010
Determinization of weighted finite automata over strong bimonoids
M Ćirić, M Droste, J Ignjatović, H Vogler
Information sciences 180 (18), 3497-3520, 2010
702010
A Kleene theorem for weighted tree automata
M Droste, C Pech, H Vogler
Theory of Computing Systems 38 (1), 1-38, 2005
682005
Weighted automata and weighted MSO logics for average and long-time behaviors
M Droste, I Meinecke
Information and Computation 220, 44-59, 2012
632012
Weighted automata and multi-valued logics over arbitrary bounded lattices
M Droste, H Vogler
Theoretical Computer Science 418, 14-36, 2012
632012
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
Weighted automata and weighted logics on infinite words
M Droste, G Rahonis
Developments in Language Theory: 10th International Conference, DLT 2006 …, 2006
612006
Generating automorphism groups of chains
M Droste, WC Holland
Walter de Gruyter 17 (4), 699-710, 2005
602005
Uncountable cofinalities of permutation groups
M Droste, R Göbel
Journal of the London Mathematical Society 71 (2), 335-344, 2005
562005
Automorphism groups of infinite semilinear orders (I)
M Droste, WC Holland, HD Macpherson
Proceedings of the London Mathematical Society 3 (3), 454-478, 1989
561989
Weighted automata.
M Droste, D Kuske
Handbook of Automata Theory (I.), 113-150, 2021
522021
Concurrent automata and domains
M Droste
International Journal of Foundations of Computer Science 3 (04), 389-418, 1992
521992
Event structures and domains
M Droste
Theoretical Computer Science 68 (1), 37-47, 1989
521989
Weighted logics for unranked tree automata
M Droste, H Vogler
Theory of Computing Systems 48, 23-47, 2011
512011
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20