| Specification of abstract data types J Loeckx, HD Ehrich, M Wolf John Wiley & Sons, Inc., 1997 | 317 | 1997 |
| 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 | 192 | 1992 |
| On the theory of specification, implementation, and parametrization of abstract data types HD Ehrich Journal of the ACM (JACM) 29 (1), 206-227, 1982 | 192 | 1982 |
| Algebraische Spezifikation abstrakter Datentypen: eine Einführung in die Theorie HD Ehrich, M Gogolla, UW Lipeck Springer-Verlag, 2013 | 162 | 2013 |
| A categorial theory of objects as observed processes HD Ehrich, JA Goguen, A Sernadas Workshop/School/Symposium of the REX Project (Research and Education in …, 1990 | 115 | 1990 |
| The basic building blocks of information systems A Semadas, J Fiadeiro, C Sernadas, HD Ehrich Information System Concepts: An In-Depth Analysis, 225-246, 1989 | 97 | 1989 |
| What is an object, after all? A Sernadas, HD Ehrich DS-4, 39-69, 1990 | 89 | 1990 |
| Abstract object types: A temporal perspective A Sernadas, J Fiadeiro, C Sernadas, HD Ehrich Temporal Logic in Specification, 324-350, 1989 | 71 | 1989 |
| 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 | 68 | 1984 |
| Algebraic implementation of objects over objects HD Ehrich, A Sernadas Workshop/School/Symposium of the REX Project (Research and Education in …, 1989 | 67 | 1989 |
| Logics for specifying concurrent information systems HD Ehrich, C Caleiro, A Sernadas, G Denker Logics for Databases and Information Systems, 167-198, 1998 | 62 | 1998 |
| Objects and their specification HD Ehrich, M Gogolla, A Sernadas Recent Trends in Data Type Specification, 40-65, 1991 | 59 | 1991 |
| Fundamental object concepts and constructions HD Ehrich, A Sernadas Information Systems {Correctness and Reusability, TU Braunschweig …, 1991 | 59 | 1991 |
| Local specification of distributed families of sequential objects HD Ehrich, A Sernadas Recent Trends in Data Type Specification, 219-235, 1994 | 57 | 1994 |
| Model checking PLC software written in function block diagram O Pavlovic, HD Ehrich 2010 Third International Conference on Software Testing, Verification and …, 2010 | 55 | 2010 |
| >From Data Types to Object Types HD Ehrich, A Sernadas, C Sernadas Elektronische Informationsverarbeitung und Kybernetik 26 (1/2), 33-48, 1990 | 55 | 1990 |
| Objects, object types, and object identification HD Ehrich, A Sernadas, C Sernadas Categorical Methods in Computer Science with Aspects from Topology, 142-156, 1989 | 48 | 1989 |
| Specifying communication in distributed information systems HD Ehrich, C Caleiro Acta Informatica 36 (8), 591-616, 2000 | 47 | 2000 |
| Object specification HD Ehrich Algebraic Foundations of Systems Specification, 435-465, 1999 | 47 | 1999 |
| SPECIFICATIDN, SEMANTICS, AND ENFDRCEMENT DF DYNAMIC DATABASE CONSTRAINTS HD Ehrich, UW Lipeck, M Gogolla | 46 | 1984 |
