| 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 |
|