Ehrich, H. - D., M. Kollmann, and R. Pinger,
"Checking Object System Designs Incrementally",
Journal of Universal Computer Science, vol. 9, no. 2, pp. 106-119, February, 2003.
Abstract
Download: 2003JUCS.pdf (167.55 KB)
Ehrich, H. - D., and A. Sernadas,
"Local Specification of Distributed Families of Sequential Objects",
Recent Trends in Data Types Specification, Proc1 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers: Springer, Berlin, LNCS 906, pp. 219-235, 1995.
Abstract
Download: 1995LocSpecDistr.pdf (350.23 KB)
Ehrich, H. - D.,
"Bioinformatik - Modellbildung als Herausforderung für die Informatik",
Innovation jenseits von Fachgrenzen, M. Bohnet, H. Hopf, K. Lompe, und H. Oberbeck (Herausgeber), Braunschweig, Technische Universität, pp. 37-50, 2004.
Abstract
Download: 2004RVBioInf.pdf (699.23 KB)
Ehrich, H. - D., S. Eckstein, B. Mathiak, A. Kupfer, and C. Täubner,
"Bioinformatik - Erkenntnisse aus der Datenflut?",
Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft, vol. LVII: J. Cramer Verlag, pp. 9-34, 2007.
Abstract
Download: 2007BWG.pdf (491.15 KB)
Ehrich, H. - D., A. Sernadas, and C. Sernadas,
"Objects, Object Types, and Object Identification",
Categorical Methods in Computer Science: LNCS 393, Springer, Berlin, pp. 142-156, 1989.
Abstract
Download: 1989ObjOtypOid.pdf (313.66 KB)