Bernd Krieg-Brückner

	2010
60		Hui Shi, Cui Jian, Bernd Krieg-Brückner: Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots. ACHI 2010: 1-6
59		Jochen Frey, Christoph Stahl, Thomas Röfer, Bernd Krieg-Brückner, Jan Alexandersson: The DFKI Competence Center for Ambient Assisted Living. AmI 2010: 310-314
58		Carsten Fischer, Shi Hui, Cui Jian, Frank Schafmeister, Nils Menrad, Nicole von Steinbüchel, Kerstin Schill, Bernd Krieg-Brückner: Modelling user Behaviour While Driving an Intelligent Wheelchair. HEALTHINF 2010: 330-336
	2009
57		Cui Jian, Hui Shi, Bernd Krieg-Brückner: SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems 2009: 47-48
56		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
55		Hui Shi, Bernd Krieg-Brückner: Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks. Int. J. Software and Informatics 2(1): 33-60 (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	Jan Alexandersson	[59]
2	Egidio Astesiano	[42]
3	Alexander Baer	[38]
4	Thomas Barkowsky	[50]
5	John G. P. Barnes	[4]
6	John A. Bateman	[46]
7	Friedrich L. Bauer	[1] [2] [5] [9]
8	Rudolf Berghammer	[9]
9	Michel Bidoit	[42]
10	Manfred Broy	[1] [2] [3] [5] [9]
11	Hans-Otto Carmesin	[36]
12	Maura Cerioli	[35]
13	Walter Dosch	[5] [9]
14	Carsten Fischer	[58]
15	Christian Freksa	[34] [50]
16	Udo Frese	[47]
17	Jochen Frey	[59]
18	Franz Geiselbrechtinger	[9]
19	Rupert Gnatz	[1] [2] [5] [9]
20	Axel Gräser (Axel Graeser)	[56]
21	E. Hangel	[9]
22	Anne Elisabeth Haxthausen	[35] [39]
23	J. C. Heliard	[4]
24	Friedrich W. von Henke	[11]
25	Theo Herrmann	[41]
26	Wolfgang Hesse	[1] [2] [9]
27	Berthold Hoffmann	[15] [17] [27]
28	Shi Hui	[58]
29	Dieter Hutter	[43]
30	Jean Ichbiah	[4]
31	Cui Jian	[57] [58] [60]
32	Einar W. Karlsen	[14] [19] [23]
33	Hélène Kirchner	[42]
34	Markus Knauff	[50]
35	Kolyang	[33] [40]
36	Axel Lankenau	[44]
37	Tim Laue	[56]
38	Alfred Laut	[5] [9]
39	Arne Lindow	[43] [49]
40	Junbo Liu	[14] [20] [22] [23] [26] [29]
41	David C. Luckham	[11]
42	M. Luckmann	[5]
43	Christoph Lüth	[40] [43] [49] [53]
44	Thorsten Lüth	[56]
45	Klaus Lüttich	[45] [47]
46	Achim Mahnke	[43] [48] [49]
47	Hanspeter A. Mallot	[34]
48	Christian Mandel	[47] [56]
49	Thomas Matzner	[5] [9]
50	Philipp Meier	[43]
51	Erica Melis	[43]
52	Nils Menrad	[58]
53	Bernhard Möller	[5] [9]
54	Till Mossakowski	[33] [35] [39] [45] [47]
55	Peter D. Mosses	[42]
56	Rolf Müller	[36]
57	Bernhard Nebel	[50]
58	Friederike Nickl	[9]
59	Ernst-Rüdiger Olderog	[38]
60	Olaf Owe	[11]
61	Helmuth Partsch	[1] [5] [9]
62	Jan Peleska	[38]
63	Peter Pepper	[1] [5] [9]
64	Arnd Poetzsch-Heffter	[43]
65	Zhenyu Qian	[30] [32]
66	Thomas Röfer	[36] [44] [56] [59]
67	Markus Roggenbach	[43]
68	Robert J. Ross	[46] [47]
69	Olivier Roubine	[4]
70	George Russell	[43] [49]
71	Klaus Samelson	[5] [9]
72	Donald Sannella	[16] [42]
73	Frank Schafmeister	[58]
74	Kerstin Schill	[58]
75	Karin Schweizer	[34]
76	Hui Shi	[26] [29] [46] [52] [54] [55] [57] [60]
77	Jan-Georg Smaus	[43]
78	Christoph Stahl	[59]
79	Ralf Steinbrüggen	[5]
80	Nicole von Steinbüchel-Rheinwall (Nicole von Steinbüchel)	[58]
81	Andrzej Tarlecki	[42]
82	Haykal Tej	[40]
83	Owen Traynor	[14] [19] [20] [23]
84	Tillman Vierhuff	[46]
85	Steffen Werner	[34] [41]
86	Brian A. Wichmann	[4]
87	Martin Wirsing	[5] [9] [43]
88	Burkhart Wolff	[26] [29]
89	Hans Wössner	[1] [5] [9]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page