| 2015 | MPC | Exploring an Interface Model for CKA. | Bernhard Mller, Tony Hoare |
| 2013 | GPCE | Features, modularity, and variation points. | Don S. Batory, Peter Hfner, Bernhard Mller, Andreas Zelend |
| 2012 | MPC | Reverse Exchange for Concurrency and Local Reasoning. | Han-Hing Dang, Bernhard Mller |
| 2012 | MPC | An Algebraic Calculus of Database Preferences. | Bernhard Mller, Patrick Roocks, Markus Endres |
| 2011 | CONCUR | On Locality and the Exchange Law for Concurrent Processes. | C. A. R. Hoare, Akbar Hussain, Bernhard Mller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth |
| 2009 | CONCUR | Concurrent Kleene Algebra. | C. A. R. Hoare, Bernhard Mller, Georg Struth, Ian Wehrman |
| 2009 | MODELS | An extension for feature algebra. | Peter Hfner, Bernhard Mller |
| 2008 | MPC | Circulations, Fuzzy Relations and Semirings. | Roland Glck, Bernhard Mller |
| 2008 | SEFM | Algebraic View Reconciliation. | Peter Hfner, Ridha Khdri, Bernhard Mller |
| 2006 | FM | Feature Algebra. | Peter Hfner, Ridha Khdri, Bernhard Mller |
| 2006 | MPC | The Linear Algebra of UTP. | Bernhard Mller |
| 2004 | MPC | Lazy Kleene Algebra. | Bernhard Mller |
| 1998 | MPC | Layered Graph Traversals and Hamiltonian Path Problems - An Algebraic Approach. | Thomas Brunn, Bernhard Mller, Martin Russling |
| 1992 | MPC | Shorter Paths to Graph Algorithms. | Bernhard Mller, Martin Russling |
| 1990 | GI | Systematic Derivation of Pointer Algorithms. | Bernhard Mller |
| 1989 | MPC | Applicative Assertions. | Bernhard Mller |
| 1983 | GI | An Algebraic Semantics for Bachus' Functional Programming Language with Infinite Objects. | Walter Dosch, Bernhard Mller |
| 1983 | ICALP | An Algebraic Semantics for Busy (Data-Driven) and Lazy (Demand-Driven) Evaluation and its Application to a Functional Language. | Bernhard Mller |
| 1981 | GI | GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). | Manfred Broy, Walter Dosch, Bernhard Mller, Martin Wirsing |