| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hui Shi, Cui Jian, Bernd Krieg-Brückner |
Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots.  |
ACHI  |
2010 |
DBLP DOI BibTeX RDF |
qualitative spatial representation and reasoning, mode confusion, user focus, human-robot interaction |
| 1 | Jochen Frey, Christoph Stahl, Thomas Röfer, Bernd Krieg-Brückner, Jan Alexandersson |
The DFKI Competence Center for Ambient Assisted Living. |
AmI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Fischer, Shi Hui, Cui Jian, Frank Schafmeister, Nils Menrad, Nicole V. Steinbüchel, Kerstin Schill, Bernd Krieg-Brückner |
Modelling user Behaviour While Driving an Intelligent Wheelchair. |
HEALTHINF |
2010 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Hui Shi, Bernd Krieg-Brückner |
Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks. |
Int. J. Software and Informatics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hui Shi, Bernd Krieg-Brückner |
Qualitative Semantic Representations. |
KI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Christoph Lüth, Bernd Krieg-Brückner |
Sicherheit in der Künstlichen Intelligenz. |
KI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner, Hui Shi |
Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. |
GIScience |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner |
Towards MultiMedia Instruction in Safe and Secure Systems. |
Mechanizing Mathematical Reasoning |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim Mahnke, Bernd Krieg-Brückner |
Literate Ontology Development. |
OTM Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky (eds.) |
Spatial Cognition IV: Reasoning, Action, Interaction, International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, RevisedSelected Papers |
Spatial Cognition |
2004 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner |
Ontologies for the Semantic Web in Casl. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell |
Semantic Interrelation of Documents via an Ontology. |
DeLFI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Axel Lankenau, Thomas Röfer, Bernd Krieg-Brückner |
Self-localization in Large-Scale Environments for the Bremen Autonomous Wheelchair. |
Spatial Cognition |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Werner, Bernd Krieg-Brückner, Theo Herrmann |
Modelling Navigational Knowledge by Route Graphs. |
Spatial Cognition |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner |
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. |
FASE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner |
Subsorted Partial Higher-Order Locig as an Extension of CASL. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner |
UniForM Perspectives for Formal Methods. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Maura Cerioli, Anne Elisabeth Haxthausen, Bernd Krieg-Brückner, Till Mossakowski |
Permissive Subsorted Partial Logic in CASL. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski, Kolyang, Bernd Krieg-Brückner |
Static semantic analysis and theorem proving for CASL. |
WADT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Zhenyu Qian, Bernd Krieg-Brückner |
Typed Object-Oriented Functional Programming with Late Binding. |
ECOOP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenyu Qian, Bernd Krieg-Brückner |
Object-Oriented Functional Programming and Type Reconstruction. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner |
Seven Years of COMPASS. |
COMPASS/ADT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff |
Towards Correct, Efficient and Reusable Transformational Developments. |
KORSO Book |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner |
Foreword: Selected Papers of ESOP'92. |
Sci. Comput. Program. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner |
Introduction. |
PROSPECTRA Book |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Junbo Liu, Bernd Krieg-Brückner |
Transformation. |
PROSPECTRA Book |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner |
A Language Family for Programming and Meta-Programming. |
PROSPECTRA Book |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Berthold Hoffmann, Bernd Krieg-Brückner (eds.) |
Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System |
PROSPECTRA Book |
1993 |
DBLP BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor |
Uniform Transformational Development. |
PROSPECTRA Book |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi |
Towards Correctness, Efficiency and Reusability of Transformational Developments. |
GI Jahrestagung |
1993 |
DBLP BibTeX RDF |
|
| 1 | Junbo Liu, Owen Traynor, Bernd Krieg-Brückner |
Knowledge-Based Transfonnational Programming. |
SEKE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner (eds.) |
ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings |
ESOP |
1992 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor |
The PROSPECTRA System: A Unified Development Framework. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
| 1 | Berthold Hoffmann, Bernd Krieg-Brückner |
The PROSPECTRA System. |
STACS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor |
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. |
VDM Europe |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Berthold Hoffmann, Bernd Krieg-Brückner |
The PROSPECTRA System. |
VDM Europe |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner |
Transformational Meta Program Development. |
Methods of Programming |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner |
Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development. |
TAPSOFT, Vol.2 |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner |
Algebraic Formalisation of Program Development by Transformation. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe |
ANNA - A Language for Annotating Ada Programs, Reference Manual |
|
1987 |
DOI RDF |
|
| 1 | Bernd Krieg-Brückner |
Integration of Program Construction and Verification: The PROSPECTRA Methodology. |
System Development and Ada |
1986 |
DBLP BibTeX RDF |
|
| 1 | 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 |
|
1985 |
DOI RDF |
|
| 1 | Bernd Krieg-Brückner |
Transformation of Interface Specifications. |
ADT |
1984 |
DBLP BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner |
Types in the Programming Language Ada. |
On Conceptual Modelling (Intervale) |
1982 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner |
Ada and the German Pay Phone: An Illustrative Example of Parallel Processing. |
ECI |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy, Bernd Krieg-Brückner |
Derivation of Invariant Assertions During Program Development by Transformation. |
ACM Trans. Program. Lang. Syst. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 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 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")