Bernd Krieg-Brückner

	2009
55		Christian Mandel, Thorsten Lüth, Tim Laue, Thomas Röfer, Axel Gräser, Bernd Krieg-Brückner: Navigating a smart wheelchair with a brain-computer interface interpreting steady-state visual evoked potentials. IROS 2009: 1118-1125
	2008
54		Hui Shi, Bernd Krieg-Brückner: Qualitative Semantic Representations. KI 22(3): 59-61 (2008)
	2007
53		Christoph Lüth, Bernd Krieg-Brückner: Sicherheit in der Künstlichen Intelligenz. KI 21(1): 51-52 (2007)
	2006
52		Bernd Krieg-Brückner, Hui Shi: Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. GIScience 2006: 234-250
	2005
51		Bernd Krieg-Brückner: Towards MultiMedia Instruction in Safe and Secure Systems. Mechanizing Mathematical Reasoning 2005: 379-395
	2004
50		Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky: Spatial Cognition IV: Reasoning, Action, Interaction, International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, RevisedSelected Papers Springer 2004
49		Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell: Semantic Interrelation of Documents via an Ontology. DeLFI 2004: 271-282
48		Achim Mahnke, Bernd Krieg-Brückner: Literate Ontology Development. OTM Workshops 2004: 753-757
47		Bernd Krieg-Brückner, Udo Frese, Klaus Lüttich, Christian Mandel, Till Mossakowski, Robert J. Ross: Specification of an Ontology for Route Graphs. Spatial Cognition 2004: 390-412
46		Robert J. Ross, Hui Shi, Tillman Vierhuff, Bernd Krieg-Brückner, John A. Bateman: Towards Dialogue Based Shared Control of Navigating Robots. Spatial Cognition 2004: 478-499
45		Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner: Ontologies for the Semantic Web in Casl. WADT 2004: 106-125
	2003
44		Axel Lankenau, Thomas Röfer, Bernd Krieg-Brückner: Self-localization in Large-Scale Environments for the Bremen Autonomous Wheelchair. Spatial Cognition 2003: 34-61
	2002
43		Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing: MultiMedia Instruction in Safe and Secure Systems. WADT 2002: 82-117
42		Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki: CASL: the Common Algebraic Specification Language. Theor. Comput. Sci. 286(2): 153-196 (2002)
	2000
41		Steffen Werner, Bernd Krieg-Brückner, Theo Herrmann: Modelling Navigational Knowledge by Route Graphs. Spatial Cognition 2000: 295-316
	1999
40		Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner: TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. FASE 1999: 239-243
39		Till Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner: Subsorted Partial Higher-Order Locig as an Extension of CASL. WADT 1999: 126-145
38		Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer: The UniForM Workbench, a Universal Development Environment for Formal Methods. World Congress on Formal Methods 1999: 1186-1205
	1998
37		Bernd Krieg-Brückner: UniForM Perspectives for Formal Methods. FM-Trends 1998: 251-265
36		Bernd Krieg-Brückner, Thomas Röfer, Hans-Otto Carmesin, Rolf Müller: A Taxonomy of Spatial Knowledge for Navigation and its Application to the Bremen Autonomous Wheelchair. Spatial Cognition 1998: 373-398
	1997
35		Maura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski: Permissive Subsorted Partial Logic in CASL. AMAST 1997: 91-107
34		Steffen Werner, Bernd Krieg-Brückner, Hanspeter A. Mallot, Karin Schweizer, Christian Freksa: Spatial Cognition: The Role of Landmark, Route, and Survey Knowledge in Human and Robot Navigation. GI Jahrestagung 1997: 41-50
33		Till Mossakowski, Kolyang, Bernd Krieg-Brückner: Static semantic analysis and theorem proving for CASL. WADT 1997: 333-348
	1996
32		Zhenyu Qian, Bernd Krieg-Brückner: Typed Object-Oriented Functional Programming with Late Binding. ECOOP 1996: 48-72
	1995
31		Bernd Krieg-Brückner: Seven Years of COMPASS. COMPASS/ADT 1995: 1-13
30		Zhenyu Qian, Bernd Krieg-Brückner: Object-Oriented Functional Programming and Type Reconstruction. COMPASS/ADT 1995: 458-477
29		Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff: Towards Correct, Efficient and Reusable Transformational Developments. KORSO Book 1995: 270-284
	1994
28		Bernd Krieg-Brückner: Foreword: Selected Papers of ESOP'92. Sci. Comput. Program. 22(3): 181-182 (1994)
	1993
27		Berthold Hoffmann, Bernd Krieg-Brückner: Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System Springer 1993
26		Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi: Towards Correctness, Efficiency and Reusability of Transformational Developments. GI Jahrestagung 1993: 241-246
25		Bernd Krieg-Brückner: A Language Family for Programming and Meta-Programming. PROSPECTRA Book 1993: 147-148
24		Bernd Krieg-Brückner: Introduction. PROSPECTRA Book 1993: 3-34
23		Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor: Uniform Transformational Development. PROSPECTRA Book 1993: 317-330
22		Junbo Liu, Bernd Krieg-Brückner: Transformation. PROSPECTRA Book 1993: 99-127
	1992
21		Bernd Krieg-Brückner: ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings Springer 1992
20		Junbo Liu, Owen Traynor, Bernd Krieg-Brückner: Knowledge-Based Transfonnational Programming. SEKE 1992: 632-639
	1991
19		Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor: The PROSPECTRA System: A Unified Development Framework. AMAST 1991: 421-433
18		Bernd Krieg-Brückner: Transformational Meta Program Development. Methods of Programming 1991: 19-33
17		Berthold Hoffmann, Bernd Krieg-Brückner: The PROSPECTRA System. STACS 1991: 539-540
16		Bernd Krieg-Brückner, Donald Sannella: Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. TAPSOFT, Vol.2 1991: 313-336
15		Berthold Hoffmann, Bernd Krieg-Brückner: The PROSPECTRA System. VDM Europe (1) 1991: 668-669
14		Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor: The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. VDM Europe (2) 1991: 363-397
	1989
13		Bernd Krieg-Brückner: Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development. TAPSOFT, Vol.2 1989: 36-59
	1988
12		Bernd Krieg-Brückner: Algebraic Formalisation of Program Development by Transformation. ESOP 1988: 34-48
	1987
11		David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe: ANNA - A Language for Annotating Ada Programs, Reference Manual Springer 1987
	1986
10		Bernd Krieg-Brückner: Integration of Program Construction and Verification: The PROSPECTRA Methodology. System Development and Ada 1986: 173-194
	1985
9		Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner: The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L Springer 1985
	1984
8		Bernd Krieg-Brückner: Transformation of Interface Specifications. ADT 1984: 156-170
	1982
7		Bernd Krieg-Brückner: Types in the Programming Language Ada. On Conceptual Modelling (Intervale) 1982: 385-408
	1981
6		Bernd Krieg-Brückner: Ada and the German Pay Phone: An Illustrative Example of Parallel Processing. ECI 1981: 122-134
5		Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner: Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 1(1-2): 73-114 (1981)
	1980
4		Jean Ichbiah, John G. P. Barnes, J. C. Heliard, Bernd Krieg-Brückner, Olivier Roubine, Brian A. Wichmann: Modules and Visibility in the Ada Programming Language. On the Construction of Programs 1980: 153-192
3		Manfred Broy, Bernd Krieg-Brückner: Derivation of Invariant Assertions During Program Development by Transformation. ACM Trans. Program. Lang. Syst. 2(3): 321-337 (1980)
	1978
2		Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner: Towards a wide spectrum language to support program specification and program development. Fachtagung über Programmiersprachen 1978: 73-85
1		Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner: Towards a Wide Spectrum Language to Support Program Specification and Program Development. Program Construction 1978: 543-552

Coauthor Index

1	Egidio Astesiano	[42]
2	Alexander Baer	[38]
3	Thomas Barkowsky	[50]
4	John G. P. Barnes	[4]
5	John A. Bateman	[46]
6	Friedrich L. Bauer	[1] [2] [5] [9]
7	Rudolf Berghammer	[9]
8	Michel Bidoit	[42]
9	Manfred Broy	[1] [2] [3] [5] [9]
10	Hans-Otto Carmesin	[36]
11	Maura Cerioli	[35]
12	Walter Dosch	[5] [9]
13	Christian Freksa	[34] [50]
14	Udo Frese	[47]
15	Franz Geiselbrechtinger	[9]
16	Rupert Gnatz	[1] [2] [5] [9]
17	Axel Gräser (Axel Graeser)	[55]
18	E. Hangel	[9]
19	Anne Elisabeth Haxthausen	[35] [39]
20	J. C. Heliard	[4]
21	Friedrich W. von Henke	[11]
22	Theo Herrmann	[41]
23	Wolfgang Hesse	[1] [2] [9]
24	Berthold Hoffmann	[15] [17] [27]
25	Dieter Hutter	[43]
26	Jean Ichbiah	[4]
27	Einar W. Karlsen	[14] [19] [23]
28	Hélène Kirchner	[42]
29	Markus Knauff	[50]
30	Kolyang	[33] [40]
31	Axel Lankenau	[44]
32	Tim Laue	[55]
33	Alfred Laut	[5] [9]
34	Arne Lindow	[43] [49]
35	Junbo Liu	[14] [20] [22] [23] [26] [29]
36	David C. Luckham	[11]
37	M. Luckmann	[5]
38	Christoph Lüth	[40] [43] [49] [53]
39	Thorsten Lüth	[55]
40	Klaus Lüttich	[45] [47]
41	Achim Mahnke	[43] [48] [49]
42	Hanspeter A. Mallot	[34]
43	Christian Mandel	[47] [55]
44	Thomas Matzner	[5] [9]
45	Philipp Meier	[43]
46	Erica Melis	[43]
47	Bernhard Möller	[5] [9]
48	Till Mossakowski	[33] [35] [39] [45] [47]
49	Peter D. Mosses	[42]
50	Rolf Müller	[36]
51	Bernhard Nebel	[50]
52	Friederike Nickl	[9]
53	Ernst-Rüdiger Olderog	[38]
54	Olaf Owe	[11]
55	Helmuth Partsch	[1] [5] [9]
56	Jan Peleska	[38]
57	Peter Pepper	[1] [5] [9]
58	Arnd Poetzsch-Heffter	[43]
59	Zhenyu Qian	[30] [32]
60	Thomas Röfer	[36] [44] [55]
61	Markus Roggenbach	[43]
62	Robert J. Ross	[46] [47]
63	Olivier Roubine	[4]
64	George Russell	[43] [49]
65	Klaus Samelson	[5] [9]
66	Donald Sannella	[16] [42]
67	Karin Schweizer	[34]
68	Hui Shi	[26] [29] [46] [52] [54]
69	Jan-Georg Smaus	[43]
70	Ralf Steinbrüggen	[5]
71	Andrzej Tarlecki	[42]
72	Haykal Tej	[40]
73	Owen Traynor	[14] [19] [20] [23]
74	Tillman Vierhuff	[46]
75	Steffen Werner	[34] [41]
76	Brian A. Wichmann	[4]
77	Martin Wirsing	[5] [9] [43]
78	Burkhart Wolff	[26] [29]
79	Hans Wössner	[1] [5] [9]

Colors in the list of coauthors