| 2006 |
|---|
| 52 | EE | Bernd Krieg-Brückner,
Hui Shi:
Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions.
GIScience 2006: 234-250 |
| 2005 |
|---|
| 51 | EE | 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 | EE | Achim Mahnke,
Bernd Krieg-Brückner:
Literate Ontology Development.
OTM Workshops 2004: 753-757 |
| 47 | EE | 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 | EE | 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 | EE | Klaus Lüttich,
Till Mossakowski,
Bernd Krieg-Brückner:
Ontologies for the Semantic Web in Casl.
WADT 2004: 106-125 |
| 2003 |
|---|
| 44 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
