Bernhard Möller

According to our database1, Bernhard Möller
  • authored at least 110 papers between 1981 and 2016.
  • has a "Dijkstra number"2 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2016
Extended Feature Algebra.
J. Log. Algebr. Meth. Program., 2016

Developments in concurrent Kleene algebra.
J. Log. Algebr. Meth. Program., 2016

A Discrete Geometric Model of Concurrent Program Execution.
Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

2015
An algebra of database preferences.
J. Log. Algebr. Meth. Program., 2015

Extended transitive separation logic.
J. Log. Algebr. Meth. Program., 2015

Modal algebra and Petri nets.
Acta Inf., 2015

Exploring an Interface Model for CKA.
Proceedings of the Mathematics of Program Construction - 12th International Conference, 2015

Structured Document Algebra in Action.
Proceedings of the Software, 2015

Towards Antichain Algebra.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2015

2014
On nothing.
J. Log. Algebr. Meth. Program., 2014

Relational style laws and constructs of linear algebra.
J. Log. Algebr. Meth. Program., 2014

Exploring modal worlds.
J. Log. Algebr. Meth. Program., 2014

Preface.
J. Log. Algebr. Meth. Program., 2014

Developments in Concurrent Kleene Algebra.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

Fuzzifying Modal Algebra.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013
Modal Knowledge and Game Semirings.
Comput. J., 2013

Features, modularity, and variation points.
Proceedings of the 5th International Workshop on Feature-Oriented Software Development, 2013

2012
Dijkstra, Floyd and Warshall meet Kleene.
Formal Asp. Comput., 2012

An Algebraic Calculus of Database Preferences.
Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

Reverse Exchange for Concurrency and Local Reasoning.
Proceedings of the Mathematics of Program Construction - 11th International Conference, 2012

An Algebra of Layered Complex Preferences.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

Transitive Separation Logic.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011
Fixing Zeno gaps.
Theor. Comput. Sci., 2011

An algebra of product families.
Software and System Modeling, 2011

Concurrent Kleene Algebra and its Foundations.
J. Log. Algebr. Program., 2011

Algebraic separation logic.
J. Log. Algebr. Program., 2011

Relations and Kleene algebras in computer science.
J. Log. Algebr. Program., 2011

Supplementing Product Families with Behaviour.
Int. J. Software and Informatics, 2011

Algebraic Notions of Termination
Logical Methods in Computer Science, 2011

On Locality and the Exchange Law for Concurrent Processes.
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

Simplifying Pointer Kleene Algebra.
Proceedings of the First Workshop on Automated Theory Engineering, 2011

Building Structured Theories - (Invited Paper).
Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010
An algebraic foundation for automatic feature-based program synthesis.
Sci. Comput. Program., 2010

Normal design algebra.
J. Log. Algebr. Program., 2010

Relations and Kleene algebras in computer science.
J. Log. Algebr. Program., 2010

Model Refinement Using Bisimulation Quotients.
Proceedings of the Algebraic Methodology and Software Technology, 2010

2009
An algebra of hybrid systems.
J. Log. Algebr. Program., 2009

An extension for feature algebra.
Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

Concurrent Kleene Algebra.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

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

A Semiring Approach to Equivalences, Bisimulations and Control.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

Towards Algebraic Separation Logic.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008
Algebraic Neighbourhood Logic.
J. Log. Algebr. Program., 2008

Algebraic View Reconciliation.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Circulations, Fuzzy Relations and Semirings.
Proceedings of the Mathematics of Program Construction, 9th International Conference, 2008

An Algebra for Features and Feature Composition.
Proceedings of the Algebraic Methodology and Software Technology, 2008

Knowledge and Games in Modal Semirings.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007
Kleene getting lazy.
Sci. Comput. Program., 2007

2006
Kleene algebra with domain.
ACM Trans. Comput. Log., 2006

Algebras of modal operators and partial correctness.
Theor. Comput. Sci., 2006

Guest editor's introduction: Special issue on Relation Algebra and Kleene Algebra.
J. Log. Algebr. Program., 2006

Kleene under a modal demonic star.
J. Log. Algebr. Program., 2006

Modal Design Algebra.
Proceedings of the Unifying Theories of Programming, First International Symposium, 2006

The Linear Algebra of UTP.
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Feature Algebra.
Proceedings of the FM 2006: Formal Methods, 2006

Quantales and Temporal Logics.
Proceedings of the Algebraic Methodology and Software Technology, 2006

Omega Algebra, Demonic Refinement Algebra and Commands.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

Lazy Semiring Neighbours and Some Applications.
Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005
Least Reflexive Points of Relations.
Higher-Order and Symbolic Computation, 2005

p Is.
Proceedings of the Relational Methods in Computer Science, 2005

Towards an Algebra of Hybrid Systems.
Proceedings of the Relational Methods in Computer Science, 2005

2004
Foreword.
Sci. Comput. Program., 2004

Lazy Kleene Algebra.
Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

Termination in Modal Kleene Algebra.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Modal Kleene Algebra and Partial Correctness.
Proceedings of the Algebraic Methodology and Software Technology, 2004

2003
Kleene algebra with domain
CoRR, 2003

Greedy-Like Algorithms in Modal Kleene Algebra.
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.
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.
Inf. Sci., 2001

2000
Kleene under a Demonic Star.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

Characterizing Functions in Kleene Algebras.
Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999
Calculating with Acyclic and Cyclic Lists.
Inf. Sci., 1999

1998
Deductive Hardware Design: A Functional Approach.
Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998

Idel Stream Algebra.
Proceedings of the Prospects for Hardware Foundations, ESPRIT Working Group 8533, NADA, 1998

Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach.
Proceedings of the Mathematics of Program Construction, 1998

Modal and temporal operators on partial orders.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997
Calculating with pointer structures.
Proceedings of the Algorithmic Languages and Calculi, 1997

Calculating With Pointer Structures (Extended Abstract).
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).
Sci. Comput. Program., 1996

Calculating a Functional Module for Binary Search Trees.
Proceedings of the Implementation of Functional Languages, 8th International Workshop, 1996

1995
Assertions and Recursions.
Proceedings of the Higher-Order Algebra, 1995

1994
Shorter Paths to Graph Algorithms.
Sci. Comput. Program., 1994

Ideal Streams.
Proceedings of the Programming Concepts, 1994

1993
Towards Pointer Algebra.
Sci. Comput. Program., 1993

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

Derivation of Graph and Pointer Algorithms.
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.
Proceedings of the Higher-Order Algebra, 1993

Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper).
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1992
Shorter Paths to Graph Algorithms.
Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, U.K., June 29, 1992

1991
Calculating a Garbage Collector.
Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

1990
Systematic Derivation of Pointer Algorithms.
Proceedings of the GI, 1990

1989
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming.
IEEE Trans. Software Eng., 1989

Applicative Assertions.
Proceedings of the Mathematics of Program Construction, 1989

1988
Algebraic Specification with Built-in Domain Constructions.
Proceedings of the CAAP '88, 1988

1987
Konstruktion korrekter Programme durch Transformation.
Informatik Spektrum, 1987

Algebraic Specifications of Reachable Higher-Order Algebras.
Proceedings of the Recent Trends in Data Type Specification, 1987

The Munich Project CIP, Volume II: The Program Transformation System CIP-S
Lecture Notes in Computer Science 292, Springer, ISBN: 3-540-18779-0, 1987

1986
Algebraic Implementations Preserve Program Correctness.
Sci. Comput. Program., 1986

Algebraic Specifications with Higher-Order Operations.
ADT, 1986

1985
On the Algebraic Specification of Infinite Objects - Ordered and Continuous Models of Algebraic Types.
Acta Inf., 1985

The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985

1984
Busy and Lazy FP with Infinite Objects.
LISP and Functional Programming, 1984

On the Algebraic Specification of Domains.
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.
Proceedings of the Automata, 1983

An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects.
Proceedings of the GI - 13. Jahrestagung, Hamburg, 3.-7. Oktober 1983, Proceedings, 1983

Ordered and Continuous Models of Algebraic Types.
ADT, 1983

1982
Unendliche Objekte und Geflechte.
PhD thesis, 1982

1981
Programming in a Wide Spectrum Language: A Collection of Examples.
Sci. Comput. Program., 1981

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


  Loading...