Horst Hansen

Publication Activity (10 Years)

Years Active: 1983-1993
Publications (10 Years): 0

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Horst Hansen, Ralf-Detlef Kutsche
Medical Applications of ODP. Open Distributed Processing (1993)
Horst Hansen, Ralf-Detlef Kutsche, Joachim Steffens
The PADKOM System Model - An Open Platform for Medical Applications in a Distributed Multimedia Environment. Open Distributed Processing (1991)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce
Compatibility Problems in the Development of Algebraic Module Specifications. Theor. Comput. Sci. 77 (1&2) (1990)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce
Algebraic Specification of Modules and Configuration Families. J. Inf. Process. Cybern. 25 (5/6) (1989)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs
Algebraic Software Development Concepts for Module and Configuration Families. FSTTCS (1989)
Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce
Categories for the Development of Algebraic Module Specifications. Categorial Methods in Computer Science (1988)
Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe
Algebraic Theory of Modular Specification Development. ADT (1988)
Horst Hansen, Michael Löwe
Modular Algebraic Specifications. ALP (1988)
Horst Hansen
The ACT System: Experiences and Future Enhancements. ADT (1987)
Horst Hansen
From Algebraic Specifications towards Algebraic Programs. ADT (1986)
Hartmut Ehrig, Werner Fey, Horst Hansen
Towards Abstract User Interfaces for Formal System Specifications. ADT (1984)
Hartmut Ehrig, Werner Fey, Horst Hansen
ACT ONE - An Algebraic Specification Language with two Levels of Semantics. ADT (1983)

Horst Hansen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Horst Hansen