B
Bernd Krieg-Brückner
Researcher at University of Bremen
Publications - 92
Citations - 1869
Bernd Krieg-Brückner is an academic researcher from University of Bremen. The author has contributed to research in topics: Specification language & Algebraic specification. The author has an hindex of 23, co-authored 91 publications receiving 1820 citations. Previous affiliations of Bernd Krieg-Brückner include Stanford University & Technische Universität München.
Papers
More filters
Journal ArticleDOI
CASL: the common algebraic specification language
Egidio Astesiano,Michel Bidoit,Hélène Kirchner,Bernd Krieg-Brückner,Peter D. Mosses,Donald Sannella,Andrzej Tarlecki +6 more
TL;DR: An overview of the CASL design is given, and all the main concepts and constructs of CASL are briefly explained and illustrated -- the reader is referred to the CASl Language Summary for further details.
Book ChapterDOI
Spatial Cognition: The Role of Landmark, Route, and Survey Knowledge in Human and Robot Navigation
TL;DR: An overview of the interdisciplinary DFG priority program on spatial cognition is given and one specific theme which was the topic of a recent workshop in Gottingen is presented in some more detail.
Book ChapterDOI
Modelling Navigational Knowledge by Route Graphs
TL;DR: A simple, abstract formalism is presented to express the key concepts of route-based navigation in a common scientific language and develops the notion of a route graph, which can serve as the basis for complex navigational knowledge.
Book
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L
Friedrich L. Bauer,R. Berghammer,Manfred Broy,Walter Dosch,F. Geiselbrechtinger,Rupert Gnatz,E. Hangel,Wolfgang Hesse,Bernd Krieg-Brückner,Alfred Laut,T. Matzner,Bernhard Möller,Friederike Nickl,Helmuth Partsch,Peter Pepper,K. Samelson,Martin Wirsing,Hans Wössner +17 more
TL;DR: A good way to break the boredom in reading is choosing the munich project cip vol i the wide spectrum language cip l as the reading material.
Journal ArticleDOI
The “Intelligent Container”—A Cognitive Sensor Network for Transport Management
Walter Lang,Reiner Jedermann,Damian Mrugala,Amir Jabbari,Bernd Krieg-Brückner,Kerstin Schill +5 more
TL;DR: The “Intelligent Container” is a sensor network used for the management of logistic processes, especially for perishable goods such as fruit and vegetables, and can make use of several algorithms in order to estimate temperature related quality losses, detect malfunctioning sensors, and to control the sensor density and measurement intervals.