Horst Hansen

According to our database, Horst Hansen authored at least 13 papers between 1983 and 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1993

Medical Applications of ODP.

Horst Hansen, Ralf-Detlef Kutsche

Proceedings of the Open Distributed Processing, 1993

1991

The PADKOM System Model - An Open Platform for Medical Applications in a Distributed Multimedia Environment.

Horst Hansen, Ralf-Detlef Kutsche, Joachim Steffens

Proceedings of the Open Distributed Processing: Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, 1991

1990

Compatibility Problems in the Development of Algebraic Module Specifications.

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce

Theor. Comput. Sci., 1990

1989

Algebraic Specification of Modules and Configuration Families.

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce

J. Inf. Process. Cybern., 1989

Algebraic Software Development Concepts for Module and Configuration Families.

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989

1988

Categories for the Development of Algebraic Module Specifications.

Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Modular Algebraic Specifications.

Horst Hansen, Michael Löwe

Proceedings of the Algebraic and Logic Programming, 1988

Algebraic Theory of Modular Specification Development.

Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

The ACT System: Experiences and Future Enhancements.

Horst Hansen

Proceedings of the Recent Trends in Data Type Specification, 1987

1986

Von algebraischen Spezifikationen zu algebraischen Programmen.

Horst Hansen

PhD thesis, 1986

From Algebraic Specifications towards Algebraic Programs.

Horst Hansen

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1984

Towards Abstract User Interfaces for Formal System Specifications.

Hartmut Ehrig, Werner Fey, Horst Hansen

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

ACT ONE - An Algebraic Specification Language with two Levels of Semantics.

Hartmut Ehrig, Werner Fey, Horst Hansen

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983