Bernd Krieg-Brückner

According to our database1, Bernd Krieg-Brückner authored at least 66 papers between 1978 and 2018.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Partial pushout semantics of generics in DOL.
Theor. Comput. Sci., 2018

2017
Generic Ontologies and Generic Ontology Design Patterns.
Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017), 2017

2016
Generic Ontology Design Patterns: Qualitatively Graded Configuration.
Proceedings of the Knowledge Science, Engineering and Management, 2016

2015
Introduction to the thematic issue on Mobility.
JAISE, 2015

Chinese University Development Project.
Int. J. Software and Informatics, 2015

The photo of Prof. Dr. Bernd Krieg-Bruckner with signature.
Int. J. Software and Informatics, 2015

Formal Modelling for Cooking Assistance.
Proceedings of the Software, 2015

2010
Modelling user Behaviour While Driving an Intelligent Wheelchair.
Proceedings of the HEALTHINF 2010, 2010

The DFKI Competence Center for Ambient Assisted Living.
Proceedings of the Ambient Intelligence, 2010

Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots.
Proceedings of the ACHI 2010, 2010

2009
Navigating a smart wheelchair with a brain-computer interface interpreting steady-state visual evoked potentials.
Proceedings of the 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2009

SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge.
Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

Spatio-Temporal Situated Interaction in Ambient Assisted Living.
Proceedings of the Human Centered Robot Systems, Cognition, Interaction, Technology, 2009

2008
Qualitative Semantic Representations.
KI, 2008

Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks.
Int. J. Software and Informatics, 2008

2007
Sicherheit in der Künstlichen Intelligenz.
KI, 2007

2006
Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions.
Proceedings of the Geographic Information Science, 4th International Conference, 2006

2005
Towards MultiMedia Instruction in Safe and Secure Systems.
Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004
Ontologies for the Semantic Web in Casl.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Towards Dialogue Based Shared Control of Navigating Robots.
Proceedings of the Spatial Cognition IV: Reasoning, 2004

Specification of an Ontology for Route Graphs.
Proceedings of the Spatial Cognition IV: Reasoning, 2004

Literate Ontology Development.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004

Semantic Interrelation of Documents via an Ontology.
Proceedings of the DeLFI 2004: Die e-Learning Fachtagung Informatik, 2004

2003
Self-localization in Large-Scale Environments for the Bremen Autonomous Wheelchair.
Proceedings of the Spatial Cognition III, Routes and Navigation, Human Memory and Learning, 2003

2002
CASL: the Common Algebraic Specification Language.
Theor. Comput. Sci., 2002

MultiMedia Instruction in Safe and Secure Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2000
Modelling Navigational Knowledge by Route Graphs.
Proceedings of the Spatial Cognition II, 2000

1999
Formalization of the Development Process.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

Subsorted Partial Higher-Order Locig as an Extension of CASL.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

The UniForM Workbench, a Universal Development Environment for Formal Methods.
Proceedings of the FM'99 - Formal Methods, 1999

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.
Proceedings of the Fundamental Approaches to Software Engineering, 1999

1998
A Taxonomy of Spatial Knowledge for Navigation and its Application to the Bremen Autonomous Wheelchair.
Proceedings of the Spatial Cognition, 1998

UniForM Perspectives for Formal Methods.
Proceedings of the Applied Formal Methods, 1998

1997
Static semantic analysis and theorem proving for CASL.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Spatial Cognition: The Role of Landmark, Route, and Survey Knowledge in Human and Robot Navigation.
Proceedings of the Informatik '97, 1997

Permissive Subsorted Partial Logic in CASL.
Proceedings of the Algebraic Methodology and Software Technology, 1997

1996
Typed Object-Oriented Functional Programming with Late Binding.
Proceedings of the ECOOP'96, 1996

1995
Towards Correct, Efficient and Reusable Transformational Developments.
Proceedings of the KORSO, 1995

Object-Oriented Functional Programming and Type Reconstruction.
Proceedings of the Recent Trends in Data Type Specification, 1995

Seven Years of COMPASS.
Proceedings of the Recent Trends in Data Type Specification, 1995

1994
Foreword: Selected Papers of ESOP'92.
Sci. Comput. Program., 1994

1993
Transformation.
Proceedings of the Program Development by Specification and Transformation, 1993

Uniform Transformational Development.
Proceedings of the Program Development by Specification and Transformation, 1993

A Language Family for Programming and Meta-Programming.
Proceedings of the Program Development by Specification and Transformation, 1993

Introduction.
Proceedings of the Program Development by Specification and Transformation, 1993

Towards Correctness, Efficiency and Reusability of Transformational Developments.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

1992
Knowledge-Based Transfonnational Programming.
Proceedings of the SEKE'92, 1992

1991
Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL.
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

The PROSPECTRA System.
Proceedings of the STACS 91, 1991

The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development.
Proceedings of the VDM '91, 1991

The PROSPECTRA System.
Proceedings of the VDM '91, 1991

Transformational Meta Program Development.
Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

The PROSPECTRA System: A Unified Development Framework.
Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1989
Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development.
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1988
Algebraic Formalisation of Program Development by Transformation.
Proceedings of the ESOP '88, 1988

1987
ANNA - A Language for Annotating Ada Programs, Reference Manual
Lecture Notes in Computer Science 260, Springer, ISBN: 3-540-17980-1, 1987

1986
Integration of Program Construction and Verification: The PROSPECTRA Methodology.
Proceedings of the Software Development and Ada, 1986

1985
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L
Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985

1984
Transformation of Interface Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1984

1982
Types in the Programming Language Ada.
Proceedings of the On Conceptual Modelling, 1982

1981
Programming in a Wide Spectrum Language: A Collection of Examples.
Sci. Comput. Program., 1981

Ada and the German Pay Phone: An Illustrative Example of Parallel Processing.
Proceedings of the Trends in Information Processing Systems, 1981

1980
Derivation of Invariant Assertions During Program Development by Transformation.
ACM Trans. Program. Lang. Syst., 1980

Modules and Visibility in the Ada Programming Language.
Proceedings of the On the Construction of Programs, 1980

1978
Towards a wide spectrum language to support program specification and program development.
Proceedings of the Programmiersprachen, 1978

Towards a Wide Spectrum Language to Support Program Specification and Program Development.
Proceedings of the Program Construction, International Summer School, July 26, 1978


  Loading...