| 2016 | KSEM | Generic Ontology Design Patterns: Qualitatively Graded Configuration. | Bernd Krieg-Brckner |
| 2010 | ACHI | Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots. | Hui Shi, Cui Jian, Bernd Krieg-Brckner |
| 2009 | IROS | Navigating a smart wheelchair with a brain-computer interface interpreting steady-state visual evoked potentials. | Christian Mandel, Thorsten Lth, Tim Laue, Thomas Rfer, Axel Grser, Bernd Krieg-Brckner |
| 1999 | FASE | TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. | Christoph Lth, Haykal Tej, Kolyang, Bernd Krieg-Brckner |
| 1999 | FM | The UniForM Workbench, a Universal Development Environment for Formal Methods. | Bernd Krieg-Brckner, Jan Peleska, Ernst-Rdiger Olderog, Alexander Baer |
| 1998 | FM | UniForM Perspectives for Formal Methods. | Bernd Krieg-Brckner |
| 1997 | GI | Spatial Cognition: The Role of Landmark, Route, and Survey Knowledge in Human and Robot Navigation. | Steffen Werner, Bernd Krieg-Brckner, Hanspeter A. Mallot, Karin Schweizer, Christian Freksa |
| 1996 | ECOOP | Typed Object-Oriented Functional Programming with Late Binding. | Zhenyu Qian, Bernd Krieg-Brckner |
| 1995 | COMPASS | Seven Years of COMPASS. | Bernd Krieg-Brckner |
| 1995 | COMPASS | Object-Oriented Functional Programming and Type Reconstruction. | Zhenyu Qian, Bernd Krieg-Brckner |
| 1993 | GI | Towards Correctness, Efficiency and Reusability of Transformational Developments. | Bernd Krieg-Brckner, Junbo Liu, Burkhart Wolff, Hui Shi |
| 1992 | SEKE | Knowledge-Based Transfonnational Programming. | Junbo Liu, Owen Traynor, Bernd Krieg-Brckner |
| 1991 | FM | The PROSPECTRA System. | Berthold Hoffmann, Bernd Krieg-Brckner |
| 1991 | FM | The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. | Bernd Krieg-Brckner, Einar W. Karlsen, Junbo Liu, Owen Traynor |
| 1991 | STACS | The PROSPECTRA System. | Berthold Hoffmann, Bernd Krieg-Brckner |
| 1988 | ESOP | Algebraic Formalisation of Program Development by Transformation. | Bernd Krieg-Brckner |