| Specification of abstract data types J Loeckx, HD Ehrich, M Wolf John Wiley & Sons, Inc., 1997 | 350 | 1997 |
| On the theory of specification, implementation, and parametrization of abstract data types HD Ehrich Journal of the ACM (JACM) 29 (1), 206-227, 1982 | 207 | 1982 |
| Conceptual modelling of database applications using an extended ER model G Engels, M Gogolla, U Hohenstein, K Hülsmann, P Löhr-Richter, ... Data & Knowledge Engineering 9 (2), 157-204, 1992 | 206 | 1992 |
| Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie HD Ehrich, M Gogolla, UW Lipeck Springer-Verlag, 2013 | 181 | 2013 |
| A categorial theory of objects as observed processes HD Ehrich, J Goguen, A Sernadas Proc. REX/FOOL Workshop 489, 203-228, 1991 | 125 | 1991 |
| The basic building blocks of information systems A Sernadas, J Fiadero, C Sernadas, HD Ehrich, ED Falkenberg Information System Concepts: An In-Depth Analysis, 1989 | 102 | 1989 |
| What is an object, after all? A Sernadas, HD Ehrich DS-4, 39-69, 1990 | 95 | 1990 |
| Model checking PLC software written in function block diagram O Pavlovic, HD Ehrich 2010 Third International Conference on Software Testing, Verification and …, 2010 | 84 | 2010 |
| Algebraic implementation of objects over objects HD Ehrich, A Sernadas Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness …, 1990 | 68 | 1990 |
| Abstract object types: A temporal perspective A Sernadas, J Fiadeiro, C Sernadas, HD Ehrich Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 …, 2005 | 67 | 2005 |
| Logics for specifying concurrent information systems HD Ehrich, C Caleiro, A Sernadas, G Denker Logics for Databases and Information Systems, 167-198, 1998 | 67 | 1998 |
| Algebraic and operational semantics of specifications allowing exceptions and errors M Gogolla, K Drosten, U Lipeck, HD Ehrich Theoretical Computer Science 34 (3), 289-313, 1984 | 64 | 1984 |
| Objects and their Specification HD Ehrich, M Gogolla, A Sernadas Recent Trends in Data Type Specification: 8th Workshop on Specification of …, 1993 | 60 | 1993 |
| Local specification of distributed families of sequential objects HD Ehrich, A Sernadas Recent Trends in Data Type Specification: 10th Workshop on Specification of …, 2005 | 59 | 2005 |
| Fundamental object concepts and constructions HD Ehrich, A Sernadas Information Systems {Correctness and Reusability, TU Braunschweig …, 1991 | 58 | 1991 |
| SPECIFICATIDN, SEMANTICS, AND ENFDRCEMENT DF DYNAMIC DATABASE CONSTRAINTS HD Ehrich, UW Lipeck, M Gogolla | 54 | 1984 |
| >From Data Types to Object Types HD Ehrich, A Sernadas, C Sernadas Elektronische Informationsverarbeitung und Kybernetik 26 (1/2), 33-48, 1990 | 52 | 1990 |
| Specifying communication in distributed information systems HD Ehrich, C Caleiro Acta Informatica 36 (8), 591-616, 2000 | 51 | 2000 |
| Object Specification. HD Ehrich Algebraic Foundations of Systems Specification, 435-465, 1999 | 48 | 1999 |
| Objects, object types, and object identification HD Ehrich, A Sernadas, C Sernadas Categorical Methods in Computer Science with Aspects from Topology, 142-156, 2005 | 45 | 2005 |
