Bernd Krieg-Brückner

Mihai Codescu

Mihai Pomarlan

Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), 2020

2019

Deducing Qualitative Capabilities with Generic Ontology Design Patterns.

[BibT_eX]

[DOI]

Mihai Codescu

Proceedings of the Robot 2019: Fourth Iberian Robotics Conference, 2019

Generic Ontology Design Patterns at Work.

[BibT_eX]

[DOI]

Fabian Neuhaus

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Extensions of Generic DOL for Generic Ontology Design Patterns.

[BibT_eX]

[DOI]

Mihai Codescu

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

2018

Partial pushout semantics of generics in DOL.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

2017

Generic Ontologies and Generic Ontology Design Patterns.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2016

2015

Introduction to the thematic issue on Mobility.

[BibT_eX]

[DOI]

J. Ambient Intell. Smart Environ., 2015

Chinese University Development Project.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2015

Formal Modelling for Cooking Assistance.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

2010

Modelling user Behaviour While Driving an Intelligent Wheelchair.

[BibT_eX]

Nicole von Steinbüchel

Kerstin Schill

Proceedings of the HEALTHINF 2010, 2010

The DFKI Competence Center for Ambient Assisted Living.

[BibT_eX]

[DOI]

Proceedings of the Ambient Intelligence, 2010

Qualitative Spatial Modelling of Human Route Instructions to Mobile Robots.

[BibT_eX]

[DOI]

Cui Jian

Proceedings of the ACHI 2010, 2010

2009

Navigating a smart wheelchair with a brain-computer interface interpreting steady-state visual evoked potentials.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Cui Jian

Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009

Spatio-Temporal Situated Interaction in Ambient Assisted Living.

[BibT_eX]

[DOI]

Proceedings of the Human Centered Robot Systems, Cognition, Interaction, Technology, 2009

2008

Qualitative Semantic Representations.

[BibT_eX]

[DOI]

Künstliche Intell., 2008

Modelling Route Instructions for Robust Human-Robot Interaction on Navigation Tasks.

[BibT_eX]

Int. J. Softw. Informatics, 2008

2007

Sicherheit in der Künstlichen Intelligenz.

[BibT_eX]

[DOI]

Christoph Lüth

Künstliche Intell., 2007

2006

Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Geographic Information Science, 4th International Conference, 2006

2005

Towards MultiMedia Instruction in Safe and Secure Systems.

[BibT_eX]

[DOI]

Proceedings of the Mechanizing Mathematical Reasoning, 2005

2004

Ontologies for the Semantic Web in Casl.

[BibT_eX]

[DOI]

Klaus Lüttich

Proceedings of the Recent Trends in Algebraic Development Techniques, 2004

Towards Dialogue Based Shared Control of Navigating Robots.

[BibT_eX]

[DOI]

Proceedings of the Spatial Cognition IV: Reasoning, 2004

Specification of an Ontology for Route Graphs.

[BibT_eX]

[DOI]

Proceedings of the Spatial Cognition IV: Reasoning, 2004

Literate Ontology Development.

[BibT_eX]

[DOI]

Achim Mahnke

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.

[BibT_eX]

[DOI]

Proceedings of the DeLFI 2004: Die e-Learning Fachtagung Informatik, 2004

2003

Self-localization in Large-Scale Environments for the Bremen Autonomous Wheelchair.

[BibT_eX]

[DOI]

Axel Lankenau

Thomas Röfer

Proceedings of the Spatial Cognition III, Routes and Navigation, Human Memory and Learning, 2003

2002

CASL: the Common Algebraic Specification Language.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

MultiMedia Instruction in Safe and Secure Systems.

[BibT_eX]

[DOI]

Arnd Poetzsch-Heffter

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

2000

Modelling Navigational Knowledge by Route Graphs.

[BibT_eX]

[DOI]

Steffen Werner

Theo Herrmann

Proceedings of the Spatial Cognition II, 2000

1999

Formalization of the Development Process.

[BibT_eX]

[DOI]

David A. Basin

Proceedings of the Algebraic Foundations of Systems Specification, 1999

Subsorted Partial Higher-Order Locig as an Extension of CASL.

[BibT_eX]

[DOI]

Anne E. Haxthausen

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

The UniForM Workbench, a Universal Development Environment for Formal Methods.

[BibT_eX]

[DOI]

Jan Peleska

Ernst-Rüdiger Olderog

Alexander Baer

Proceedings of the FM'99 - Formal Methods, 1999

TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Spatial Cognition, 1998

UniForM Perspectives for Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Applied Formal Methods, 1998

1997

Static semantic analysis and theorem proving for CASL.

[BibT_eX]

[DOI]

Kolyang

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.

[BibT_eX]

[DOI]

Proceedings of the Informatik '97, 1997

Permissive Subsorted Partial Logic in CASL.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Typed Object-Oriented Functional Programming with Late Binding.

[BibT_eX]

[DOI]

Zhenyu Qian

Proceedings of the ECOOP'96, 1996

1995

Towards Correct, Efficient and Reusable Transformational Developments.

[BibT_eX]

[DOI]

Proceedings of the KORSO, 1995

Object-Oriented Functional Programming and Type Reconstruction.

[BibT_eX]

[DOI]

Zhenyu Qian

Proceedings of the Recent Trends in Data Type Specification, 1995

Seven Years of COMPASS.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1995

1994

Foreword: Selected Papers of ESOP'92.

[BibT_eX]

Sci. Comput. Program., 1994

1993

Transformation.

[BibT_eX]

[DOI]

Junbo Liu

Proceedings of the Program Development by Specification and Transformation, 1993

Uniform Transformational Development.

[BibT_eX]

[DOI]

Proceedings of the Program Development by Specification and Transformation, 1993

A Language Family for Programming and Meta-Programming.

[BibT_eX]

[DOI]

Proceedings of the Program Development by Specification and Transformation, 1993

Introduction.

[BibT_eX]

[DOI]

Proceedings of the Program Development by Specification and Transformation, 1993

Towards Correctness, Efficiency and Reusability of Transformational Developments.

[BibT_eX]

[DOI]

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

1992

Knowledge-Based Transfonnational Programming.

[BibT_eX]

[DOI]

Junbo Liu

Owen Traynor

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.

[BibT_eX]

[DOI]

Donald Sannella

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development.

[BibT_eX]

[DOI]

Proceedings of the VDM '91, 1991

The PROSPECTRA System.

[BibT_eX]

[DOI]

Berthold Hoffmann

Proceedings of the VDM '91, 1991

Transformational Meta Program Development.

[BibT_eX]

[DOI]

Proceedings of the Method of Programming, Selected Papers on the CIP-Project, 1991

The PROSPECTRA System: A Unified Development Framework.

[BibT_eX]

Einar W. Karlsen

Owen Traynor

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1989

Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ESOP '88, 1988

1987

ANNA - A Language for Annotating Ada Programs, Reference Manual

[BibT_eX]

[DOI]

David C. Luckham

Friedrich W. von Henke

Olaf Owe

Lecture Notes in Computer Science 260, Springer, ISBN: 3-540-17980-1, 1987

1986

Integration of Program Construction and Verification: The PROSPECTRA Methodology.

[BibT_eX]

Proceedings of the Software Development and Ada, 1986

1985

Semantic specification of Ada packages.

[BibT_eX]

[DOI]

Friedrich W. von Henke

David C. Luckham

Olaf Owe

Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, 1985

The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L

[BibT_eX]

[DOI]

Franz Geiselbrechtinger

Lecture Notes in Computer Science 183, Springer, ISBN: 3-540-15187-7, 1985

1984

Transformation of Interface Specifications.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Data Type Specification, 1984

1982

Types in the Programming Language Ada.

[BibT_eX]

Proceedings of the On Conceptual Modelling, 1982

1981

Programming in a Wide Spectrum Language: A Collection of Examples.

[BibT_eX]

[DOI]

Sci. Comput. Program., 1981

Ada and the German Pay Phone: An Illustrative Example of Parallel Processing.

[BibT_eX]

[DOI]

Proceedings of the Trends in Information Processing Systems, 1981

1980

Derivation of Invariant Assertions During Program Development by Transformation.

[BibT_eX]

[DOI]

Manfred Broy

ACM Trans. Program. Lang. Syst., 1980

ANNA: towards a language for annotating Ada programs.

[BibT_eX]

[DOI]