Bernd Krieg-Brückner
Person information
- affiliation: University of Bremen, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j11]Till Mossakowski, Bernd Krieg-Brückner:
Partial pushout semantics of generics in DOL. Theor. Comput. Sci. 741: 58-70 (2018) - 2017
- [c49]Bernd Krieg-Brückner, Till Mossakowski:
Generic Ontologies and Generic Ontology Design Patterns. WOP@ISWC 2017 - 2016
- [c48]Bernd Krieg-Brückner:
Generic Ontology Design Patterns: Qualitatively Graded Configuration. KSEM 2016: 580-595 - 2015
- [j10]Bernd Krieg-Brückner:
The photo of Prof. Dr. Bernd Krieg-Bruckner with signature. Int. J. Software and Informatics 9(2) (2015) - [j9]Bernd Krieg-Brückner:
Chinese University Development Project. Int. J. Software and Informatics 9(2): 95-111 (2015) - [j8]Christoph Stahl, Bernd Krieg-Brückner, Wolfgang L. Zagler, Björn Gottfried:
Introduction to the thematic issue on Mobility. JAISE 7(5): 603-604 (2015) - [c47]Bernd Krieg-Brückner, Serge Autexier, Martin Rink, Sidoine Ghomsi Nokam:
Formal Modelling for Cooking Assistance. Software, Services, and Systems 2015: 355-376 - 2010
- [c46]
- [c45]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 - [c44]Carsten Fischer, Hui Shi, 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
2000 – 2009
- 2009
- [c43]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 - [c42]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 - [p4]Bernd Krieg-Brückner, Hui Shi:
Spatio-Temporal Situated Interaction in Ambient Assisted Living. Human Centered Robot Systems, Cognition, Interaction, Technology 2009: 205-214 - 2008
- [j7]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) - [j6]
- 2007
- [j5]Christoph Lüth, Bernd Krieg-Brückner:
Sicherheit in der Künstlichen Intelligenz. KI 21(1): 51-52 (2007) - 2006
- [c41]Bernd Krieg-Brückner, Hui Shi:
Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. GIScience 2006: 234-250 - 2005
- [c40]Bernd Krieg-Brückner:
Towards MultiMedia Instruction in Safe and Secure Systems. Mechanizing Mathematical Reasoning 2005: 379-395 - 2004
- [c39]Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell:
Semantic Interrelation of Documents via an Ontology. DeLFI 2004: 271-282 - [c38]
- [c37]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 - [c36]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 - [c35]Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner:
Ontologies for the Semantic Web in Casl. WADT 2004: 106-125 - [e4]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. Lecture Notes in Computer Science 3343, Springer 2004, ISBN 3-540-25048-4 [contents] - 2003
- [c34]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
- [j4]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) - [c33]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 - 2000
- [c32]Steffen Werner, Bernd Krieg-Brückner, Theo Herrmann:
Modelling Navigational Knowledge by Route Graphs. Spatial Cognition 2000: 295-316
1990 – 1999
- 1999
- [c31]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 - [c30]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 - [c29]Till Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner:
Subsorted Partial Higher-Order Locig as an Extension of CASL. WADT 1999: 126-145 - [p3]David A. Basin, Bernd Krieg-Brückner:
Formalization of the Development Process. Algebraic Foundations of Systems Specification 1999: 521-562 - [e3]Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner:
Algebraic Foundations of Systems Specification. IFIP State-of-the-Art Reports, Springer 1999, ISBN 978-3-642-64151-0 [contents] - 1998
- [c28]
- [c27]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
- [c26]Maura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski:
Permissive Subsorted Partial Logic in CASL. AMAST 1997: 91-107 - [c25]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 - [c24]Till Mossakowski, Kolyang, Bernd Krieg-Brückner:
Static semantic analysis and theorem proving for CASL. WADT 1997: 333-348 - 1996
- [c23]Zhenyu Qian, Bernd Krieg-Brückner:
Typed Object-Oriented Functional Programming with Late Binding. ECOOP 1996: 48-72 - 1995
- [c22]
- [c21]Zhenyu Qian, Bernd Krieg-Brückner:
Object-Oriented Functional Programming and Type Reconstruction. COMPASS/ADT 1995: 458-477 - [p2]Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff:
Towards Correct, Efficient and Reusable Transformational Developments. KORSO Book 1995: 270-284 - 1994
- [j3]Bernd Krieg-Brückner:
Foreword: Selected Papers of ESOP'92. Sci. Comput. Program. 22(3): 181-182 (1994) - 1993
- [c20]Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi:
Towards Correctness, Efficiency and Reusability of Transformational Developments. GI Jahrestagung 1993: 241-246 - [c19]
- [c18]
- [c17]Bernd Krieg-Brückner:
A Language Family for Programming and Meta-Programming. PROSPECTRA Book 1993: 147-148 - [c16]Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor:
Uniform Transformational Development. PROSPECTRA Book 1993: 317-330 - [e2]Berthold Hoffmann, Bernd Krieg-Brückner:
Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. Lecture Notes in Computer Science 680, Springer 1993, ISBN 3-540-56733-X [contents] - 1992
- [c15]Junbo Liu, Owen Traynor, Bernd Krieg-Brückner:
Knowledge-Based Transfonnational Programming. SEKE 1992: 632-639 - [e1]Bernd Krieg-Brückner:
ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings. Lecture Notes in Computer Science 582, Springer 1992, ISBN 3-540-55253-7 [contents] - 1991
- [c14]Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor:
The PROSPECTRA System: A Unified Development Framework. AMAST 1991: 421-433 - [c13]
- [c12]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 - [c11]
- [c10]
- [c9]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
1980 – 1989
- 1989
- [c8]Bernd Krieg-Brückner:
Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development. TAPSOFT, Vol.2 1989: 36-59 - 1988
- [c7]Bernd Krieg-Brückner:
Algebraic Formalisation of Program Development by Transformation. ESOP 1988: 34-48 - 1987
- [b2]David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe:
ANNA - A Language for Annotating Ada Programs, Reference Manual. Lecture Notes in Computer Science 260, Springer 1987, ISBN 3-540-17980-1 - 1986
- [c6]Bernd Krieg-Brückner:
Integration of Program Construction and Verification: The PROSPECTRA Methodology. System Development and Ada 1986: 173-194 - 1985
- [b1]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. Lecture Notes in Computer Science 183, Springer 1985, ISBN 3-540-15187-7 - 1984
- [c5]
- 1982
- [c4]Bernd Krieg-Brückner:
Types in the Programming Language Ada. On Conceptual Modelling (Intervale) 1982: 385-408 - 1981
- [j2]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) - [c3]Bernd Krieg-Brückner:
Ada and the German Pay Phone: An Illustrative Example of Parallel Processing. ECI 1981: 122-134 - 1980
- [j1]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) - [p1]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
1970 – 1979
- 1978
- [c2]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 - [c1]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
Coauthor Index
last updated on 2019-01-09 01:02 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint