Bernhard Möller - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Relations and Kleene algebras in computer scienceRudolf Berghammer, Ali Jaoua, Bernhard Möller. jlp, 80(6):219-220, 2011. [doi]

Algebraic separation logicHan-Hing Dang, Peter Höfner, Bernhard Möller. jlp, 80(6):221-247, 2011. [doi]

Concurrent Kleene Algebra and its FoundationsTony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman. jlp, 80(6):266-296, 2011. [doi]

Fixing Zeno gapsPeter Höfner, Bernhard Möller. TCS, 412(28):3303-3322, 2011. [doi]

An algebra of product familiesPeter Höfner, Ridha Khédri, Bernhard Möller. SoSyM, 10(2):161-182, 2011. [doi]

Building Structured Theories - (Invited Paper)Bernhard Möller. RelMiCS 2011: 1-21 [doi]

2010

An algebraic foundation for automatic feature-based program synthesisSven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner. SCP, 75(11):1022-1047, 2010. [doi]

Relations and Kleene algebras in computer scienceRudolf Berghammer, Bernhard Möller, Georg Struth. jlp, 79(8):705-706, 2010. [doi]

Normal design algebraWalter Guttmann, Bernhard Möller. jlp, 79(2):144-173, 2010. [doi]

2009

An algebra of hybrid systemsPeter Höfner, Bernhard Möller. jlp, 78(2):74-97, 2009. [doi]

2008

An Algebra for Features and Feature CompositionSven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner. amast 2008: 36-50 [doi]

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. PRudolf Berghammer, Bernhard Möller, Georg Struth, editors, Volume 4988 of Lecture Notes in Computer Science, Springer, 2008.

Circulations, Fuzzy Relations and SemiringsRoland Glück, Bernhard Möller. mpc 2008: 134-152 [doi]

Algebraic Neighbourhood LogicPeter Höfner, Bernhard Möller. jlp, 76(1):35-59, 2008. [doi]

Algebraic View ReconciliationPeter Höfner, Ridha Khédri, Bernhard Möller. sefm 2008: 85-94 [doi]

Knowledge and Games in Modal SemiringsBernhard Möller. RelMiCS 2008: 320-336 [doi]

2007

Kleene getting lazyBernhard Möller. SCP, 65(2):195-214, 2007. [doi]

2006

Kleene under a modal demonic starJules Desharnais, Bernhard Möller, Fairouz Tchier. jlp, 66(2):127-160, 2006. [doi]

Kleene algebra with domainJules Desharnais, Bernhard Möller, Georg Struth. tocl, 7(4):798-833, 2006. [doi]

Modal Design AlgebraWalter Guttmann, Bernhard Möller. utp 2006: 236-256 [doi]

Lazy Semiring Neighbours and Some ApplicationsPeter Höfner, Bernhard Möller. RelMiCS 2006: 207-221 [doi]

Feature AlgebraPeter Höfner, Ridha Khédri, Bernhard Möller. fm 2006: 300-315 [doi]

Omega Algebra, Demonic Refinement Algebra and CommandsPeter Höfner, Bernhard Möller, Kim Solin. RelMiCS 2006: 222-234 [doi]

Quantales and Temporal LogicsBernhard Möller, Peter Höfner, Georg Struth. amast 2006: 263-277 [doi]

Guest editor s introduction: Special issue on Relation Algebra and Kleene AlgebraBernhard Möller. jlp, 66(2):69-70, 2006. [doi]

Algebras of modal operators and partial correctnessBernhard Möller, Georg Struth. TCS, 351(2):221-239, 2006. [doi]

The Linear Algebra of UTPBernhard Möller. mpc 2006: 338-358 [doi]

2005

Least Reflexive Points of RelationsJules Desharnais, Bernhard Möller. lisp, 18(1-2):51-77, 2005. [doi]

Towards an Algebra of Hybrid SystemsPeter Höfner, Bernhard Möller. RelMiCS 2006: 121-133 [doi]

p IsBernhard Möller, Georg Struth. RelMiCS 2006: 200-211 [doi]

2004

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 PapeRudolf Berghammer, Bernhard Möller, Georg Struth, editors, Volume 3051 of Lecture Notes in Computer Science, Springer, 2004.

ForewordEerke Boiten, Bernhard Möller. SCP, 51(1-2):1-2, 2004. [doi]

Termination in Modal Kleene AlgebraJules Desharnais, Bernhard Möller, Georg Struth. ifipTCS 2004: 647-660

Lazy Kleene AlgebraBernhard Möller. mpc 2004: 252-273 [doi]

Modal Kleene Algebra and Partial CorrectnessBernhard Möller, Georg Struth. amast 2004: 379-393 [doi]

2003

Kleene ModulesThorsten Ehm, Bernhard Möller, Georg Struth. RelMiCS 2004: 112-124 [doi]

Greedy-Like Algorithms in Modal Kleene AlgebraBernhard Möller, Georg Struth. RelMiCS 2004: 202-215 [doi]

2002

Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, ProceedingsEerke Boiten, Bernhard Möller, editors, Volume 2386 of Lecture Notes in Computer Science, Springer, 2002.

2001

Characterizing determinacy in Kleene algebrasJules Desharnais, Bernhard Möller. isci, 139(3-4):253-273, 2001.

2000

Kleene under a Demonic StarJules Desharnais, Bernhard Möller, Fairouz Tchier. amast 2000: 355-370 [doi]

Characterizing Functions in Kleene AlgebrasJules Desharnais, Bernhard Möller. RelMiCS 2000: 55-64

1999

Calculating with Acyclic and Cyclic ListsBernhard Möller. isci, 119(3-4):135-154, 1999.

1998

Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic ApproachThomas Brunn, Bernhard Möller, Martin Russling. mpc 1998: 96-121 [doi]

Modal and temporal operators on partial ordersBernhard Möller. RelMiCS 1998: 165-169

Idel Stream AlgebraBernhard Möller. nada 1998: 69-116 [doi]

Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA - New Hardware Design Methods, Survey ChaptersBernhard Möller, J. V. Tucker, editors, Volume 1546 of Lecture Notes in Computer Science, Springer, 1998.

Deductive Hardware Design: A Functional ApproachBernhard Möller. nada 1998: 421-468 [doi]

1997

Calculating With Pointer Structures (Extended Abstract)Bernhard Möller. RelMiCS 1997: 113-122

Calculating with pointer structuresBernhard Möller. alc 1997: 24-48

1996

Calculating a Functional Module for Binary Search TreesWalter Dosch, Bernhard Möller. IFL 1997: 267-284

Higher-Order Algebra, Logic, and Term Rewriting, Second International Workshop, HOA 95, Paderborn, Germany, September 21-22, 1995, Selected PapersGilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller, editors, Volume 1074 of Lecture Notes in Computer Science, Springer, 1996.

Preface (Selected Papers from the Third International Conference on the Mathematics of Program Construction)Bernhard Möller. SCP, 26(1-3):3, 1996.

1995

Assertions and RecursionsBernhard Möller. hoa 1996: 163-184

Mathematics of Program Construction, MPC 95, Kloster Irsee, Germany, July 17-21, 1995, ProceedingsBernhard Möller, editor, Volume 947 of Lecture Notes in Computer Science, Springer, 1995.

1994

Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA 93, Amsterdam, The Netherlands, September 23-24, 1993, Selected PapersJan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow, editors, Volume 816 of Lecture Notes in Computer Science, Springer, 1994.

Ideal StreamsBernhard Möller. procomet 1994: 39-58

Shorter Paths to Graph AlgorithmsBernhard Möller, Martin Russling. SCP, 22(1-2):157-180, 1994.

1993

Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art ReportBernhard Möller, Helmuth Partsch, Stephen A. Schuman, editors, Volume 755 of Lecture Notes in Computer Science, Springer, 1993.

IntroductionBernhard Möller, Helmuth Partsch, Stephen A. Schuman. ifip2-1 1993: 1-6

Ordered and Continuous Models of Higher-Order SpecificationsBernhard Möller. hoa 1994: 223-255

Towards Pointer AlgebraBernhard Möller. SCP, 21(1):57-90, 1993.

Derivation of Graph and Pointer AlgorithmsBernhard Möller. ifip2-1 1993: 123-160

Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper)Bernhard Möller. ershov 1993: 394-413

1992

Shorter Paths to Graph AlgorithmsBernhard Möller, Martin Russling. mpc 1993: 250-268

1991

Calculating a Garbage CollectorUlrich Berger, Werner Meixner, Bernhard Möller. cip 1991: 137-192

1990

Systematic Derivation of Pointer AlgorithmsBernhard Möller. gi 1990: 537-547

1989

Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided ProgrammingFriedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper. TSE, 15(2):165-180, 1989. [doi]

Applicative AssertionsBernhard Möller. mpc 1989: 348-362

1988

Algebraic Specification with Built-in Domain ConstructionsBernhard Möller, Andrzej Tarlecki, Martin Wirsing. caap 1988: 132-148

1987

The Munich Project CIP, Volume II: The Program Transformation System CIP-SFriedrich L. Bauer, Herbert Ehler, A. Horsch, Bernhard Möller, Helmuth Partsch, O. Paukner, Peter Pepper. Volume 292 of Lecture Notes in Computer Science, Springer, 1987.

Algebraic Specifications of Reachable Higher-Order AlgebrasBernhard Möller, Andrzej Tarlecki, Martin Wirsing. adt 1987: 154-169

Konstruktion korrekter Programme durch TransformationHelmuth Partsch, Bernhard Möller. insk, 10(6):309-323, 1987.

1986

Algebraic Implementations Preserve Program CorrectnessManfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing. SCP, 7(1):35-53, 1986.

Algebraic Specifications with Higher-Order OperationsBernhard Möller. adt 1986:

1985

The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-LFriedrich 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. Volume 183 of Lecture Notes in Computer Science, Springer, 1985.

On the Algebraic Specification of Infinite Objects - Ordered and Continuous Models of Algebraic TypesBernhard Möller. ACTA, 22(5):537-578, 1985.

1984

Busy and Lazy FP with Infinite ObjectsWalter Dosch, Bernhard Möller. lfp 1984: 282-292

On the Algebraic Specification of DomainsBernhard Möller, Walter Dosch. adt 1985: 178-195

1983

An Algebraic Semantics for Bachus Functional Programming Language with Infinite ObjectsWalter Dosch, Bernhard Möller. gi 1983: 67-85

Ordered and Continuous Models of Algebraic TypesBernhard Möller. adt 1983:

An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional LanguageBernhard Möller. icalp 1983: 513-526

1981