The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bernhard Möller: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper
    Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:2, pp:165-180 [Journal]
  2. Jules Desharnais, Bernhard Möller
    Characterizing Functions in Kleene Algebras. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:55-64 [Conf]
  3. Bernhard Möller
    Calculating With Pointer Structures (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1997, pp:113-122 [Conf]
  4. Bernhard Möller
    Modal and temporal operators on partial orders. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1998, pp:165-169 [Conf]
  5. Bernhard Möller, Georg Struth
    Greedy-Like Algorithms in Modal Kleene Algebra. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:202-215 [Conf]
  6. Thorsten Ehm, Bernhard Möller, Georg Struth
    Kleene Modules. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:112-124 [Conf]
  7. Peter Höfner, Bernhard Möller
    Lazy Semiring Neighbours and Some Applications. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:207-221 [Conf]
  8. Peter Höfner, Bernhard Möller, Kim Solin
    Omega Algebra, Demonic Refinement Algebra and Commands. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2006, pp:222-234 [Conf]
  9. Peter Höfner, Bernhard Möller
    Towards an Algebra of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:121-133 [Conf]
  10. Bernhard Möller, Georg Struth
    p Is. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:200-211 [Conf]
  11. Bernhard Möller
    Ordered and Continuous Models of Algebraic Types. [Citation Graph (0, 0)][DBLP]
    ADT, 1983, pp:- [Conf]
  12. Bernhard Möller
    Algebraic Specifications with Higher-Order Operations. [Citation Graph (0, 0)][DBLP]
    ADT, 1986, pp:- [Conf]
  13. Bernhard Möller, Walter Dosch
    On the Algebraic Specification of Domains. [Citation Graph (0, 0)][DBLP]
    ADT, 1984, pp:178-195 [Conf]
  14. Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
    Algebraic Specifications of Reachable Higher-Order Algebras. [Citation Graph (0, 0)][DBLP]
    ADT, 1987, pp:154-169 [Conf]
  15. Bernhard Möller
    Calculating with pointer structures. [Citation Graph (0, 0)][DBLP]
    Algorithmic Languages and Calculi, 1997, pp:24-48 [Conf]
  16. Jules Desharnais, Bernhard Möller, Fairouz Tchier
    Kleene under a Demonic Star. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:355-370 [Conf]
  17. Bernhard Möller, Georg Struth
    Modal Kleene Algebra and Partial Correctness. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:379-393 [Conf]
  18. Bernhard Möller, Peter Höfner, Georg Struth
    Quantales and Temporal Logics. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:263-277 [Conf]
  19. Bernhard Möller, Andrzej Tarlecki, Martin Wirsing
    Algebraic Specification with Built-in Domain Constructions. [Citation Graph (0, 0)][DBLP]
    CAAP, 1988, pp:132-148 [Conf]
  20. Ulrich Berger, Werner Meixner, Bernhard Möller
    Calculating a Garbage Collector. [Citation Graph (0, 0)][DBLP]
    Methods of Programming, 1991, pp:137-192 [Conf]
  21. Bernhard Möller
    Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper). [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:394-413 [Conf]
  22. Peter Höfner, Ridha Khédri, Bernhard Möller
    Feature Algebra. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:300-315 [Conf]
  23. Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing
    GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1981, pp:109-121 [Conf]
  24. Walter Dosch, Bernhard Möller
    An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1983, pp:67-85 [Conf]
  25. Bernhard Möller
    Systematic Derivation of Pointer Algorithms. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung (2), 1990, pp:537-547 [Conf]
  26. Bernhard Möller
    Ordered and Continuous Models of Higher-Order Specifications. [Citation Graph (0, 0)][DBLP]
    HOA, 1993, pp:223-255 [Conf]
  27. Bernhard Möller
    Assertions and Recursions. [Citation Graph (0, 0)][DBLP]
    HOA, 1995, pp:163-184 [Conf]
  28. Bernhard Möller
    An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:513-526 [Conf]
  29. Bernhard Möller
    Derivation of Graph and Pointer Algorithms. [Citation Graph (0, 0)][DBLP]
    Formal Program Development, 1993, pp:123-160 [Conf]
  30. Bernhard Möller, Helmuth Partsch, Stephen A. Schuman
    Introduction. [Citation Graph (0, 0)][DBLP]
    Formal Program Development, 1993, pp:1-6 [Conf]
  31. Jules Desharnais, Bernhard Möller, Georg Struth
    Termination in Modal Kleene Algebra. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:647-660 [Conf]
  32. Walter Dosch, Bernhard Möller
    Calculating a Functional Module for Binary Search Trees. [Citation Graph (0, 0)][DBLP]
    Implementation of Functional Languages, 1996, pp:267-284 [Conf]
  33. Walter Dosch, Bernhard Möller
    Busy and Lazy FP with Infinite Objects. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1984, pp:282-292 [Conf]
  34. Thomas Brunn, Bernhard Möller, Martin Russling
    Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach. [Citation Graph (0, 0)][DBLP]
    MPC, 1998, pp:96-121 [Conf]
  35. Bernhard Möller
    Lazy Kleene Algebra. [Citation Graph (0, 0)][DBLP]
    MPC, 2004, pp:252-273 [Conf]
  36. Bernhard Möller
    The Linear Algebra of UTP. [Citation Graph (0, 0)][DBLP]
    MPC, 2006, pp:338-358 [Conf]
  37. Bernhard Möller
    Applicative Assertions. [Citation Graph (0, 0)][DBLP]
    MPC, 1989, pp:348-362 [Conf]
  38. Bernhard Möller, Martin Russling
    Shorter Paths to Graph Algorithms. [Citation Graph (0, 0)][DBLP]
    MPC, 1992, pp:250-268 [Conf]
  39. Bernhard Möller
    Idel Stream Algebra. [Citation Graph (0, 0)][DBLP]
    Prospects for Hardware Foundations, 1998, pp:69-116 [Conf]
  40. Bernhard Möller
    Deductive Hardware Design: A Functional Approach. [Citation Graph (0, 0)][DBLP]
    Prospects for Hardware Foundations, 1998, pp:421-468 [Conf]
  41. Bernhard Möller
    Ideal Streams. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1994, pp:39-58 [Conf]
  42. Walter Guttmann, Bernhard Möller
    Modal Design Algebra. [Citation Graph (0, 0)][DBLP]
    UTP, 2006, pp:236-256 [Conf]
  43. Bernhard Möller
    On the Algebraic Specification of Infinite Objects - Ordered and Continuous Models of Algebraic Types. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1985, v:22, n:5, pp:537-578 [Journal]
  44. Jules Desharnais, Bernhard Möller, Georg Struth
    Kleene algebra with domain [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  45. Helmuth Partsch, Bernhard Möller
    Konstruktion korrekter Programme durch Transformation. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1987, v:10, n:6, pp:309-323 [Journal]
  46. Jules Desharnais, Bernhard Möller
    Characterizing determinacy in Kleene algebras. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2001, v:139, n:3-4, pp:253-273 [Journal]
  47. Bernhard Möller
    Calculating with Acyclic and Cyclic Lists. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1999, v:119, n:3-4, pp:135-154 [Journal]
  48. Jules Desharnais, Bernhard Möller, Fairouz Tchier
    Kleene under a modal demonic star. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:66, n:2, pp:127-160 [Journal]
  49. Bernhard Möller
    Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2006, v:66, n:2, pp:69-70 [Journal]
  50. Jules Desharnais, Bernhard Möller
    Least Reflexive Points of Relations. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2005, v:18, n:1-2, pp:51-77 [Journal]
  51. Eerke A. Boiten, Bernhard Möller
    Foreword. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2004, v:51, n:1-2, pp:1-2 [Journal]
  52. Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing
    Algebraic Implementations Preserve Program Correctness. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1986, v:7, n:1, pp:35-53 [Journal]
  53. Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, T. Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner
    Programming in a Wide Spectrum Language: A Collection of Examples. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1981, v:1, n:1-2, pp:73-114 [Journal]
  54. Bernhard Möller
    Towards Pointer Algebra. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1993, v:21, n:1, pp:57-90 [Journal]
  55. Bernhard Möller
    Preface (Selected Papers from the Third International Conference on the Mathematics of Program Construction). [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1996, v:26, n:1-3, pp:3- [Journal]
  56. Bernhard Möller, Martin Russling
    Shorter Paths to Graph Algorithms. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:22, n:1-2, pp:157-180 [Journal]
  57. Bernhard Möller
    Kleene getting lazy. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:65, n:2, pp:195-214 [Journal]
  58. Bernhard Möller, Georg Struth
    Algebras of modal operators and partial correctness. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:351, n:2, pp:221-239 [Journal]
  59. Jules Desharnais, Bernhard Möller, Georg Struth
    Kleene algebra with domain. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2006, v:7, n:4, pp:798-833 [Journal]

  60. A Semiring Approach to Equivalences, Bisimulations and Control. [Citation Graph (, )][DBLP]


  61. Knowledge and Games in Modal Semirings. [Citation Graph (, )][DBLP]


  62. Foundations of Concurrent Kleene Algebra. [Citation Graph (, )][DBLP]


  63. Towards Algebraic Separation Logic. [Citation Graph (, )][DBLP]


  64. An Algebra for Features and Feature Composition. [Citation Graph (, )][DBLP]


  65. Concurrent Kleene Algebra. [Citation Graph (, )][DBLP]


  66. An extension for feature algebra. [Citation Graph (, )][DBLP]


  67. Circulations, Fuzzy Relations and Semirings. [Citation Graph (, )][DBLP]


  68. Algebraic View Reconciliation. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
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