dblp.uni-trier.dewww.uni-trier.de

Bernd Krieg-Brückner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2006
52EEBernd Krieg-Brückner, Hui Shi: Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. GIScience 2006: 234-250
2005
51EEBernd 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
48EEAchim Mahnke, Bernd Krieg-Brückner: Literate Ontology Development. OTM Workshops 2004: 753-757
47EEBernd 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
46EERobert 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
45EEKlaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner: Ontologies for the Semantic Web in Casl. WADT 2004: 106-125
2003
44EEAxel 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
43EEBernd 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
41EESteffen 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
38EEBernd 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
36EEBernd 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
32EEZhenyu 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
20EEJunbo 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
3EEManfred 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

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]
17E. Hangel [9]
18Anne Elisabeth Haxthausen [35] [39]
19J. C. Heliard [4]
20Friedrich W. von Henke [11]
21Theo Herrmann [41]
22Wolfgang Hesse [1] [2] [9]
23Berthold Hoffmann [15] [17] [27]
24Dieter Hutter [43]
25Jean Ichbiah [4]
26Einar W. Karlsen [14] [19] [23]
27Hélène Kirchner [42]
28Markus Knauff [50]
29 Kolyang [33] [40]
30Axel Lankenau [44]
31Alfred Laut [5] [9]
32Arne Lindow [43] [49]
33Junbo Liu [14] [20] [22] [23] [26] [29]
34David C. Luckham [11]
35M. Luckmann [5]
36Christoph Lüth [40] [43] [49]
37Klaus Lüttich [45] [47]
38Achim Mahnke [43] [48] [49]
39Hanspeter A. Mallot [34]
40Christian Mandel [47]
41Thomas Matzner [5] [9]
42Philipp Meier [43]
43Erica Melis [43]
44Bernhard Möller [5] [9]
45Till Mossakowski [33] [35] [39] [45] [47]
46Peter D. Mosses [42]
47Rolf Müller [36]
48Bernhard Nebel [50]
49Friederike Nickl [9]
50Ernst-Rüdiger Olderog [38]
51Olaf Owe [11]
52Helmuth Partsch [1] [5] [9]
53Jan Peleska [38]
54Peter Pepper [1] [5] [9]
55Arnd Poetzsch-Heffter [43]
56Zhenyu Qian [30] [32]
57Thomas Röfer [36] [44]
58Markus Roggenbach [43]
59Robert J. Ross [46] [47]
60Olivier Roubine [4]
61George Russell [43] [49]
62Klaus Samelson [5] [9]
63Donald Sannella [16] [42]
64Karin Schweizer [34]
65Hui Shi [26] [29] [46] [52]
66Jan-Georg Smaus [43]
67Ralf Steinbrüggen [5]
68Andrzej Tarlecki [42]
69Haykal Tej [40]
70Owen Traynor [14] [19] [20] [23]
71Tillman Vierhuff [46]
72Steffen Werner [34] [41]
73Brian A. Wichmann [4]
74Martin Wirsing [5] [9] [43]
75Burkhart Wolff [26] [29]
76Hans Wössner [1] [5] [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)