 | 2009 |
|---|
| 81 |       | Rudolf Berghammer,
Ali Jaoua,
Bernhard Möller:
Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings
Springer 2009 |
| 80 | | C. A. R. Hoare,
Bernhard Möller,
Georg Struth,
Ian Wehrman:
Concurrent Kleene Algebra.
CONCUR 2009: 399-414 |
| 79 | | Peter Höfner,
Bernhard Möller:
An extension for feature algebra.
FOSD 2009: 75-80 |
| 78 | | Roland Glück,
Bernhard Möller,
Michel Sintzoff:
A Semiring Approach to Equivalences, Bisimulations and Control.
RelMiCS 2009: 134-149 |
| 77 | | C. A. R. Hoare,
Bernhard Möller,
Georg Struth,
Ian Wehrman:
Foundations of Concurrent Kleene Algebra.
RelMiCS 2009: 166-186 |
| 76 | | Han-Hing Dang,
Peter Höfner,
Bernhard Möller:
Towards Algebraic Separation Logic.
RelMiCS 2009: 59-72 |
| 75 | | 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 | | Sven Apel,
Christian Lengauer,
Bernhard Möller,
Christian Kästner:
An Algebra for Features and Feature Composition.
AMAST 2008: 36-50 |
| 72 | | Roland Glück,
Bernhard Möller:
Circulations, Fuzzy Relations and Semirings.
MPC 2008: 134-152 |
| 71 | | Bernhard Möller:
Knowledge and Games in Modal Semirings.
RelMiCS 2008: 320-336 |
| 70 | | Peter Höfner,
Ridha Khédri,
Bernhard Möller:
Algebraic View Reconciliation.
SEFM 2008: 85-94 |
| 69 | | Peter Höfner,
Bernhard Möller:
Algebraic Neighbourhood Logic.
J. Log. Algebr. Program. 76(1): 35-59 (2008) |
| 2007 |
|---|
| 68 | | Bernhard Möller:
Kleene getting lazy.
Sci. Comput. Program. 65(2): 195-214 (2007) |
| 2006 |
|---|
| 67 | | Bernhard Möller,
Peter Höfner,
Georg Struth:
Quantales and Temporal Logics.
AMAST 2006: 263-277 |
| 66 | | Peter Höfner,
Ridha Khédri,
Bernhard Möller:
Feature Algebra.
FM 2006: 300-315 |
| 65 | | Bernhard Möller:
The Linear Algebra of UTP.
MPC 2006: 338-358 |
| 64 | | Peter Höfner,
Bernhard Möller:
Lazy Semiring Neighbours and Some Applications.
RelMiCS 2006: 207-221 |
| 63 | | Peter Höfner,
Bernhard Möller,
Kim Solin:
Omega Algebra, Demonic Refinement Algebra and Commands.
RelMiCS 2006: 222-234 |
| 62 | | Walter Guttmann,
Bernhard Möller:
Modal Design Algebra.
UTP 2006: 236-256 |
| 61 | | Jules Desharnais,
Bernhard Möller,
Georg Struth:
Kleene algebra with domain.
ACM Trans. Comput. Log. 7(4): 798-833 (2006) |
| 60 | | Jules Desharnais,
Bernhard Möller,
Fairouz Tchier:
Kleene under a modal demonic star.
J. Log. Algebr. Program. 66(2): 127-160 (2006) |
| 59 | | 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 | | Bernhard Möller,
Georg Struth:
Algebras of modal operators and partial correctness.
Theor. Comput. Sci. 351(2): 221-239 (2006) |
| 2005 |
|---|
| 57 | | Peter Höfner,
Bernhard Möller:
Towards an Algebra of Hybrid Systems.
RelMiCS 2005: 121-133 |
| 56 | | Bernhard Möller,
Georg Struth:
p Is.
RelMiCS 2005: 200-211 |
| 55 | | 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 | | 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 | | Bernhard Möller:
Lazy Kleene Algebra.
MPC 2004: 252-273 |
| 50 | | Eerke A. Boiten,
Bernhard Möller:
Foreword.
Sci. Comput. Program. 51(1-2): 1-2 (2004) |
| 2003 |
|---|
| 49 | | Thorsten Ehm,
Bernhard Möller,
Georg Struth:
Kleene Modules.
RelMiCS 2003: 112-124 |
| 48 | | Bernhard Möller,
Georg Struth:
Greedy-Like Algorithms in Modal Kleene Algebra.
RelMiCS 2003: 202-215 |
| 47 | | 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 | | 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 | | Thomas Brunn,
Bernhard Möller,
Martin Russling:
Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach.
MPC 1998: 96-121 |
| 39 | | Bernhard Möller:
Deductive Hardware Design: A Functional Approach.
Prospects for Hardware Foundations 1998: 421-468 |
| 38 | | 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 | | 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 | | 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 | | 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 | | 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) |
