Bernhard Möller

According to our database, Bernhard Möller authored at least 117 papers between 1981 and 2022.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2022

Geometric Theory for Program Testing.

Bernhard Möller, Tony Hoare, Zhe Hou, Jin Song Dong

CoRR, 2022

2021

Algorithmics.

Richard S. Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert G. L. T. Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers, Wouter Swierstra, Nicolas Wu

Proceedings of the Advancing Research in Information and Communication Technology, 2021

On Algebra of Program Correctness and Incorrectness.

Bernhard Möller, Peter W. O'Hearn, Tony Hoare

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

A Hierarchy of Algebras for Boolean Subsets.

Walter Guttmann, Bernhard Möller

Arch. Formal Proofs, 2020

The θ-Join as a Join with θ.

Jules Desharnais, Bernhard Möller

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

Geographic wayfinders and space-time algebra.

Bernhard Möller

J. Log. Algebraic Methods Program., 2019

2018

Algebraic Derivation of Until Rules and Application to Timer Verification.

Jessica Ertel, Roland Glück, Bernhard Möller

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

Non-associative Kleene Algebra and Temporal Logics.

Jules Desharnais, Bernhard Möller

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016

Extended Feature Algebra.

Peter Höfner, Bernhard Möller

J. Log. Algebraic Methods Program., 2016

Developments in concurrent Kleene algebra.

Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Huibiao Zhu

J. Log. Algebraic Methods Program., 2016

A Discrete Geometric Model of Concurrent Program Execution.

Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

2015

An algebra of database preferences.

Bernhard Möller, Patrick Roocks

J. Log. Algebraic Methods Program., 2015

Extended transitive separation logic.

Han-Hing Dang, Bernhard Möller

J. Log. Algebraic Methods Program., 2015

Modal algebra and Petri nets.

Han-Hing Dang, Bernhard Möller

Acta Informatica, 2015

Exploring an Interface Model for CKA.

Bernhard Möller, Tony Hoare

Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Structured Document Algebra in Action.

Don S. Batory, Peter Höfner, Dominik Köppl, Bernhard Möller, Andreas Zelend

Proceedings of the Software, 2015

Towards Antichain Algebra.

Bernhard Möller

Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014

On nothing.

Martin E. Müller, Bernhard Möller

J. Log. Algebraic Methods Program., 2014

Relational style laws and constructs of linear algebra.

Jules Desharnais, Anastasiya Grinenko, Bernhard Möller

J. Log. Algebraic Methods Program., 2014

Exploring modal worlds.

Han-Hing Dang, Roland Glück, Bernhard Möller, Patrick Roocks, Andreas Zelend

J. Log. Algebraic Methods Program., 2014

Preface.

Rudolf Berghammer, Bernhard Möller, Michael Winter

J. Log. Algebraic Methods Program., 2014

Developments in Concurrent Kleene Algebra.

Tony Hoare, Stephan van Staden, Bernhard Möller, Georg Struth, Jules Villard, Huibiao Zhu, Peter W. O'Hearn

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

Fuzzifying Modal Algebra.

Jules Desharnais, Bernhard Möller

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Modal Knowledge and Game Semirings.

Bernhard Möller

Comput. J., 2013

Features, modularity, and variation points.

Don S. Batory, Peter Höfner, Bernhard Möller, Andreas Zelend

Proceedings of the 5th International Workshop on Feature-Oriented Software Development, 2013

2012

Dijkstra, Floyd and Warshall meet Kleene.

Peter Höfner, Bernhard Möller

Formal Aspects Comput., 2012

An Algebraic Calculus of Database Preferences.

Bernhard Möller, Patrick Roocks, Markus Endres

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

Reverse Exchange for Concurrency and Local Reasoning.

Han-Hing Dang, Bernhard Möller

Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

An Algebra of Layered Complex Preferences.

Bernhard Möller, Patrick Roocks

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming.

Peter Höfner, Bernhard Möller, Andreas Zelend

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

Transitive Separation Logic.

Han-Hing Dang, Bernhard Möller

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Fixing Zeno gaps.

Peter Höfner, Bernhard Möller

Theor. Comput. Sci., 2011

An algebra of product families.

Peter Höfner, Ridha Khédri, Bernhard Möller

Softw. Syst. Model., 2011

Concurrent Kleene Algebra and its Foundations.

Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman

J. Log. Algebraic Methods Program., 2011

Algebraic separation logic.

Han-Hing Dang, Peter Höfner, Bernhard Möller

J. Log. Algebraic Methods Program., 2011

Relations and Kleene algebras in computer science.

Rudolf Berghammer, Ali Jaoua, Bernhard Möller

J. Log. Algebraic Methods Program., 2011

Supplementing Product Families with Behaviour.

Peter Höfner, Ridha Khédri, Bernhard Möller

Int. J. Softw. Informatics, 2011

Algebraic Notions of Termination

Jules Desharnais, Bernhard Möller, Georg Struth

Log. Methods Comput. Sci., 2011

On Locality and the Exchange Law for Concurrent Processes.

C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Simplifying Pointer Kleene Algebra.

Han-Hing Dang, Bernhard Möller

Proceedings of the First Workshop on Automated Theory Engineering, 2011

Building Structured Theories - (Invited Paper).

Bernhard Möller

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

An algebraic foundation for automatic feature-based program synthesis.

Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner

Sci. Comput. Program., 2010

Normal design algebra.

Walter Guttmann, Bernhard Möller

J. Log. Algebraic Methods Program., 2010

Relations and Kleene algebras in computer science.

Rudolf Berghammer, Bernhard Möller, Georg Struth

J. Log. Algebraic Methods Program., 2010

Model Refinement Using Bisimulation Quotients.

Roland Glück, Bernhard Möller, Michel Sintzoff

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

An algebra of hybrid systems.

Peter Höfner, Bernhard Möller

J. Log. Algebraic Methods Program., 2009

An extension for feature algebra.

Peter Höfner, Bernhard Möller

Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

Concurrent Kleene Algebra.

C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Foundations of Concurrent Kleene Algebra.

C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

A Semiring Approach to Equivalences, Bisimulations and Control.

Roland Glück, Bernhard Möller, Michel Sintzoff

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

Towards Algebraic Separation Logic.

Han-Hing Dang, Peter Höfner, Bernhard Möller

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

Algebraic Neighbourhood Logic.

Peter Höfner, Bernhard Möller

J. Log. Algebraic Methods Program., 2008

Algebraic View Reconciliation.

Peter Höfner, Ridha Khédri, Bernhard Möller

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Circulations, Fuzzy Relations and Semirings.

Roland Glück, Bernhard Möller

Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

An Algebra for Features and Feature Composition.

Sven Apel, Christian Lengauer, Bernhard Möller, Christian Kästner

Proceedings of the Algebraic Methodology and Software Technology, 2008

Knowledge and Games in Modal Semirings.

Bernhard Möller

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007

Kleene getting lazy.

Bernhard Möller

Sci. Comput. Program., 2007

2006

Kleene algebra with domain.

Jules Desharnais, Bernhard Möller, Georg Struth

ACM Trans. Comput. Log., 2006

Algebras of modal operators and partial correctness.

Bernhard Möller, Georg Struth

Theor. Comput. Sci., 2006

Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra.

Bernhard Möller

J. Log. Algebraic Methods Program., 2006

Kleene under a modal demonic star.

Jules Desharnais, Bernhard Möller, Fairouz Tchier

J. Log. Algebraic Methods Program., 2006

Modal Design Algebra.

Walter Guttmann, Bernhard Möller

Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

The Linear Algebra of UTP.

Bernhard Möller

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Feature Algebra.

Peter Höfner, Ridha Khédri, Bernhard Möller

Proceedings of the FM 2006: Formal Methods, 2006

Quantales and Temporal Logics.

Bernhard Möller, Peter Höfner, Georg Struth

Proceedings of the Algebraic Methodology and Software Technology, 2006

Omega Algebra, Demonic Refinement Algebra and Commands.

Peter Höfner, Bernhard Möller, Kim Solin

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

Lazy Semiring Neighbours and Some Applications.

Peter Höfner, Bernhard Möller

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

Least Reflexive Points of Relations.

Jules Desharnais, Bernhard Möller

High. Order Symb. Comput., 2005

p Is.

Bernhard Möller, Georg Struth

Proceedings of the Relational Methods in Computer Science, 2005

Towards an Algebra of Hybrid Systems.

Peter Höfner, Bernhard Möller

Proceedings of the Relational Methods in Computer Science, 2005

2004

Foreword.

Eerke A. Boiten, Bernhard Möller

Sci. Comput. Program., 2004

Lazy Kleene Algebra.

Bernhard Möller

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

Termination in Modal Kleene Algebra.

Jules Desharnais, Bernhard Möller, Georg Struth

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Modal Kleene Algebra and Partial Correctness.

Bernhard Möller, Georg Struth

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Greedy-Like Algorithms in Modal Kleene Algebra.

Bernhard Möller, Georg Struth

Proceedings of the 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, 2003

Kleene Modules.

Thorsten Ehm, Bernhard Möller, Georg Struth

Proceedings of the 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, 2003

2001

Characterizing determinacy in Kleene algebras.

Jules Desharnais, Bernhard Möller

Inf. Sci., 2001

2000

Kleene under a Demonic Star.

Jules Desharnais, Bernhard Möller, Fairouz Tchier

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

Characterizing Functions in Kleene Algebras.

Jules Desharnais, Bernhard Möller

Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999

Calculating with Acyclic and Cyclic Lists.

Bernhard Möller

Inf. Sci., 1999

1998

Deductive Hardware Design: A Functional Approach.

Bernhard Möller

Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998

Idel Stream Algebra.

Bernhard Möller

Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998

Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach.

Thomas Brunn, Bernhard Möller, Martin Russling

Proceedings of the Mathematics of Program Construction, 1998

Modal and temporal operators on partial orders.

Bernhard Möller

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

Calculating with pointer structures.

Bernhard Möller

Proceedings of the Algorithmic Languages and Calculi, 1997

Calculating With Pointer Structures (Extended Abstract).

Bernhard Möller

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

1996

Preface (Selected Papers from the Third International Conference on the Mathematics of Program Construction).

Bernhard Möller

Sci. Comput. Program., 1996

Calculating a Functional Module for Binary Search Trees.

Walter Dosch, Bernhard Möller

Proceedings of the Implementation of Functional Languages, 8th International Workshop, 1996

1995

Assertions and Recursions.

Bernhard Möller

Proceedings of the Higher-Order Algebra, 1995

1994

Shorter Paths to Graph Algorithms.

Bernhard Möller, Martin Russling

Sci. Comput. Program., 1994

Ideal Streams.

Bernhard Möller

Proceedings of the Programming Concepts, 1994

1993

Towards Pointer Algebra.

Bernhard Möller

Sci. Comput. Program., 1993

Introduction.

Bernhard Möller, Helmuth Partsch, Stephen A. Schuman

Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

Derivation of Graph and Pointer Algorithms.

Bernhard Möller

Proceedings of the Formal Program Development - IFIP TC2/WG 2.1 State-of-the-Art Report, 1993

Ordered and Continuous Models of Higher-Order Specifications.

Bernhard Möller

Proceedings of the Higher-Order Algebra, 1993

Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper).

Bernhard Möller

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1991

Calculating a Garbage Collector.

Ulrich Berger, Werner Meixner, Bernhard Möller

Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

1990

On the Refinement of Non-Deterministic Recursive Routines by Transformations.

Rudolf Berghammer, Herbert Ehler, Bernhard Möller

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

Systematic Derivation of Pointer Algorithms.

Bernhard Möller

Proceedings of the GI, 1990

1989

Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming.

Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper

IEEE Trans. Software Eng., 1989

Applicative Assertions.

Bernhard Möller

Proceedings of the Mathematics of Program Construction, 1989

1988

Algebraic Specification with Built-in Domain Constructions.

Bernhard Möller, Andrzej Tarlecki, Martin Wirsing

Proceedings of the CAAP '88, 1988

1987

Konstruktion korrekter Programme durch Transformation.

Helmuth Partsch, Bernhard Möller

Inform. Spektrum, 1987

Algebraic Specifications of Reachable Higher-Order Algebras.

Bernhard Möller, Andrzej Tarlecki, Martin Wirsing

Proceedings of the Recent Trends in Data Type Specification, 1987

The Munich Project CIP, Volume II: The Program Transformation System CIP-S

Friedrich L. Bauer, Herbert Ehler, A. Horsch, Bernhard Möller, Helmuth Partsch, O. Paukner, Peter Pepper

Lecture Notes in Computer Science 292, Springer, ISBN: 3-540-18779-0, 1987

1986

Algebraic Implementations Preserve Program Correctness.

Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing

Sci. Comput. Program., 1986

Algebraic Specifications with Higher-Order Operations.

Bernhard Möller

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985

On the Algebraic Specification of Infinite Objects - Ordered and Continuous Models of Algebraic Types.

Bernhard Möller

Acta Informatica, 1985

The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L

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

Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985

1984

Busy and Lazy FP with Infinite Objects.

Walter Dosch, Bernhard Möller

Proceedings of the 1984 ACM Conference on LISP and Functional Programming, 1984

On the Algebraic Specification of Domains.

Bernhard Möller, Walter Dosch

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language.

Bernhard Möller

Proceedings of the Automata, 1983

An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects.

Walter Dosch, Bernhard Möller

Proceedings of the GI - 13. Jahrestagung, Hamburg, 3.-7. Oktober 1983, Proceedings, 1983

Ordered and Continuous Models of Algebraic Types.

Bernhard Möller

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

Unendliche Objekte und Geflechte.

Bernhard Möller

PhD thesis, 1982

1981

Programming in a Wide Spectrum Language: A Collection of Examples.

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

Sci. Comput. Program., 1981

GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract).

Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing

Proceedings of the GI, 1981