Bernhard Möller

Kleene algebra with domain

Jules Desharnais, Bernhard Möller, Georg Struth · ACM Transactions on Computational Logic · 2006 · 173 citations · Full text

Humanities, Computer Science, Mathematics +17

Formal program construction by transformations-computer-aided, intuition-guided programming

Friedrich L. Bauer, Bernhard Möller, H. Partsch et al. · IEEE Transactions on Software Engineering · 1989 · 139 citations

Computing, Computer Science, Formal Methods +9

Concurrent Kleene Algebra and its Foundations

Tony Hoare, Bernhard Möller, Georg Struth et al. · The Journal of Logic and Algebraic Programming · 2011 · 128 citations · Full text

Natural Sciences, Computer Science, Mathematics +9

Algebras of modal operators and partial correctness

Bernhard Möller, Georg Struth · Theoretical Computer Science · 2005 · 66 citations · Full text

Humanities, Computer Science, Algebra +13

An algebraic foundation for automatic feature-based program synthesis

Sven Apel, Christian Lengauer, Bernhard Möller et al. · Science of Computer Programming · 2010 · 58 citations · Full text

Computing, Computer Engineering, Computer Science +14