Manfred Droste

	2012
76		Manfred Droste, Heiko Vogler: Weighted automata and multi-valued logics over arbitrary bounded lattices. Theor. Comput. Sci. 418: 14-36 (2012)
	2011
75		Manfred Droste, Doreen Götze, Steffen Märcker, Ingmar Meinecke: Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics. Algebraic Foundations in Computer Science 2011: 30-55
74		Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic: A Cascade Decomposition of Weighted Finite Transition Systems. Developments in Language Theory 2011: 472-473
73		Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic: A Cascade Decomposition of Weighted Finite Transition Systems. NCMA 2011: 137-152
72		Manfred Droste, Ingmar Meinecke: Weighted Automata and Regular Expressions over Valuation Monoids. Int. J. Found. Comput. Sci. 22(8): 1829-1844 (2011)
71		Manfred Droste, Karin Quaas: A Kleene-Schützenberger theorem for weighted timed automata. Theor. Comput. Sci. 412(12-14): 1140-1153 (2011)
70		Manfred Droste, Heiko Vogler: Weighted Logics for Unranked Tree Automata. Theory Comput. Syst. 48(1): 23-47 (2011)
	2010
69		Manfred Droste, Ingmar Meinecke: Regular Expressions on Average and in the Long Run. CIAA 2010: 211-221
68		Manfred Droste, Heiko Vogler: Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices. Developments in Language Theory 2010: 160-172
67		Manfred Droste, Ingmar Meinecke: Describing Average- and Longtime-Behavior by Weighted MSO Logics. MFCS 2010: 537-548
66		Manfred Droste, Torsten Stüber, Heiko Vogler: Weighted finite automata over strong bimonoids. Inf. Sci. 180(1): 156-166 (2010)
65		Miroslav Ciric, Manfred Droste, Jelena Ignjatovic, Heiko Vogler: Determinization of weighted finite automata over strong bimonoids. Inf. Sci. 180(18): 3497-3520 (2010)
64		Manfred Droste, Guo-Qiang Zhang: Bifinite Chu Spaces Logical Methods in Computer Science 6(1): (2010)
	2009
63		Manfred Droste, George Rahonis: Weighted automata and weighted logics with discounting. Theor. Comput. Sci. 410(37): 3481-3494 (2009)
	2008
62		Manfred Droste, Karin Quaas: A Kleene-Schützenberger Theorem for Weighted Timed Automata. FoSSaCS 2008: 142-156
61		Fangping Huang, Manfred Droste, Guo-Qiang Zhang: A Monoidal Category of Bifinite Chu Spaces. Electr. Notes Theor. Comput. Sci. 212: 285-297 (2008)
60		Manfred Droste, Werner Kuich, George Rahonis: Multi-Valued MSO Logics OverWords and Trees. Fundam. Inform. 84(3-4): 305-327 (2008)
59		Manfred Droste, Jacques Sakarovitch, Heiko Vogler: Weighted automata with discounting. Inf. Process. Lett. 108(1): 23-28 (2008)
58		Manfred Droste, Guo-Qiang Zhang: Random Event Structures. Int. J. Software and Informatics 2(1): 77-88 (2008)
57		Manfred Droste, Robert Gray, John K. Truss: Construction of Some Uncountable 2-Arc-Transitive Bipartite Graphs. Order 25(4): 349-357 (2008)
56		Manfred Droste, Paul Gastin: On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables. Theory Comput. Syst. 42(4): 608-631 (2008)
	2007
55		Manfred Droste, Guo-Qiang Zhang: Bifinite Chu Spaces. CAI 2007: 73-74
54		Manfred Droste, Guo-Qiang Zhang: Bifinite Chu Spaces. CALCO 2007: 179-193
53		Manfred Droste, George Rahonis: Weighted Automata and Weighted Logics with Discounting. CIAA 2007: 73-84
52		Manfred Droste, W. Charles Holland: Normal Subgroups of B u Aut(Omega). Applied Categorical Structures 15(1-2): 153-162 (2007)
51		Manfred Droste, Dietrich Kuske: Almost Every Domain is Universal. Electr. Notes Theor. Comput. Sci. 173: 103-119 (2007)
50		Manfred Droste, Ulrike Püschmann: On Weighted BÜchi Automata with Order-Complete Weights. IJAC 17(2): 235-260 (2007)
49		Manfred Droste, Paul Gastin: Weighted automata and weighted logics. Theor. Comput. Sci. 380(1-2): 69-86 (2007)
	2006
48		Manfred Droste, George Rahonis: Weighted Automata and Weighted Logics on Infinite Words. Developments in Language Theory 2006: 49-58
47		Manfred Droste, Jarkko Kari, Paula Steinby: Observations on the Smoothness Properties of Real Functions Computed by Weighted Finite Automata. Fundam. Inform. 73(1-2): 99-106 (2006)
46		Manfred Droste, Dietrich Kuske: Skew and infinitary formal power series. Theor. Comput. Sci. 366(3): 199-227 (2006)
45		Manfred Droste, Heiko Vogler: Weighted tree automata and weighted logics. Theor. Comput. Sci. 366(3): 228-247 (2006)
	2005
44		Manfred Droste, Paul Gastin: Weighted Automata and Weighted Logics. ICALP 2005: 513-525
43		Manfred Droste, Christian Pech, Heiko Vogler: A Kleene Theorem for Weighted Tree Automata. Theory Comput. Syst. 38(1): 1-38 (2005)
	2003
42		Manfred Droste, Dietrich Kuske: Skew and Infinitary Formal Power Series. ICALP 2003: 426-438
41		Manfred Droste, Guo-Qiang Zhang: On transformations of formal power series. Inf. Comput. 184(2): 369-383 (2003)
40		Manfred Droste, Dietrich Kuske: On random relational structures. J. Comb. Theory, Ser. A 102(2): 241-254 (2003)
39		Manfred Droste, Heiko Vogler: Editorial. Journal of Automata, Languages and Combinatorics 8(2): 115 (2003)
	2002
38		Manfred Droste, R. M. Shortt: From Petri Nets to Automata with Concurrency. Applied Categorical Structures 10(2): 173-191 (2002)
37		Manfred Droste, Dugald Macpherson, Alan Mekler: Uncountable Homogeneous Partial Orders. Math. Log. Q. 48(4): 525-532 (2002)
36		Paolo Boldi, Felice Cardone, Manfred Droste: Universal Homogeneous Graph-Like Structures And Domains. Mathematical Structures in Computer Science 12(1): 91-109 (2002)
	2001
35		Manfred Droste, Guo-Qiang Zhang: Rational Transformations of Formal Power Series. ICALP 2001: 555-566
34		Manfred Droste, R. M. Shortt: Continuous Petri Nets and Transition Systems. Unifying Petri Nets 2001: 457-484
33		Manfred Droste, Dietrich Kuske: Recognizable languages in divisibility monoids. Mathematical Structures in Computer Science 11(6): 743-770 (2001)
	2000
32		Manfred Droste, Paul Gastin, Dietrich Kuske: Asynchronous cellular automata for pomsets. Theor. Comput. Sci. 247(1-2): 1-38 (2000)
	1999
31		Manfred Droste, Dietrich Kuske: On Recognizable Languages in Divisibility Monoids. FCT 1999: 246-257
30		Manfred Droste, Paul Gastin: The Kleene-Schützenberger Theorem for Formal Power Series in Partially Commuting Variables. Inf. Comput. 153(1): 47-80 (1999)
	1998
29		Manfred Droste, Dietrich Kuske: Recognizable and Logically Definable Languages of Infinite Computations in Concurrent Automata. Int. J. Found. Comput. Sci. 9(3): 295-314 (1998)
	1997
28		Manfred Droste, Paul Gastin: On Recognizable and Rational Formal Power Series in Partially Commuting Variables. ICALP 1997: 682-692
27		Felipe Bracho, Manfred Droste, Dietrich Kuske: Representation of Computations in Concurrent Automata by Dependence Orders. Theor. Comput. Sci. 174(1-2): 67-96 (1997)
	1996
26		Manfred Droste, Paul Gastin: Asynchronous Cellular Automata for Pomsets Without Auto-concurrency. CONCUR 1996: 627-638
25		Manfred Droste: Aperiodic Languages in Concurrency Monoids. Inf. Comput. 126(2): 105-113 (1996)
	1995
24		Manfred Droste, Dietrich Kuske: Languages and Logical Definability in Concurrency Monoids. CSL 1995: 233-251
23		Manfred Droste, Dietrich Kuske: Trace Languages Definable with Modular Quantifiers. Developments in Language Theory 1995: 386-395
22		Felipe Bracho, Manfred Droste, Dietrich Kuske: Dependence Orders for Computations of Concurrent Automata. STACS 1995: 467-478
21		Manfred Droste, Michèle Giraudet, Dugald Macpherson: Periodic Ordered Permutation Groups and Cyclic Orderings. J. Comb. Theory, Ser. B 63(2): 310-321 (1995)
20		Manfred Droste: Recognizable Languages in Concurrency Monoids. Theor. Comput. Sci. 150(1): 77-109 (1995)
	1994
19		Manfred Droste: A KLeene Theorem for Recognizable Languages over Concurrency Monoids. ICALP 1994: 388-399
18		Manfred Droste, Dugald Macpherson, Norbert Sauer, Michèle Giraudet: Set-Homogeneous Graphs. J. Comb. Theory, Ser. B 62(1): 63-95 (1994)
17		Felipe Bracho, Manfred Droste: Labelled Domains and Automata with Concurrency. Theor. Comput. Sci. 135(2): 289-318 (1994)
	1993
16		Felipe Bracho, Manfred Droste: From Domains to Automata with Concurrency. ICALP 1993: 669-681
15		Manfred Droste, Rüdiger Göbel: Universal Domains and the Amalgamation Property. Mathematical Structures in Computer Science 3(2): 137-159 (1993)
14		Manfred Droste: On Stable Domains. Theor. Comput. Sci. 111(1&2): 89-101 (1993)
	1992
13		Manfred Droste, R. M. Shortt: Bounded Petri nets of finite dimension have only finitely many reachable markings. Bulletin of the EATCS 48: 172-174 (1992)
12		Manfred Droste: Concurrent Automata and Domains. Int. J. Found. Comput. Sci. 3(4): 389-418 (1992)
11		Manfred Droste: Finite Axiomatizations for Universal Domains. J. Log. Comput. 2(2): 119-131 (1992)
	1991
10		Manfred Droste: Universal Homogeneous Event Structures and Domains Inf. Comput. 94(1): 48-61 (1991)
9		Manfred Droste, Dugald Macpherson: On k-homogeneous posets and graphs. J. Comb. Theory, Ser. A 56(1): 1-15 (1991)
	1990
8		Manfred Droste: Concurrency, Automata and Domains. ICALP 1990: 195-208
7		Manfred Droste, Rüdiger Göbel: Universal Domains in the Theory of Denotational Semantics of Programming Languages LICS 1990: 19-34
6		Manfred Droste, Rüdiger Göbel: Universal Information Systems. Int. J. Found. Comput. Sci. 1(4): 413-424 (1990)
5		Manfred Droste, Rüdiger Göbel: Non-Deterministic Information Systems and their Domains. Theor. Comput. Sci. 75(3): 289-309 (1990)
	1989
4		Manfred Droste, Rüdiger Göbel: Effectively Given Information Systems and Domains. CSL 1989: 116-142
3		Manfred Droste: Recursive Domain Equations for Concrete Data Structures Inf. Comput. 82(1): 65-80 (1989)
2		Manfred Droste: Event Structures and Domains. Theor. Comput. Sci. 68(1): 37-47 (1989)
	1983
1		Manfred Droste: Products of conjugacy classes of the infinite symmetric groups. Discrete Mathematics 47: 35-48 (1983)

Coauthor Index

1	Paolo Boldi	[36]
2	Felipe Bracho	[16] [17] [22] [27]
3	Felice Cardone	[36]
4	Miroslav Ciric	[65]
5	Paul Gastin	[26] [28] [30] [32] [44] [49] [56]
6	Michèle Giraudet	[18] [21]
7	Rüdiger Göbel	[4] [5] [6] [7] [15]
8	Doreen Götze	[75]
9	Robert Gray	[57]
10	W. Charles Holland	[52]
11	Fangping Huang	[61]
12	Jelena Ignjatovic	[65]
13	Jarkko Kari	[47]
14	Werner Kuich	[60]
15	Dietrich Kuske	[22] [23] [24] [27] [29] [31] [32] [33] [40] [42] [46] [51]
16	Dugald Macpherson	[9] [18] [21] [37]
17	Steffen Märcker	[75]
18	Ingmar Meinecke	[67] [69] [72] [73] [74] [75]
19	Alan Mekler	[37]
20	Christian Pech	[43]
21	Ulrike Püschmann	[50]
22	Karin Quaas	[62] [71]
23	George Rahonis	[48] [53] [60] [63]
24	Jacques Sakarovitch	[59]
25	Norbert Sauer (Norbert W. Sauer)	[18]
26	Branimir Seselja	[73] [74]
27	R. M. Shortt	[13] [34] [38]
28	Paula Steinby	[47]
29	Torsten Stüber	[66]
30	Andreja Tepavcevic	[73] [74]
31	John K. Truss	[57]
32	Heiko Vogler	[39] [43] [45] [59] [65] [66] [68] [70] [76]
33	Guo-Qiang Zhang	[35] [41] [54] [55] [58] [61] [64]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page