Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
› Biblio
Biblio
List
Filter
Export 133 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Keyword
Title
[
Type
]
Year
Filters:
Author
is
Ehrich, H.-D.
[Clear All Filters]
Technical Report
Ehrich, H. - D.
,
G. Engels
,
J. Paradaens
,
P. Wegner
, and
(eds)
,
Fundamentals of Object- Oriented Languages. Dagstuhl Seminar Report Nr. 95 (9434)
,
, Schloss Dagstuhl, IBFI GmbH, 1994.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1994DagstuhlSeminar9434.pdf
(336.72 KB)
Ehrich, H. - D.
,
Y. Feng
,
D. Kung
, and
(eds)
,
Object-Oriented Software Development, Dagstuhl Seminar Report 9715
,
, Schloss Dagstuhl, IBFI GmbH, 1997.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1997DagstuhlSemina9715.pdf
(196.96 KB)
Ryan, M. D.
,
J. - J. C. Meyer
,
H. - D. Ehrich
, and
(eds)
,
Objects, Agents, and Features. Dagstuhl Seminar 13081 Report
,
, Schloss Dagstuhl, IBFI GmbH, 2003.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2003DagstuhlSeminar03081.pdf
(97.64 KB)
Ryan, M. D.
,
J. - J. C. Meyer
,
H. - D. Ehrich
, and
(eds)
,
Objects, Agents, and Features. Dagstuhl Seminar 13081 Report
,
, Schloss Dagstuhl, IBFI GmbH, 2003.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2003DagstuhlSeminar03081.pdf
(97.64 KB)
Ehrich, H. - D.
,
U. Goltz
,
J. Meseguer
,
A. Pnueli
, and
(eds)
,
Specication of Distributed Information Systems. Dagstuhl Seminar 00081 Report
,
, Schloss Dagstuhl, IBFI GmbH, 2000.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2000DagstuhlSemina00081.pdf
(187.18 KB)
Miscellaneous
Ehrich, H. - D.
,
M. Gogolla
, and
U. W. Lipeck
,
Algebraische Spezifikation abstrakter Datentypen
,
: Teubner, Stuttgart, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Grau, A.
,
M. Kowsari
, and
H. - D. Ehrich
,
"
A CASE-Tool Environment for Developing and Validating Conceptual Models (Poster Session)
",
9th Conference on Advanced Information Systems Engineering (CAISE'97), Barcelona, June 18-20
, 1997.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
, and
H. - D. Ehrich
,
Contributions to: Algebraic System Specification and Development
,
, Bidoit, M., Kreowski, H.-J., Lescanne, P., Orejas, F. and Sannella, D., editors: Springer, Berlin, LNCS 501, 1991.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Stiege, G.
,
H. - D. Ehrich
, and
W. - T. Balke
,
Datenbanken und Informationssysteme
,
, 2012.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2012IfIS.pdf
(2.44 MB)
Loeckx, J.
,
H. - D. Ehrich
, and
M. Wolf
,
Specification of abstract data types
,
: J. Wiley & Sons and B.G.Teubner Publishers, 1996.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Magazine Article
Gogolla, M.
, and
H. - D. Ehrich
,
"
Algebraic Specifications with Subsorts Using Declarations
",
EATCS Bulletin
, vol. 21, pp. 31-38, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1983EATCSBull.pdf
(93.61 KB)
Ehrich, H. - D.
,
"
BWG-Kommission „Das Kulturelle Erbe im Digitalen Zeitalter“
",
Jahrbuch der Braunschweigischen Wissenschaftlichen Gesellschaft
, vol. 2017_32, pp. 210-212, 06/2018.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2017_32_Jahrbuch_BWG_Ehrich.pdf
(509.2 KB)
Ehrich, H. - D.
,
"
Implicit Specification by Algebraic Domain Equations
",
EATCS Bulletin
, vol. 13, pp. 45-51, 1981.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1981EATCS.pdf
(341.1 KB)
Journal Article
Gogolla, M.
,
K. Drosten
,
U. W. Lipeck
, and
H. - D. Ehrich
,
"
Algebraic and Operational Semantics of Specifications allowing Exceptions and Errors
",
Theoretical Computer Science
, vol. 34, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1984TCS-ExcErr.pdf
(728.49 KB)
Ehrich, H. - D.
, and
U. Lipeck
,
"
Algebraic domain equations
",
Theoretical Computer Science
, vol. 27, pp. 167-196, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1983TCS-ADE.pdf
(951.11 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
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2007BWG.pdf
(491.15 KB)
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
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2003JUCS.pdf
(167.55 KB)
Engels, G.
,
M. Gogolla
,
U. Hohenstein
,
K. Hülsmann
,
P. Löhr-Richter
,
G. Saake
, and
H. - D. Ehrich
,
"
Conceptual modelling of database applications using an extended ER model
",
Data & Knowledge Engineering, North-Holland
, vol. 9, no. 2, pp. 157-204, 1992.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1992DKE.pdf
(883.85 KB)
Bieger, D.
,
H. - D. Ehrich
, and
O. Wassermann
,
"
Ein ALGOL-Programm zur rechnerischen Trennung nahe benachbarter Ionisationskonstanten nach Britton
",
Arzneim.-Forsch. (Drug Res.)
, vol. 18: Editio Cantor KG, pp. 373-377 , 1968.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1968DrugResearch.pdf
(450.68 KB)
Ehrich, H. - D.
,
"
Entwicklung zuverlässiger Informationssysteme
",
Informatik -- Forschung und Entwicklung
, vol. 8, no. 3, pp. 160-161, 1993.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1993KorSo2.pdf
(91.63 KB)
Conrad, S.
,
G. Denker
,
M. Gogolla
,
R. Herzig
,
N. Vlachantonis
, and
H. - D. Ehrich
,
"
Entwicklung zuverlässiger Informationssysteme
",
EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2
, vol. 2, pp. 25-33, 1995.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1995EMISA.pdf
(691.75 KB)
Ehrich, H. - D.
,
A. Sernadas
, and
C. Sernadas
,
"
From Data Types to Object Types
",
Journal on Information Processing and Cybernetics EIK
, vol. 26, no. 1-2, pp. 33-48, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1990EIK.pdf
(875.31 KB)
Sernadas, A.
,
H. - D. Ehrich
, and
J. - F. Costa
,
"
From Processes to Objects
",
The INESC Journal of Research and Development 1:1
, pp. 7-27, 1990.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1990INESC.pdf
(997.32 KB)
Ehrich, H. - D.
,
"
Fundamentals of Object-Oriented Information Systems Specification and Design: The OBLOG/TROLL Approach
",
Nuclear Instruments and Methods in Physics Research A
: Elsevier, Amsterdam, pp. 375-378, 1994.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1994CERN.pdf
(280.86 KB)
Ehrich, H. - D.
,
"
Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil I: Datenstrukturen und Schemata
",
Acta Informatica
, vol. 4: Springer, pp. 201-211, 1975.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1975Acta1.pdf
(409.11 KB)
Ehrich, H. - D.
,
"
Grundlagen einer Theorie der Datenstrukturen und Zugriffssysteme. Teil II: Zugriffssysteme
",
Acta Informatica
, vol. 4: Springer, pp. 299-310, 1975.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1975Acta2.pdf
(425.6 KB)
Drosten, K.
,
M. Gogolla
,
H. - D. Ehrich
, and
U. Lipeck
,
"
A Hierarchical Approach to an Operational Semantics for Conditional Algebraic Specifications
",
Berichte der Abteilung Informatik
, vol. 144: Universität Dortmund, 1982.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Hartel, P.
,
G. Denker
,
M. Kowsari
,
M. Krone
, and
H. - D. Ehrich
,
"
Information systems modelling with TROLL formal methods at work
",
Information Systems
, vol. 22, no. 2-3, pp. 79-99, 1997.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1997InfSysAtWork.pdf
(846.73 KB)
Ehrich, H. - D.
,
"
Informationssysteme - Hilfe für Dienstleister aller Art
",
Carolo-Wilhelmina Mitteilungen
, vol. Band 35 (Sonderheft "10 Jahre Simultan-Studiengänge"), pp. 46-47, 2000.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2000CWM.pdf
(461.8 KB)
Ehrich, H. - D.
,
"
Konzeptionelle Modellierung von Informationssystemen
",
Carolo-Wilhelmina Mitteilungen
, vol. Band 34 (Schwerpunktheft Informatik), pp. 16-19, 1999.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1999CWM.pdf
(515.72 KB)
Ehrich, H. - D.
,
"
Minimale und rn-minimale Variablenmengen für partielle Boole'sche Funktionen
",
Acta Informatica
, vol. 2: Springer, pp. 172-179, 1973.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1973Acta.pdf
(273.93 KB)
Ehrich, H. - D.
,
"
A Note on State Minimization of a Special Class of lncomplete Sequential Machines
",
IEEE Transactions on Computers
, vol. C-21, No. 5: The Institute of Electrical and Electronics Engineers, Inc., pp. 500-502, 1972.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1972IEEE-C-21.pdf
(144.06 KB)
Ehrich, H. - D.
, and
J. W. Lipski
,
"
On the Storage Space Requirement of Consecutive Retrieval with Redundancy
",
Information Processing Letters
, vol. 4 (4), pp. 101-104, 1976.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1976ConsecRetrieval.pdf
(168.16 KB)
Ehrich, H. - D.
,
"
On the Theory of Specification, Implementation and Parameterization of Abstract Data Types
",
Journal of the ACM
, vol. 29, pp. 206-227, 1982.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1982JACM.pdf
(449.29 KB)
Engels, G.
,
U. Pletat
, and
H. - D. Ehrich
,
"
An operational semantics for specification of abstract data types with error handling
",
Acta Informatica
, vol. 19: Springer, pp. 235-253, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1983Acta.pdf
(667.18 KB)
1
2
3
4
next ›
last »