Bernd Krieg-Brückner Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHui Shi, Bernd Krieg-Brückner: Qualitative Semantic Representations. KI 22(3): 59-61 (2008)
2007
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lüth, Bernd Krieg-Brückner: Sicherheit in der Künstlichen Intelligenz. KI 21(1): 51-52 (2007)
2006
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner, Hui Shi: Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. GIScience 2006: 234-250
2005
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner: Towards MultiMedia Instruction in Safe and Secure Systems. Mechanizing Mathematical Reasoning 2005: 379-395
2004
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell: Semantic Interrelation of Documents via an Ontology. DeLFI 2004: 271-282
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAchim Mahnke, Bernd Krieg-Brückner: Literate Ontology Development. OTM Workshops 2004: 753-757
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKlaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner: Ontologies for the Semantic Web in Casl. WADT 2004: 106-125
2003
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAxel 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
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEgidio 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
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen Werner, Bernd Krieg-Brückner, Theo Herrmann: Modelling Navigational Knowledge by Route Graphs. Spatial Cognition 2000: 295-316
1999
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner: TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. FASE 1999: 239-243
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTill Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner: Subsorted Partial Higher-Order Locig as an Extension of CASL. WADT 1999: 126-145
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner: UniForM Perspectives for Formal Methods. FM-Trends 1998: 251-265
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski: Permissive Subsorted Partial Logic in CASL. AMAST 1997: 91-107
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen 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
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTill Mossakowski, Kolyang, Bernd Krieg-Brückner: Static semantic analysis and theorem proving for CASL. WADT 1997: 333-348
1996
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian, Bernd Krieg-Brückner: Typed Object-Oriented Functional Programming with Late Binding. ECOOP 1996: 48-72
1995
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner: Seven Years of COMPASS. COMPASS/ADT 1995: 1-13
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhenyu Qian, Bernd Krieg-Brückner: Object-Oriented Functional Programming and Type Reconstruction. COMPASS/ADT 1995: 458-477
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff: Towards Correct, Efficient and Reusable Transformational Developments. KORSO Book 1995: 270-284
1994
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner: Foreword: Selected Papers of ESOP'92. Sci. Comput. Program. 22(3): 181-182 (1994)
1993
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBerthold Hoffmann, Bernd Krieg-Brückner: Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System Springer 1993
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi: Towards Correctness, Efficiency and Reusability of Transformational Developments. GI Jahrestagung 1993: 241-246
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner: A Language Family for Programming and Meta-Programming. PROSPECTRA Book 1993: 147-148
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner: Introduction. PROSPECTRA Book 1993: 3-34
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor: Uniform Transformational Development. PROSPECTRA Book 1993: 317-330
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunbo Liu, Bernd Krieg-Brückner: Transformation. PROSPECTRA Book 1993: 99-127
1992
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner: ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings Springer 1992
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJunbo Liu, Owen Traynor, Bernd Krieg-Brückner: Knowledge-Based Transfonnational Programming. SEKE 1992: 632-639
1991
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEinar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor: The PROSPECTRA System: A Unified Development Framework. AMAST 1991: 421-433
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner: Transformational Meta Program Development. Methods of Programming 1991: 19-33
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBerthold Hoffmann, Bernd Krieg-Brückner: The PROSPECTRA System. STACS 1991: 539-540
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBerthold Hoffmann, Bernd Krieg-Brückner: The PROSPECTRA System. VDM Europe (1) 1991: 668-669
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner: Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development. TAPSOFT, Vol.2 1989: 36-59
1988
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner: Algebraic Formalisation of Program Development by Transformation. ESOP 1988: 34-48
1987
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe: ANNA - A Language for Annotating Ada Programs, Reference Manual Springer 1987
1986
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner: Integration of Program Construction and Verification: The PROSPECTRA Methodology. System Development and Ada 1986: 173-194
1985
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich 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
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner: Transformation of Interface Specifications. ADT 1984: 156-170
1982
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner: Types in the Programming Language Ada. On Conceptual Modelling (Intervale) 1982: 385-408
1981
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd Krieg-Brückner: Ada and the German Pay Phone: An Illustrative Example of Parallel Processing. ECI 1981: 122-134
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManfred 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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFriedrich 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

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)