Specification of abstract data types J Loeckx, HD Ehrich, M Wolf John Wiley & Sons, Inc., 1997 | 332 | 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 | 202 | 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 | 191 | 1992 |
Algebraische Spezifikation abstrakter Datentypen: Eine Einführung in die Theorie HD Ehrich, M Gogolla, UW Lipeck Springer-Verlag, 2013 | 176 | 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 | 123 | 1990 |
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 | 104 | 1989 |
What is an object, after all? A Sernadas, HD Ehrich DS-4, 39-69, 1990 | 96 | 1990 |
Model checking PLC software written in function block diagram O Pavlovic, HD Ehrich 2010 Third International Conference on Software Testing, Verification and …, 2010 | 79 | 2010 |
Algebraic implementation of objects over objects HD Ehrich, A Sernadas Workshop/School/Symposium of the REX Project (Research and Education in …, 1989 | 73 | 1989 |
Abstract object types: A temporal perspective A Sernadas, J Fiadeiro, C Sernadas, HD Ehrich Temporal Logic in Specification, 324-350, 1989 | 69 | 1989 |
Logics for specifying concurrent information systems HD Ehrich, C Caleiro, A Sernadas, G Denker Logics for Databases and Information Systems, 167-198, 1998 | 66 | 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 | 62 | 1984 |
Local specification of distributed families of sequential objects HD Ehrich, A Sernadas Recent Trends in Data Type Specification, 219-235, 1994 | 58 | 1994 |
Objects and their specification HD Ehrich, M Gogolla, A Sernadas Recent Trends in Data Type Specification, 40-65, 1991 | 58 | 1991 |
Fundamental object concepts and constructions HD Ehrich, A Sernadas Information Systems {Correctness and Reusability, TU Braunschweig …, 1991 | 58 | 1991 |
>From Data Types to Object Types HD Ehrich, A Sernadas, C Sernadas Elektronische Informationsverarbeitung und Kybernetik 26 (1/2), 33-48, 1990 | 56 | 1990 |
SPECIFICATIDN, SEMANTICS, AND ENFDRCEMENT DF DYNAMIC DATABASE CONSTRAINTS HD Ehrich, UW Lipeck, M Gogolla | 53 | 1984 |
Specifying communication in distributed information systems HD Ehrich, C Caleiro Acta Informatica 36 (8), 591-616, 2000 | 49 | 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, 1989 | 45 | 1989 |