| 2015 | MPC | Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets. | Rudolf Berghammer |
| 2015 | MPC | A Relation-Algebraic Approach to Multirelations and Predicate Transformers. | Rudolf Berghammer, Walter Guttmann |
| 2014 | CASC | Relation Algebra, RelView, and Plurality Voting. | Rudolf Berghammer |
| 2011 | CASC | Computations on Simple Games Using RelView. | Rudolf Berghammer, Agnieszka Rusinowska, Harrie C. M. de Swart |
| 2010 | GECCO | Set-based multi-objective optimization, indicators, and deteriorative cycles. | Rudolf Berghammer, Tobias Friedrich, Frank Neumann |
| 2010 | MPC | On Automated Program Construction and Verification. | Rudolf Berghammer, Georg Struth |
| 2009 | CASC | Computing and Visualizing Closure Objects Using Relation Algebra and RelView. | Rudolf Berghammer, Bernd Brael |
| 2007 | CASC | Algebraic Visualization of Relations Using RelView. | Rudolf Berghammer, Gunther Schmidt |
| 2006 | CASC | Solving Algorithmic Problems on Orders and Lattices by Relation Algebra and RelView. | Rudolf Berghammer |
| 2005 | CASC | RelView - An OBDD-Based Computer Algebra System for Relations. | Rudolf Berghammer, Frank Neumann |
| 2005 | ICFP | From functional to object-oriented programming: a smooth transition for beginners. | Rudolf Berghammer, Frank Huch |
| 2003 | LOPSTR | Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. | Rudolf Berghammer, Markus Mller-Olm |
| 2002 | LOPSTR | A Generic Program for Minimal Subsets with Applications. | Rudolf Berghammer |
| 1998 | FASE | RELVIEW - A System for Calculating With Relations and Relational Programming. | Ralf Behnke, Rudolf Berghammer, Erich Meyer, Peter Schneider |
| 1998 | MPC | Relation-Algebraic Derivation of Spanning Tree Algorithms. | Rudolf Berghammer, Burghard von Karger, Andreas Wolf |
| 1996 | TACAS | Realtion-Algebraic Analysis of Petri Nets with RELVIEW. | Rudolf Berghammer, Burghard von Karger, Christiane Ulke |
| 1995 | MPC | Formal Derivation of CSP Programs From Temporal Specifications. | Rudolf Berghammer, Burghard von Karger |
| 1991 | STACS | The RELVIEW-System. | Rudolf Berghammer, Gunther Schmidt |
| 1987 | STACS | Describing Semantic Domains with Sprouts. | Gunther Schmidt, Rudolf Berghammer, Hans Zierer |
| 1987 | WG | Development of Several Reachability Algorithms for Directed Graphs. | Rudolf Berghammer, Herbert Ehler, Hans Zierer |
| 1986 | WG | An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra. | Hans Zierer, Gunther Schmidt, Rudolf Berghammer |
| 1982 | WG | A Relational View on Gotos and Dynamic Logic. | Rudolf Berghammer, Gunther Schmidt |