Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarBernd 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
2010 – 2019
- 2019
[c52]Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski:
Extensions of Generic DOL for Generic Ontology Design Patterns. JOWO 2019- [c51]Bernd Krieg-Brückner, Till Mossakowski, Fabian Neuhaus:
Generic Ontology Design Patterns at Work. JOWO 2019 - [c50]Bernd Krieg-Brückner, Mihai Codescu
:
Deducing Qualitative Capabilities with Generic Ontology Design Patterns. ROBOT (1) 2019: 391-403 - [i2]Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski:
Extensions of Generic DOL for Generic Ontology Design Patterns. CoRR abs/1906.06275 (2019) - [i1]Bernd Krieg-Brückner, Till Mossakowski, Fabian Neuhaus:
Generic Ontology Design Patterns at Work. CoRR abs/1906.08724 (2019) - 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. J. Ambient Intell. Smart Environ. 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]Hui Shi, Cui Jian, Bernd Krieg-Brückner:
Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots. ACHI 2010: 1-6 - [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]Hui Shi, Bernd Krieg-Brückner:
Qualitative Semantic Representations. KI 22(3): 59-61 (2008) - 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]Achim Mahnke, Bernd Krieg-Brückner:
Literate Ontology Development. OTM Workshops 2004: 753-757 - [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 E. 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]Bernd Krieg-Brückner:
UniForM Perspectives for Formal Methods. FM-Trends 1998: 251-265 - [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 E. 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]Bernd Krieg-Brückner:
Seven Years of COMPASS. COMPASS/ADT 1995: 1-13 - [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]Bernd Krieg-Brückner:
Introduction. PROSPECTRA Book 1993: 3-34 - [c18]Junbo Liu, Bernd Krieg-Brückner:
Transformation. PROSPECTRA Book 1993: 99-127 - [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]Bernd Krieg-Brückner:
Transformational Meta Program Development. Methods of Programming 1991: 19-33 - [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]Berthold Hoffmann, Bernd Krieg-Brückner:
The PROSPECTRA System. VDM Europe (1) 1991: 668-669 - [c10]Berthold Hoffmann, Bernd Krieg-Brückner:
The PROSPECTRA System. STACS 1991: 539-540 - [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]Bernd Krieg-Brückner:
Transformation of Interface Specifications. ADT 1984: 156-170 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-06-17 01:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
