| * | 2009 |
|---|
| 77 | EE | C. A. R. Hoare,
Bernhard Möller,
Georg Struth,
Ian Wehrman:
Concurrent Kleene Algebra.
CONCUR 2009: 399-414 |
| 76 | EE | Peter Höfner,
Bernhard Möller:
An extension for feature algebra.
FOSD 2009: 75-80 |
| 75 | EE | Peter Höfner,
Bernhard Möller:
An algebra of hybrid systems.
J. Log. Algebr. Program. 78(2): 74-97 (2009) |
| 2008 |
|---|
| 74 | | Rudolf Berghammer,
Bernhard Möller,
Georg Struth:
Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings
Springer 2008 |
| 73 | EE | Sven Apel,
Christian Lengauer,
Bernhard Möller,
Christian Kästner:
An Algebra for Features and Feature Composition.
AMAST 2008: 36-50 |
| 72 | EE | Roland Glück,
Bernhard Möller:
Circulations, Fuzzy Relations and Semirings.
MPC 2008: 134-152 |
| 71 | EE | Bernhard Möller:
Knowledge and Games in Modal Semirings.
RelMiCS 2008: 320-336 |
| 70 | EE | Peter Höfner,
Ridha Khédri,
Bernhard Möller:
Algebraic View Reconciliation.
SEFM 2008: 85-94 |
| 69 | EE | Peter Höfner,
Bernhard Möller:
Algebraic Neighbourhood Logic.
J. Log. Algebr. Program. 76(1): 35-59 (2008) |
| 2007 |
|---|
| 68 | EE | Bernhard Möller:
Kleene getting lazy.
Sci. Comput. Program. 65(2): 195-214 (2007) |
| 2006 |
|---|
| 67 | EE | Bernhard Möller,
Peter Höfner,
Georg Struth:
Quantales and Temporal Logics.
AMAST 2006: 263-277 |
| 66 | EE | Peter Höfner,
Ridha Khédri,
Bernhard Möller:
Feature Algebra.
FM 2006: 300-315 |
| 65 | EE | Bernhard Möller:
The Linear Algebra of UTP.
MPC 2006: 338-358 |
| 64 | EE | Peter Höfner,
Bernhard Möller:
Lazy Semiring Neighbours and Some Applications.
RelMiCS 2006: 207-221 |
| 63 | EE | Peter Höfner,
Bernhard Möller,
Kim Solin:
Omega Algebra, Demonic Refinement Algebra and Commands.
RelMiCS 2006: 222-234 |
| 62 | EE | Walter Guttmann,
Bernhard Möller:
Modal Design Algebra.
UTP 2006: 236-256 |
| 61 | EE | Jules Desharnais,
Bernhard Möller,
Georg Struth:
Kleene algebra with domain.
ACM Trans. Comput. Log. 7(4): 798-833 (2006) |
| 60 | EE | Jules Desharnais,
Bernhard Möller,
Fairouz Tchier:
Kleene under a modal demonic star.
J. Log. Algebr. Program. 66(2): 127-160 (2006) |
| 59 | EE | Bernhard Möller:
Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra.
J. Log. Algebr. Program. 66(2): 69-70 (2006) |
| 58 | EE | Bernhard Möller,
Georg Struth:
Algebras of modal operators and partial correctness.
Theor. Comput. Sci. 351(2): 221-239 (2006) |
| 2005 |
|---|
| 57 | EE | Peter Höfner,
Bernhard Möller:
Towards an Algebra of Hybrid Systems.
RelMiCS 2005: 121-133 |
| 56 | EE | Bernhard Möller,
Georg Struth:
p Is.
RelMiCS 2005: 200-211 |
| 55 | EE | Jules Desharnais,
Bernhard Möller:
Least Reflexive Points of Relations.
Higher-Order and Symbolic Computation 18(1-2): 51-77 (2005) |
| 2004 |
|---|
| 54 | | Rudolf Berghammer,
Bernhard Möller,
Georg Struth:
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers
Springer 2004 |
| 53 | EE | Bernhard Möller,
Georg Struth:
Modal Kleene Algebra and Partial Correctness.
AMAST 2004: 379-393 |
| 52 | | Jules Desharnais,
Bernhard Möller,
Georg Struth:
Termination in Modal Kleene Algebra.
IFIP TCS 2004: 647-660 |
| 51 | EE | Bernhard Möller:
Lazy Kleene Algebra.
MPC 2004: 252-273 |
| 50 | EE | Eerke A. Boiten,
Bernhard Möller:
Foreword.
Sci. Comput. Program. 51(1-2): 1-2 (2004) |
| 2003 |
|---|
| 49 | EE | Thorsten Ehm,
Bernhard Möller,
Georg Struth:
Kleene Modules.
RelMiCS 2003: 112-124 |
| 48 | EE | Bernhard Möller,
Georg Struth:
Greedy-Like Algorithms in Modal Kleene Algebra.
RelMiCS 2003: 202-215 |
| 47 | EE | Jules Desharnais,
Bernhard Möller,
Georg Struth:
Kleene algebra with domain
CoRR cs.LO/0310054: (2003) |
| 2002 |
|---|
| 46 | | Eerke A. Boiten,
Bernhard Möller:
Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings
Springer 2002 |
| 2001 |
|---|
| 45 | | Jules Desharnais,
Bernhard Möller:
Characterizing determinacy in Kleene algebras.
Inf. Sci. 139(3-4): 253-273 (2001) |
| 2000 |
|---|
| 44 | EE | Jules Desharnais,
Bernhard Möller,
Fairouz Tchier:
Kleene under a Demonic Star.
AMAST 2000: 355-370 |
| 43 | | Jules Desharnais,
Bernhard Möller:
Characterizing Functions in Kleene Algebras.
RelMiCS 2000: 55-64 |
| 1999 |
|---|
| 42 | | Bernhard Möller:
Calculating with Acyclic and Cyclic Lists.
Inf. Sci. 119(3-4): 135-154 (1999) |
| 1998 |
|---|
| 41 | | Bernhard Möller,
J. V. Tucker:
Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA - New Hardware Design Methods, Survey Chapters
Springer 1998 |
| 40 | EE | Thomas Brunn,
Bernhard Möller,
Martin Russling:
Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach.
MPC 1998: 96-121 |
| 39 | EE | Bernhard Möller:
Deductive Hardware Design: A Functional Approach.
Prospects for Hardware Foundations 1998: 421-468 |
| 38 | EE | Bernhard Möller:
Idel Stream Algebra.
Prospects for Hardware Foundations 1998: 69-116 |
| 37 | | Bernhard Möller:
Modal and temporal operators on partial orders.
RelMiCS 1998: 165-169 |
| 1997 |
|---|
| 36 | | Bernhard Möller:
Calculating with pointer structures.
Algorithmic Languages and Calculi 1997: 24-48 |
| 35 | | Bernhard Möller:
Calculating With Pointer Structures (Extended Abstract).
RelMiCS 1997: 113-122 |
| 1996 |
|---|
| 34 | | Gilles Dowek,
Jan Heering,
Karl Meinke,
Bernhard Möller:
Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995, Selected Papers
Springer 1996 |
| 33 | | Walter Dosch,
Bernhard Möller:
Calculating a Functional Module for Binary Search Trees.
Implementation of Functional Languages 1996: 267-284 |
| 32 | | Bernhard Möller:
Preface (Selected Papers from the Third International Conference on the Mathematics of Program Construction).
Sci. Comput. Program. 26(1-3): 3 (1996) |
| 1995 |
|---|
| 31 | | Bernhard Möller:
Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany, July 17-21, 1995, Proceedings
Springer 1995 |
| 30 | | Bernhard Möller:
Assertions and Recursions.
HOA 1995: 163-184 |
| 1994 |
|---|
| 29 | | Jan Heering,
Karl Meinke,
Bernhard Möller,
Tobias Nipkow:
Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers
Springer 1994 |
| 28 | | Bernhard Möller:
Ideal Streams.
PROCOMET 1994: 39-58 |
| 27 | | Bernhard Möller,
Martin Russling:
Shorter Paths to Graph Algorithms.
Sci. Comput. Program. 22(1-2): 157-180 (1994) |
| 1993 |
|---|
| 26 | | Bernhard Möller,
Helmuth Partsch,
Stephen A. Schuman:
Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report
Springer 1993 |
| 25 | EE | Bernhard Möller:
Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper).
Formal Methods in Programming and Their Applications 1993: 394-413 |
| 24 | | Bernhard Möller,
Helmuth Partsch,
Stephen A. Schuman:
Introduction.
Formal Program Development 1993: 1-6 |
| 23 | | Bernhard Möller:
Derivation of Graph and Pointer Algorithms.
Formal Program Development 1993: 123-160 |
| 22 | | Bernhard Möller:
Ordered and Continuous Models of Higher-Order Specifications.
HOA 1993: 223-255 |
| 21 | | Bernhard Möller:
Towards Pointer Algebra.
Sci. Comput. Program. 21(1): 57-90 (1993) |
| 1992 |
|---|
| 20 | | Bernhard Möller,
Martin Russling:
Shorter Paths to Graph Algorithms.
MPC 1992: 250-268 |
| 1991 |
|---|
| 19 | | Ulrich Berger,
Werner Meixner,
Bernhard Möller:
Calculating a Garbage Collector.
Methods of Programming 1991: 137-192 |
| 1990 |
|---|
| 18 | | Bernhard Möller:
Systematic Derivation of Pointer Algorithms.
GI Jahrestagung (2) 1990: 537-547 |
| 1989 |
|---|
| 17 | | Bernhard Möller:
Applicative Assertions.
MPC 1989: 348-362 |
| 16 | EE | Friedrich L. Bauer,
Bernhard Möller,
Helmuth Partsch,
Peter Pepper:
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming.
IEEE Trans. Software Eng. 15(2): 165-180 (1989) |
| 1988 |
|---|
| 15 | EE | Bernhard Möller,
Andrzej Tarlecki,
Martin Wirsing:
Algebraic Specification with Built-in Domain Constructions.
CAAP 1988: 132-148 |
| 1987 |
|---|
| 14 | | Friedrich L. Bauer,
Herbert Ehler,
A. Horsch,
Bernhard Möller,
Helmuth Partsch,
O. Paukner,
Peter Pepper:
The Munich Project CIP, Volume II: The Program Transformation System CIP-S
Springer 1987 |
| 13 | | Bernhard Möller,
Andrzej Tarlecki,
Martin Wirsing:
Algebraic Specifications of Reachable Higher-Order Algebras.
ADT 1987: 154-169 |
| 12 | | Helmuth Partsch,
Bernhard Möller:
Konstruktion korrekter Programme durch Transformation.
Informatik Spektrum 10(6): 309-323 (1987) |
| 1986 |
|---|
| 11 | | Bernhard Möller:
Algebraic Specifications with Higher-Order Operations.
ADT 1986 |
| 10 | | Manfred Broy,
Bernhard Möller,
Peter Pepper,
Martin Wirsing:
Algebraic Implementations Preserve Program Correctness.
Sci. Comput. Program. 7(1): 35-53 (1986) |
| 1985 |
|---|
| 9 | | Friedrich L. Bauer,
Rudolf Berghammer,
Manfred Broy,
Walter Dosch,
Franz Geiselbrechtinger,
Rupert Gnatz,
E. Hangel,
Wolfgang Hesse,
Bernd Krieg-Brückner,
Alfred Laut,
Thomas Matzner,
Bernhard Möller,
Friederike Nickl,
Helmuth Partsch,
Peter Pepper,
Klaus Samelson,
Martin Wirsing,
Hans Wössner:
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
Springer 1985 |
| 8 | | Bernhard Möller:
On the Algebraic Specification of Infinite Objects - Ordered and Continuous Models of Algebraic Types.
Acta Inf. 22(5): 537-578 (1985) |
| 1984 |
|---|
| 7 | | Bernhard Möller,
Walter Dosch:
On the Algebraic Specification of Domains.
ADT 1984: 178-195 |
| 6 | | Walter Dosch,
Bernhard Möller:
Busy and Lazy FP with Infinite Objects.
LISP and Functional Programming 1984: 282-292 |
| 1983 |
|---|
| 5 | | Bernhard Möller:
Ordered and Continuous Models of Algebraic Types.
ADT 1983 |
| 4 | | Walter Dosch,
Bernhard Möller:
An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects.
GI Jahrestagung 1983: 67-85 |
| 3 | EE | Bernhard Möller:
An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language.
ICALP 1983: 513-526 |
| 1981 |
|---|
| 2 | | Manfred Broy,
Walter Dosch,
Bernhard Möller,
Martin Wirsing:
GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract).
GI Jahrestagung 1981: 109-121 |
| 1 | | Friedrich L. Bauer,
Manfred Broy,
Walter Dosch,
Rupert Gnatz,
Bernd Krieg-Brückner,
Alfred Laut,
M. Luckmann,
Thomas 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.
Sci. Comput. Program. 1(1-2): 73-114 (1981) |
