- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j52 |      | Manfred Droste, Werner Kuich: Weighted finite automata over hemirings. Theor. Comput. Sci. 485: 38-48 (2013) |
| 2012 | ||
| j51 | | Manfred Droste, Ingmar Meinecke: Weighted automata and weighted MSO logics for average and long-time behaviors. Inf. Comput. 220: 44-59 (2012) |
| j50 | | Manfred Droste, Heiko Vogler: Weighted automata and multi-valued logics over arbitrary bounded lattices. Theor. Comput. Sci. 418: 14-36 (2012) |
| c27 | | Manfred Droste, Bundit Pibaljommee: Weighted Nested Word Automata and Logics over Strong Bimonoids. CIAA 2012: 138-148 |
| i1 | | Manfred Droste, Heiko Vogler: The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages. CoRR abs/1208.3942 (2012) |
| 2011 | ||
| j49 | | Manfred Droste, Ingmar Meinecke: Weighted Automata and Regular Expressions over Valuation Monoids. Int. J. Found. Comput. Sci. 22(8): 1829-1844 (2011) |
| j48 | | Manfred Droste, Heiko Vogler: Weighted Logics for Unranked Tree Automata. Theory Comput. Syst. 48(1): 23-47 (2011) |
| j47 | | Manfred Droste, Karin Quaas: A Kleene-Schützenberger theorem for weighted timed automata. Theor. Comput. Sci. 412(12-14): 1140-1153 (2011) |
| c26 | | 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 |
| c25 | | Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic: A Cascade Decomposition of Weighted Finite Transition Systems. Developments in Language Theory 2011: 472-473 |
| c24 |  | Manfred Droste, Ingmar Meinecke, Branimir Seselja, Andreja Tepavcevic: A Cascade Decomposition of Weighted Finite Transition Systems. NCMA 2011: 137-152 |
| 2010 | ||
| j46 | | Manfred Droste, Guo-Qiang Zhang: Bifinite Chu Spaces. Logical Methods in Computer Science 6(1) (2010) |
| j45 | | Manfred Droste, Torsten Stüber, Heiko Vogler: Weighted finite automata over strong bimonoids. Inf. Sci. 180(1): 156-166 (2010) |
| j44 | | Miroslav Ciric, Manfred Droste, Jelena Ignjatovic, Heiko Vogler: Determinization of weighted finite automata over strong bimonoids. Inf. Sci. 180(18): 3497-3520 (2010) |
| c23 | | 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 |
| c22 | | Manfred Droste, Ingmar Meinecke: Describing Average- and Longtime-Behavior by Weighted MSO Logics. MFCS 2010: 537-548 |
| c21 | | Manfred Droste, Ingmar Meinecke: Regular Expressions on Average and in the Long Run. CIAA 2010: 211-221 |
| 2009 | ||
| j43 | | Manfred Droste, George Rahonis: Weighted automata and weighted logics with discounting. Theor. Comput. Sci. 410(37): 3481-3494 (2009) |
| 2008 | ||
| j42 | | Fangping Huang, Manfred Droste, Guo-Qiang Zhang: A Monoidal Category of Bifinite Chu Spaces. Electr. Notes Theor. Comput. Sci. 212: 285-297 (2008) |
| j41 | | Manfred Droste, Werner Kuich, George Rahonis: Multi-Valued MSO Logics OverWords and Trees. Fundam. Inform. 84(3-4): 305-327 (2008) |
| j40 | | Manfred Droste, Guo-Qiang Zhang: Random Event Structures. Int. J. Software and Informatics 2(1): 77-88 (2008) |
| j39 | | Manfred Droste, Jacques Sakarovitch, Heiko Vogler: Weighted automata with discounting. Inf. Process. Lett. 108(1): 23-28 (2008) |
| j38 | | Manfred Droste, Paul Gastin: On Aperiodic and Star-Free Formal Power Series in Partially Commuting Variables. Theory Comput. Syst. 42(4): 608-631 (2008) |
| j37 | | Manfred Droste, Robert Gray, John K. Truss: Construction of Some Uncountable 2-Arc-Transitive Bipartite Graphs. Order 25(4): 349-357 (2008) |
| c20 | | Manfred Droste, Karin Quaas: A Kleene-Schützenberger Theorem for Weighted Timed Automata. FoSSaCS 2008: 142-156 |
| 2007 | ||
| j36 | | Manfred Droste, W. Charles Holland: Normal Subgroups of B u Aut(Omega). Applied Categorical Structures 15(1-2): 153-162 (2007) |
| j35 | | Manfred Droste, Dietrich Kuske: Almost Every Domain is Universal. Electr. Notes Theor. Comput. Sci. 173: 103-119 (2007) |
| j34 | | Manfred Droste, Ulrike Püschmann: On Weighted BÜchi Automata with Order-Complete Weights. IJAC 17(2): 235-260 (2007) |
| j33 | | Manfred Droste, Paul Gastin: Weighted automata and weighted logics. Theor. Comput. Sci. 380(1-2): 69-86 (2007) |
| c19 | | |
| c18 | | |
| c17 | | Manfred Droste, George Rahonis: Weighted Automata and Weighted Logics with Discounting. CIAA 2007: 73-84 |
| 2006 | ||
| j32 | | 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) |
| j31 | | Manfred Droste, Dietrich Kuske: Skew and infinitary formal power series. Theor. Comput. Sci. 366(3): 199-227 (2006) |
| j30 | | Manfred Droste, Heiko Vogler: Weighted tree automata and weighted logics. Theor. Comput. Sci. 366(3): 228-247 (2006) |
| c16 | | Manfred Droste, George Rahonis: Weighted Automata and Weighted Logics on Infinite Words. Developments in Language Theory 2006: 49-58 |
| 2005 | ||
| j29 | | Manfred Droste, Christian Pech, Heiko Vogler: A Kleene Theorem for Weighted Tree Automata. Theory Comput. Syst. 38(1): 1-38 (2005) |
| c15 | | |
| 2003 | ||
| j28 | | Manfred Droste, Guo-Qiang Zhang: On transformations of formal power series. Inf. Comput. 184(2): 369-383 (2003) |
| j27 | | Manfred Droste, Heiko Vogler: Editorial. Journal of Automata, Languages and Combinatorics 8(2): 115 (2003) |
| j26 | | Manfred Droste, Dietrich Kuske: On random relational structures. J. Comb. Theory, Ser. A 102(2): 241-254 (2003) |
| c14 | | |
| 2002 | ||
| j25 | | Manfred Droste, R. M. Shortt: From Petri Nets to Automata with Concurrency. Applied Categorical Structures 10(2): 173-191 (2002) |
| j24 | | Manfred Droste, Dugald Macpherson, Alan Mekler: Uncountable Homogeneous Partial Orders. Math. Log. Q. 48(4): 525-532 (2002) |
| j23 | | Paolo Boldi, Felice Cardone, Manfred Droste: Universal Homogeneous Graph-Like Structures And Domains. Mathematical Structures in Computer Science 12(1): 91-109 (2002) |
| 2001 | ||
| j22 | | Manfred Droste, Dietrich Kuske: Recognizable languages in divisibility monoids. Mathematical Structures in Computer Science 11(6): 743-770 (2001) |
| c13 | | Manfred Droste, R. M. Shortt: Continuous Petri Nets and Transition Systems. Unifying Petri Nets 2001: 457-484 |
| c12 | | Manfred Droste, Guo-Qiang Zhang: Rational Transformations of Formal Power Series. ICALP 2001: 555-566 |
| 2000 | ||
| j21 | | Manfred Droste, Paul Gastin, Dietrich Kuske: Asynchronous cellular automata for pomsets. Theor. Comput. Sci. 247(1-2): 1-38 (2000) |
| 1999 | ||
| j20 | | Manfred Droste, Paul Gastin: The Kleene-Schützenberger Theorem for Formal Power Series in Partially Commuting Variables. Inf. Comput. 153(1): 47-80 (1999) |
| c11 | | Manfred Droste, Dietrich Kuske: On Recognizable Languages in Divisibility Monoids. FCT 1999: 246-257 |
| 1998 | ||
| j19 | | 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 | ||
| j18 | | Felipe Bracho, Manfred Droste, Dietrich Kuske: Representation of Computations in Concurrent Automata by Dependence Orders. Theor. Comput. Sci. 174(1-2): 67-96 (1997) |
| c10 | | Manfred Droste, Paul Gastin: On Recognizable and Rational Formal Power Series in Partially Commuting Variables. ICALP 1997: 682-692 |
| 1996 | ||
| j17 | | |
| c9 | | Manfred Droste, Paul Gastin: Asynchronous Cellular Automata for Pomsets Without Auto-concurrency. CONCUR 1996: 627-638 |
| 1995 | ||
| j16 | | Manfred Droste, Michèle Giraudet, Dugald Macpherson: Periodic Ordered Permutation Groups and Cyclic Orderings. J. Comb. Theory, Ser. B 63(2): 310-321 (1995) |
| j15 | | Manfred Droste: Recognizable Languages in Concurrency Monoids. Theor. Comput. Sci. 150(1): 77-109 (1995) |
| c8 | | Manfred Droste, Dietrich Kuske: Languages and Logical Definability in Concurrency Monoids. CSL 1995: 233-251 |
| c7 | | Manfred Droste, Dietrich Kuske: Trace Languages Definable with Modular Quantifiers. Developments in Language Theory 1995: 386-395 |
| c6 | | Felipe Bracho, Manfred Droste, Dietrich Kuske: Dependence Orders for Computations of Concurrent Automata. STACS 1995: 467-478 |
| 1994 | ||
| j14 | | Manfred Droste, Dugald Macpherson, Norbert Sauer, Michèle Giraudet: Set-Homogeneous Graphs. J. Comb. Theory, Ser. B 62(1): 63-95 (1994) |
| j13 | | Felipe Bracho, Manfred Droste: Labelled Domains and Automata with Concurrency. Theor. Comput. Sci. 135(2): 289-318 (1994) |
| c5 | | Manfred Droste: A KLeene Theorem for Recognizable Languages over Concurrency Monoids. ICALP 1994: 388-399 |
| 1993 | ||
| j12 | | Manfred Droste, Rüdiger Göbel: Universal Domains and the Amalgamation Property. Mathematical Structures in Computer Science 3(2): 137-159 (1993) |
| j11 | | |
| c4 | | |
| 1992 | ||
| j10 | | 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) |
| j9 | | |
| j8 | | |
| 1991 | ||
| j7 | | Manfred Droste: Universal Homogeneous Event Structures and Domains. Inf. Comput. 94(1): 48-61 (1991) |
| j6 | | Manfred Droste, Dugald Macpherson: On k-homogeneous posets and graphs. J. Comb. Theory, Ser. A 56(1): 1-15 (1991) |
| 1990 | ||
| j5 | | Manfred Droste, Rüdiger Göbel: Universal Information Systems. Int. J. Found. Comput. Sci. 1(4): 413-424 (1990) |
| j4 | | Manfred Droste, Rüdiger Göbel: Non-Deterministic Information Systems and their Domains. Theor. Comput. Sci. 75(3): 289-309 (1990) |
| c3 | | |
| c2 | | Manfred Droste, Rüdiger Göbel: Universal Domains in the Theory of Denotational Semantics of Programming Languages. LICS 1990: 19-34 |
| 1989 | ||
| j3 | | Manfred Droste: Recursive Domain Equations for Concrete Data Structures. Inf. Comput. 82(1): 65-80 (1989) |
| j2 | | |
| c1 | | |
| 1983 | ||
| j1 | | Manfred Droste: Products of conjugacy classes of the infinite symmetric groups. Discrete Mathematics 47: 35-48 (1983) |
Colors in the list of coauthors
Last update Mon May 20 23:19:13 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page