Concepedia

Hans-Dieter Ehrich

HE

15

Publications

698

Citations

12

H-Index

1976

Active since

Affiliations

Technische Universität Braunschweig(Current)

Siemens (Germany)

Hans-Dieter Ehrich is an author at Technische Universität Braunschweig specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware DesignData IntegrationInformation ManagementManagementData ModelingData ManagementAutomated Reasoning

Publications per year

1976–2010

15

Publications

15

On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types

Hans-Dieter Ehrich · Journal of the ACM · 1982 · 135 citations · Full text

Engineering, Type Theory, Bibliometrics +23

Object-Oriented Specification of Databases: An Algebraic Approach

Amı́lcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich · Very Large Data Bases · 1987 · 108 citations

Engineering, Object-oriented Specification, Management +10

Conceptual modelling of database applications using an extended ER model

Gregor Engels, Martin Gogolla, Uwe Hohenstein et al. · Data & Knowledge Engineering · 1992 · 108 citations

Database Design, Engineering, Data Science +14

Model Checking PLC Software Written in Function Block Diagram

Olivera Pavlović, Hans-Dieter Ehrich · 2010 · 67 citations

Engineering, Hardware Verification Language, Plc Applications +23

What is an Object, After All?

Amı́lcar Sernadas, Hans-Dieter Ehrich · 1990 · 43 citations

Rows per page

1–5 of 15