|
Search the dblp DataBase
Horst Hansen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hartmut Ehrig, Werner Fey, Horst Hansen
ACT ONE - An Algebraic Specification Language with two Levels of Semantics. [Citation Graph (0, 0)][DBLP] ADT, 1983, pp:- [Conf]
- Hartmut Ehrig, Werner Fey, Horst Hansen
Towards Abstract User Interfaces for Formal System Specifications. [Citation Graph (0, 0)][DBLP] ADT, 1984, pp:73-88 [Conf]
- Werner Fey, Hartmut Ehrig, Horst Hansen, Michael Löwe
Algebraic Theory of Modular Specification Development. [Citation Graph (0, 0)][DBLP] ADT, 1988, pp:- [Conf]
- Horst Hansen
From Algebraic Specifications towards Algebraic Programs. [Citation Graph (0, 0)][DBLP] ADT, 1986, pp:- [Conf]
- Horst Hansen
The ACT System: Experiences and Future Enhancements. [Citation Graph (0, 0)][DBLP] ADT, 1987, pp:113-130 [Conf]
- Horst Hansen, Michael Löwe
Modular Algebraic Specifications. [Citation Graph (0, 0)][DBLP] ALP, 1988, pp:168-179 [Conf]
- Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Francesco Parisi-Presicce
Categories for the Development of Algebraic Module Specifications. [Citation Graph (0, 0)][DBLP] Categorial Methods in Computer Science, 1988, pp:157-184 [Conf]
- Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs
Algebraic Software Development Concepts for Module and Configuration Families. [Citation Graph (0, 0)][DBLP] FSTTCS, 1989, pp:181-192 [Conf]
- Horst Hansen, Ralf-Detlef Kutsche
Medical Applications of ODP. [Citation Graph (0, 0)][DBLP] Open Distributed Processing, 1993, pp:67-99 [Conf]
- Horst Hansen, Ralf-Detlef Kutsche, Joachim Steffens
The PADKOM System Model - An Open Platform for Medical Applications in a Distributed Multimedia Environment. [Citation Graph (0, 0)][DBLP] Open Distributed Processing, 1991, pp:241-252 [Conf]
- Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Anno Langen, Francesco Parisi-Presicce
Algebraic Specification of Modules and Configuration Families. [Citation Graph (0, 0)][DBLP] Elektronische Informationsverarbeitung und Kybernetik, 1989, v:25, n:5/6, pp:205-232 [Journal]
- Hartmut Ehrig, Werner Fey, Horst Hansen, Michael Löwe, Dean Jacobs, Francesco Parisi-Presicce
Compatibility Problems in the Development of Algebraic Module Specifications. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1990, v:77, n:1&2, pp:27-71 [Journal]
Search in 0.002secs, Finished in 0.002secs
|