Bernd Krieg-Brückner

84 papers A 6B 1C 3Journal 15Unranked 50

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	The Downgrading Axioms Challenge for Qualitative Composition of Food Ingredients (full paper). SemREC/SMART@ISWC Bernd Krieg-Brückner, Marc Robin Nolte, Mihai Pomarlan, Michaela Kümpel
2021	—	`conf`	Generic Ontology Design Patterns: Roles and Change Over Time. WOP (Book) Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu
2021	—	`conf`	The BAALL Ontology - Configuration of Service Robots, Food, and Diet. JOWO Bernd Krieg-Brückner, Serge Autexier, Mihai Pomarlan
2020	J	`jnl`	Generic Ontology Design Patterns: Roles and Change over Time. CoRR Bernd Krieg-Brückner, Till Mossakowski, Mihai Codescu
2020	—	`conf`	Modelling Episodes with Generic Ontology Design Patterns. JOWO Bernd Krieg-Brückner, Mihai Codescu, Mihai Pomarlan
2019	—	`conf`	Deducing Qualitative Capabilities with Generic Ontology Design Patterns. ROBOT (1) Bernd Krieg-Brückner, Mihai Codescu
2019	—	`conf`	Extensions of Generic DOL for Generic Ontology Design Patterns. JOWO Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski
2019	J	`jnl`	Extensions of Generic DOL for Generic Ontology Design Patterns. CoRR Mihai Codescu, Bernd Krieg-Brückner, Till Mossakowski
2019	—	`conf`	Generic Ontology Design Patterns at Work. JOWO Bernd Krieg-Brückner, Till Mossakowski, Fabian Neuhaus
2019	J	`jnl`	Generic Ontology Design Patterns at Work. CoRR Bernd Krieg-Brückner, Till Mossakowski, Fabian Neuhaus
2018	J	`jnl`	Partial pushout semantics of generics in DOL. Theor. Comput. Sci. Till Mossakowski, Bernd Krieg-Brückner
2017	—	`conf`	Generic Ontologies and Generic Ontology Design Patterns. WOP@ISWC Bernd Krieg-Brückner, Till Mossakowski
2016	C	`conf`	Generic Ontology Design Patterns: Qualitatively Graded Configuration. KSEM Bernd Krieg-Brückner
2015	J	`jnl`	Chinese University Development Project. Int. J. Softw. Informatics Bernd Krieg-Brückner
2015	—	`conf`	Formal Modelling for Cooking Assistance. Software, Services, and Systems Bernd Krieg-Brückner, Serge Autexier, Martin Rink, Sidoine Ghomsi Nokam
2015	J	`jnl`	Introduction to the thematic issue on Mobility. J. Ambient Intell. Smart Environ. Christoph Stahl, Bernd Krieg-Brückner, Wolfgang L. Zagler, Björn Gottfried
2010	—	`conf`	Modelling user Behaviour While Driving an Intelligent Wheelchair. HEALTHINF Carsten Fischer, Hui Shi, Cui Jian, Frank Schafmeister, Nils Menrad, Nicole von Steinbüchel, Kerstin Schill, Bernd Krieg-Brückner
2010	C	`conf`	Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots. ACHI Hui Shi, Cui Jian, Bernd Krieg-Brückner
2010	—	`conf`	The DFKI Competence Center for Ambient Assisted Living. AmI Jochen Frey, Christoph Stahl, Thomas Röfer, Bernd Krieg-Brückner, Jan Alexandersson
2009	A	`conf`	Navigating a smart wheelchair with a brain-computer interface interpreting steady-state visual evoked potentials. IROS Christian Mandel, Thorsten Lüth, Tim Laue, Thomas Röfer, Axel Gräser, Bernd Krieg-Brückner
2009	—	`conf`	SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge. AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems Cui Jian, Hui Shi, Bernd Krieg-Brückner
2009	—	`ch.`	Spatio-Temporal Situated Interaction in Ambient Assisted Living. Human Centered Robot Systems, Cognition, Interaction, Technology Bernd Krieg-Brückner, Hui Shi
2008	J	`jnl`	Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks. Int. J. Softw. Informatics Hui Shi, Bernd Krieg-Brückner
2008	J	`jnl`	Qualitative Semantic Representations. Künstliche Intell. Hui Shi, Bernd Krieg-Brückner
2007	J	`jnl`	Sicherheit in der Künstlichen Intelligenz. Künstliche Intell. Christoph Lüth, Bernd Krieg-Brückner
2006	—	`conf`	Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions. GIScience Bernd Krieg-Brückner, Hui Shi
2005	—	`conf`	Towards MultiMedia Instruction in Safe and Secure Systems. Mechanizing Mathematical Reasoning Bernd Krieg-Brückner
2004	—	`conf`	Literate Ontology Development. OTM Workshops Achim Mahnke, Bernd Krieg-Brückner
2004	—	`conf`	Ontologies for the Semantic Web in Casl. WADT Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner
2004	—	`conf`	Semantic Interrelation of Documents via an Ontology. DeLFI Bernd Krieg-Brückner, Arne Lindow, Christoph Lüth, Achim Mahnke, George Russell
2004	—	`ed.`	Spatial Cognition IV: Reasoning, Action, Interaction, International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, RevisedSelected Papers Spatial Cognition Christian Freksa, Markus Knauff, Bernd Krieg-Brückner, Bernhard Nebel, Thomas Barkowsky
2004	—	`conf`	Specification of an Ontology for Route Graphs. Spatial Cognition Bernd Krieg-Brückner, Udo Frese, Klaus Lüttich, Christian Mandel, Till Mossakowski, Robert J. Ross
2004	—	`conf`	Towards Dialogue Based Shared Control of Navigating Robots. Spatial Cognition Robert J. Ross, Hui Shi, Tillman Vierhuff, Bernd Krieg-Brückner, John A. Bateman
2003	—	`conf`	Self-localization in Large-Scale Environments for the Bremen Autonomous Wheelchair. Spatial Cognition Axel Lankenau, Thomas Röfer, Bernd Krieg-Brückner
2002	J	`jnl`	CASL: the Common Algebraic Specification Language. Theor. Comput. Sci. Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki
2002	—	`conf`	MultiMedia Instruction in Safe and Secure Systems. WADT 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
2000	—	`conf`	Modelling Navigational Knowledge by Route Graphs. Spatial Cognition Steffen Werner, Bernd Krieg-Brückner, Theo Herrmann
1999	—	`book`	Algebraic Foundations of Systems Specification Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner
1999	—	`ch.`	Formalization of the Development Process. Algebraic Foundations of Systems Specification David A. Basin, Bernd Krieg-Brückner
1999	—	`conf`	Subsorted Partial Higher-Order Locig as an Extension of CASL. WADT Till Mossakowski, Anne E. Haxthausen, Bernd Krieg-Brückner
1999	B	`conf`	TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. FASE Christoph Lüth, Haykal Tej, Kolyang, Bernd Krieg-Brückner
1999	—	`conf`	The UniForM Workbench, a Universal Development Environment for Formal Methods. World Congress on Formal Methods Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer
1998	—	`conf`	A Taxonomy of Spatial Knowledge for Navigation and its Application to the Bremen Autonomous Wheelchair. Spatial Cognition Bernd Krieg-Brückner, Thomas Röfer, Hans-Otto Carmesin, Rolf Müller
1998	—	`conf`	UniForM Perspectives for Formal Methods. FM-Trends Bernd Krieg-Brückner
1997	—	`conf`	Permissive Subsorted Partial Logic in CASL. AMAST Maura Cerioli, Anne E. Haxthausen, Bernd Krieg-Brückner, Till Mossakowski
1997	—	`conf`	Spatial Cognition: The Role of Landmark, Route, and Survey Knowledge in Human and Robot Navigation. GI Jahrestagung Steffen Werner, Bernd Krieg-Brückner, Hanspeter A. Mallot, Karin Schweizer, Christian Freksa
1997	—	`conf`	Static semantic analysis and theorem proving for CASL. WADT Till Mossakowski, Kolyang, Bernd Krieg-Brückner
1996	A	`conf`	Typed Object-Oriented Functional Programming with Late Binding. ECOOP Zhenyu Qian, Bernd Krieg-Brückner
1995	—	`conf`	Object-Oriented Functional Programming and Type Reconstruction. COMPASS/ADT Zhenyu Qian, Bernd Krieg-Brückner
1995	—	`conf`	Seven Years of COMPASS. COMPASS/ADT Bernd Krieg-Brückner
1995	—	`ch.`	Towards Correct, Efficient and Reusable Transformational Developments. KORSO Book Bernd Krieg-Brückner, Junbo Liu, Hui Shi, Burkhart Wolff
1994	J	`jnl`	Foreword: Selected Papers of ESOP'92. Sci. Comput. Program. Bernd Krieg-Brückner
1993	—	`conf`	A Language Family for Programming and Meta-Programming. PROSPECTRA Book Bernd Krieg-Brückner
1993	—	`conf`	Introduction. PROSPECTRA Book Bernd Krieg-Brückner
1993	—	`ed.`	Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System PROSPECTRA Book Berthold Hoffmann, Bernd Krieg-Brückner
1993	—	`conf`	Towards Correctness, Efficiency and Reusability of Transformational Developments. GI Jahrestagung Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi
1993	—	`conf`	Transformation. PROSPECTRA Book Junbo Liu, Bernd Krieg-Brückner
1993	—	`conf`	Uniform Transformational Development. PROSPECTRA Book Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
1992	A	`ed.`	ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings ESOP Bernd Krieg-Brückner
1992	C	`conf`	Knowledge-Based Transfonnational Programming. SEKE Junbo Liu, Owen Traynor, Bernd Krieg-Brückner
1991	—	`conf`	Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. TAPSOFT, Vol.2 Bernd Krieg-Brückner, Donald Sannella
1991	—	`conf`	The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. VDM Europe (2) Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor
1991	—	`conf`	The PROSPECTRA System. VDM Europe (1) Berthold Hoffmann, Bernd Krieg-Brückner
1991	A	`conf`	The PROSPECTRA System. STACS Berthold Hoffmann, Bernd Krieg-Brückner
1991	—	`conf`	The PROSPECTRA System: A Unified Development Framework. AMAST Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor
1991	—	`conf`	Transformational Meta Program Development. Methods of Programming Bernd Krieg-Brückner
1989	—	`conf`	Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development. TAPSOFT, Vol.2 Bernd Krieg-Brückner
1988	A	`conf`	Algebraic Formalisation of Program Development by Transformation. ESOP Bernd Krieg-Brückner
1987	—	`book`	ANNA - A Language for Annotating Ada Programs, Reference Manual David C. Luckham, Friedrich W. von Henke, Bernd Krieg-Brückner, Olaf Owe
1986	—	`conf`	Integration of Program Construction and Verification: The PROSPECTRA Methodology. System Development and Ada Bernd Krieg-Brückner
1985	—	`conf`	Semantic specification of Ada packages. SIGAda Friedrich W. von Henke, David C. Luckham, Bernd Krieg-Brückner, Olaf Owe
1985	—	`book`	The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L 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
1984	—	`conf`	Transformation of Interface Specifications. ADT Bernd Krieg-Brückner
1982	A	`conf`	Types in the Programming Language Ada. On Conceptual Modelling (Intervale) Bernd Krieg-Brückner
1981	—	`conf`	Ada and the German Pay Phone: An Illustrative Example of Parallel Processing. ECI Bernd Krieg-Brückner
1981	J	`jnl`	Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 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
1980	—	`conf`	ANNA: towards a language for annotating Ada programs. SIGPLAN Bernd Krieg-Brückner, David C. Luckham
1980	J	`jnl`	Derivation of Invariant Assertions During Program Development by Transformation. ACM Trans. Program. Lang. Syst. Manfred Broy, Bernd Krieg-Brückner
1980	—	`ch.`	Modules and Visibility in the Ada Programming Language. On the Construction of Programs Jean Ichbiah, John G. P. Barnes, Jean-Claude Heliard, Bernd Krieg-Brückner, Olivier Roubine, Brian A. Wichmann
1980	—	`conf`	Source-to-source translation: Ada to Pascal and Pascal to Ada. SIGPLAN Paul F. Albrecht, Philip E. Garrison, Susan L. Graham, Robert H. Hyerle, Patricia Ip, Bernd Krieg-Brückner
1979	J	`jnl`	Rationale for the design of the Ada programming language. ACM SIGPLAN Notices Jean Ichbiah, Bernd Krieg-Brückner, Brian A. Wichmann, John G. P. Barnes, Olivier Roubine, Jean-Claude Heliard
1978	—	`conf`	Towards a Wide Spectrum Language to Support Program Specification and Program Development. Program Construction Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner
1978	—	`conf`	Towards a wide spectrum language to support program specification and program development. Fachtagung über Programmiersprachen Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner
1978	J	`jnl`	Towards a wide spectrum language to support program specification and program development. ACM SIGPLAN Notices Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner