I. Claßen

Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag)

Hartmut Ehrig, Ingo Claßen, Michael Löwe, 1989, Software-Entwicklung.

Categorical concepts for parameterized partial specifications

Ingo Claßen, Martin Große-Rhode, Uwe Wolter, 1995, Mathematical Structures in Computer Science.

Algebraic Specification Techniques and Tools for Software Development: The Act Approach

Hartmut Ehrig, Ingo Claßen, Dietmar Wolz, 1993, AMAST Series in Computing.

An Object-Oriented Design for the ACT ONE Environment

Martin Gogolla, Ingo Claßen, Martin Gogolla, 1993, AMAST.

Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development

Hartmut Ehrig, Fernando Orejas, Ingo Claßen, 1992, Comput. J..

Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language

Ingo Claßen, I. Claßen, 1988, Categorial Methods in Computer Science.

Static and Dynamic Semantics of Entity-Relationship Models Based on Algebraic Methods

Ingo Claßen, Michael Löwe, Jan Wortmann, 1994, GI Jahrestagung.

Compositionality of application oriented structuring mechanisms for algebraic specification languages with initial semantics

Ingo Claßen, I. Claßen, 1993 .

Towards evolutionary and adaptive workflow systems-infrastructure support based on Higher-Order Object Nets and CORBA

Yanbo Han, Ingo Claßen, Herbert Weber, 1997, Proceedings First International Enterprise Distributed Object Computing Workshop.

Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications

Hartmut Ehrig, Fernando Orejas, Ingo Claßen, 1992, Comput. J..