The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manfred Droste: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Manfred Droste, R. M. Shortt
    Continuous Petri Nets and Transition Systems. [Citation Graph (0, 0)][DBLP]
    Unifying Petri Nets, 2001, pp:457-484 [Conf]
  2. Manfred Droste, Paul Gastin
    Asynchronous Cellular Automata for Pomsets Without Auto-concurrency. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:627-638 [Conf]
  3. Manfred Droste, Rüdiger Göbel
    Effectively Given Information Systems and Domains. [Citation Graph (0, 0)][DBLP]
    CSL, 1989, pp:116-142 [Conf]
  4. Manfred Droste, Dietrich Kuske
    Languages and Logical Definability in Concurrency Monoids. [Citation Graph (0, 0)][DBLP]
    CSL, 1995, pp:233-251 [Conf]
  5. Manfred Droste, Dietrich Kuske
    Trace Languages Definable with Modular Quantifiers. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 1995, pp:386-395 [Conf]
  6. Manfred Droste, George Rahonis
    Weighted Automata and Weighted Logics on Infinite Words. [Citation Graph (0, 0)][DBLP]
    Developments in Language Theory, 2006, pp:49-58 [Conf]
  7. Manfred Droste, Dietrich Kuske
    On Recognizable Languages in Divisibility Monoids. [Citation Graph (0, 0)][DBLP]
    FCT, 1999, pp:246-257 [Conf]
  8. Felipe Bracho, Manfred Droste
    From Domains to Automata with Concurrency. [Citation Graph (0, 0)][DBLP]
    ICALP, 1993, pp:669-681 [Conf]
  9. Manfred Droste, Guo-Qiang Zhang
    Rational Transformations of Formal Power Series. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:555-566 [Conf]
  10. Manfred Droste
    Concurrency, Automata and Domains. [Citation Graph (0, 0)][DBLP]
    ICALP, 1990, pp:195-208 [Conf]
  11. Manfred Droste
    A KLeene Theorem for Recognizable Languages over Concurrency Monoids. [Citation Graph (0, 0)][DBLP]
    ICALP, 1994, pp:388-399 [Conf]
  12. Manfred Droste, Paul Gastin
    Weighted Automata and Weighted Logics. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:513-525 [Conf]
  13. Manfred Droste, Paul Gastin
    On Recognizable and Rational Formal Power Series in Partially Commuting Variables. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:682-692 [Conf]
  14. Manfred Droste, Dietrich Kuske
    Skew and Infinitary Formal Power Series. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:426-438 [Conf]
  15. Manfred Droste, Rüdiger Göbel
    Universal Domains in the Theory of Denotational Semantics of Programming Languages [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:19-34 [Conf]
  16. Felipe Bracho, Manfred Droste, Dietrich Kuske
    Dependence Orders for Computations of Concurrent Automata. [Citation Graph (0, 0)][DBLP]
    STACS, 1995, pp:467-478 [Conf]
  17. Manfred Droste, R. M. Shortt
    From Petri Nets to Automata with Concurrency. [Citation Graph (0, 0)][DBLP]
    Applied Categorical Structures, 2002, v:10, n:2, pp:173-191 [Journal]
  18. Manfred Droste, R. M. Shortt
    Bounded Petri nets of finite dimension have only finitely many reachable markings. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1992, v:48, n:, pp:172-174 [Journal]
  19. Manfred Droste, Dietrich Kuske
    Almost Every Domain is Universal. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:103-119 [Journal]
  20. Manfred Droste, Jarkko Kari, Paula Steinby
    Observations on the Smoothness Properties of Real Functions Computed by Weighted Finite Automata. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:73, n:1-2, pp:99-106 [Journal]
  21. Manfred Droste
    Recursive Domain Equations for Concrete Data Structures [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:82, n:1, pp:65-80 [Journal]
  22. Manfred Droste
    Universal Homogeneous Event Structures and Domains [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1991, v:94, n:1, pp:48-61 [Journal]
  23. Manfred Droste
    Aperiodic Languages in Concurrency Monoids. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:126, n:2, pp:105-113 [Journal]
  24. Manfred Droste, Paul Gastin
    The Kleene-Schützenberger Theorem for Formal Power Series in Partially Commuting Variables. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:153, n:1, pp:47-80 [Journal]
  25. Manfred Droste, Guo-Qiang Zhang
    On transformations of formal power series. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:184, n:2, pp:369-383 [Journal]
  26. Manfred Droste
    Concurrent Automata and Domains. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1992, v:3, n:4, pp:389-418 [Journal]
  27. Manfred Droste, Rüdiger Göbel
    Universal Information Systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1990, v:1, n:4, pp:413-424 [Journal]
  28. Manfred Droste, Dietrich Kuske
    Recognizable and Logically Definable Languages of Infinite Computations in Concurrent Automata. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1998, v:9, n:3, pp:295-314 [Journal]
  29. Manfred Droste, Heiko Vogler
    Editorial. [Citation Graph (0, 0)][DBLP]
    Journal of Automata, Languages and Combinatorics, 2003, v:8, n:2, pp:115- [Journal]
  30. Manfred Droste, Michèle Giraudet, Dugald Macpherson
    Periodic Ordered Permutation Groups and Cyclic Orderings. [Citation Graph (0, 0)][DBLP]
    J. Comb. Theory, Ser. B, 1995, v:63, n:2, pp:310-321 [Journal]
  31. Manfred Droste, Dietrich Kuske
    On random relational structures. [Citation Graph (0, 0)][DBLP]
    J. Comb. Theory, Ser. A, 2003, v:102, n:2, pp:241-254 [Journal]
  32. Manfred Droste, Dugald Macpherson
    On k-homogeneous posets and graphs. [Citation Graph (0, 0)][DBLP]
    J. Comb. Theory, Ser. A, 1991, v:56, n:1, pp:1-15 [Journal]
  33. Manfred Droste, Dugald Macpherson, Norbert Sauer, Michèle Giraudet
    Set-Homogeneous Graphs. [Citation Graph (0, 0)][DBLP]
    J. Comb. Theory, Ser. B, 1994, v:62, n:1, pp:63-95 [Journal]
  34. Manfred Droste
    Finite Axiomatizations for Universal Domains. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1992, v:2, n:2, pp:119-131 [Journal]
  35. Manfred Droste, Dugald Macpherson, Alan Mekler
    Uncountable Homogeneous Partial Orders. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2002, v:48, n:4, pp:525-532 [Journal]
  36. Manfred Droste, Rüdiger Göbel
    Universal Domains and the Amalgamation Property. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1993, v:3, n:2, pp:137-159 [Journal]
  37. Manfred Droste, Dietrich Kuske
    Recognizable languages in divisibility monoids. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2001, v:11, n:6, pp:743-770 [Journal]
  38. Paolo Boldi, Felice Cardone, Manfred Droste
    Universal Homogeneous Graph-Like Structures And Domains. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:1, pp:91-109 [Journal]
  39. Manfred Droste, Christian Pech, Heiko Vogler
    A Kleene Theorem for Weighted Tree Automata. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 2005, v:38, n:1, pp:1-38 [Journal]
  40. Felipe Bracho, Manfred Droste
    Labelled Domains and Automata with Concurrency. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:2, pp:289-318 [Journal]
  41. Felipe Bracho, Manfred Droste, Dietrich Kuske
    Representation of Computations in Concurrent Automata by Dependence Orders. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:174, n:1-2, pp:67-96 [Journal]
  42. Manfred Droste
    Event Structures and Domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1989, v:68, n:1, pp:37-47 [Journal]
  43. Manfred Droste
    On Stable Domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:111, n:1&2, pp:89-101 [Journal]
  44. Manfred Droste
    Recognizable Languages in Concurrency Monoids. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:150, n:1, pp:77-109 [Journal]
  45. Manfred Droste, Rüdiger Göbel
    Non-Deterministic Information Systems and their Domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:3, pp:289-309 [Journal]
  46. Manfred Droste, Paul Gastin, Dietrich Kuske
    Asynchronous cellular automata for pomsets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:247, n:1-2, pp:1-38 [Journal]
  47. Manfred Droste, Dietrich Kuske
    Skew and infinitary formal power series. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:366, n:3, pp:199-227 [Journal]
  48. Manfred Droste, Heiko Vogler
    Weighted tree automata and weighted logics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:366, n:3, pp:228-247 [Journal]
  49. Manfred Droste, Guo-Qiang Zhang
    Bifinite Chu Spaces. [Citation Graph (0, 0)][DBLP]
    CALCO, 2007, pp:179-193 [Conf]
  50. Manfred Droste, George Rahonis
    Weighted Automata and Weighted Logics with Discounting. [Citation Graph (0, 0)][DBLP]
    CIAA, 2007, pp:73-84 [Conf]
  51. Manfred Droste, W. Charles Holland
    Normal Subgroups of B u Aut(Omega). [Citation Graph (0, 0)][DBLP]
    Applied Categorical Structures, 2007, v:15, n:1-2, pp:153-162 [Journal]
  52. Manfred Droste
    Products of conjugacy classes of the infinite symmetric groups. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1983, v:47, n:, pp:35-48 [Journal]
  53. Manfred Droste, Paul Gastin
    Weighted automata and weighted logics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:380, n:1-2, pp:69-86 [Journal]

  54. Kleene and Büchi Theorems for Weighted Automata and Multi-valued Logics over Arbitrary Bounded Lattices. [Citation Graph (, )][DBLP]


  55. A Kleene-Schützenberger Theorem for Weighted Timed Automata. [Citation Graph (, )][DBLP]


  56. Describing Average- and Longtime-Behavior by Weighted MSO Logics. [Citation Graph (, )][DBLP]


  57. Bifinite Chu Spaces. [Citation Graph (, )][DBLP]


  58. Bifinite Chu Spaces [Citation Graph (, )][DBLP]


  59. A Monoidal Category of Bifinite Chu Spaces. [Citation Graph (, )][DBLP]


Search in 0.159secs, Finished in 0.160secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002