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 726 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Keyword
Title
Type
[
Year
]
1968
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)
1970
Ehrich, H. - D.
,
"
Über eine Reduktionsmöglichkeit gewisser Überdeckungsprobleme
",
Automatentheorie und Formale Sprachen, Bericht Nr. 3 einer Tagung des Mathematischen Forschungsinstituts Oberwolfach, Oktober 1969
: Bibliographisches Institut Mannheim, 1970.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1970MFO3.pdf
(725.62 KB)
1972
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)
1973
Ehrich, H. - D.
,
"
Datenstrukturen und Q-Systeme - eine Mathematische Studie
",
Proc. 3. Jahrestagung der GI
: Springer, LNCS 1, pp363-371, 1973.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1973GIJahrestagung.pdf
(834.06 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)
1974
Ehrich, H. - D.
,
"
Theory of Direct-Access Storage Functions
",
Proc. IFIP'74 Congress, pp 647-651
: North-Holland, 1974.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1974IFIP.pdf
(217.89 KB)
1975
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)
1976
Ehrich, H. - D.
,
"
An Axiomatic Approach to Information Structures
",
Proc. 5th MFCS
: Springer, LNCS 45, pp 277-283, 1976.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1976MFCS.pdf
(364.21 KB)
Ehrich, H. - D.
,
"
Ein axiomatischer Ansatz für eine Algebra strukturierter Objekte
",
Graphensprachen und Algorithmen auf Graphen
: Hanser, Appl. Comp. Sc. 1, pages 143–161, 1976.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1976Graphen1.pdf
(522.3 KB)
Ehrich, H. - D.
,
"
Eine Mathematische Semantik für die Beschreibung von Datenstrukturen
",
Graphen, Algorithmen, Datenstrukturen
: Hanser Appl Comp. Sc. 4, pp 53-64, 1976.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1976Graphen2.pdf
(716.42 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.
,
"
Outline of an Algebraic Theory of Structured Objects
",
Proc. 3rd ICALP, pages 508-530
: Edinburgh University Press, 1976.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1976EdinBurgh.pdf
(966.41 KB)
1977
Ehrich, H. - D.
,
"
Algebraic Semantics of Type Definitions and Structured Variables
",
Proc. FCT’77
: Springer LNCS 56, 1977.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1977FCT.pdf
(283.25 KB)
1978
Ehrich, H. - D.
,
"
Algebraische Spezifikation von Datenstrukturen
",
Datenstrukturen, Graphen, Algorithmen.
: Hanser Appl. Comp. Sc. 8, pp 48-61, 1978.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1978Graphen3.pdf
(419.04 KB)
Ehrich, H. - D.
, and
V. G. Lohberger
,
"
Constructing Specifications of Abstract Data Types by Replacements
",
Proc. Int. Colloquium on Graph Grammars
: Springer LNCS 73, pp 180-191, 1978.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1978SpecReplace.pdf
(214.4 KB)
Ehrich, H. - D.
,
"
Extensions and Implementations of Abstract Data Type Specifications
",
Proc. 7th MFCS
: Springer LNCS 64, pages 155–164, 1978.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1978MFCS.pdf
(217.71 KB)
1979
Ehrich, H. - D.
, and
V. G. Lohberger
,
"
Parametrie Specification of Abstract Data Types, Parameter Substitution, and Graph Replacements
",
Proceedings of the Workshop on "Graphentheoretische Konzepte in der Informatik"
: Hanser-Verlag, 1979.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1979Graphen4.pdf
(792.42 KB)
1980
Ehrich, H. - D.
,
"
Proving Implementations Correct - Two Alternative Approaches
",
IFIP Congress 1980
: North-Holland Publ. Comp., 1980.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1980IFIP.pdf
(384.86 KB)
Ehrich, H. - D.
,
"
Zur Theorie abstrakter Datentypen
",
Wiss. Z. Techn. Univ. Dresden
, vol. 29,2, pp. 344-346, 1980.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1980Dresden.pdf
(326.3 KB)
1981
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)
Ehrich, H. - D.
,
"
Specifying algebraic data types by domain equations
",
FCT
: Springer LNCS 117, 1981.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1981FCT-ADE.pdf
(485.92 KB)
Ehrich, H. - D.
,
"
On Realization and Implementation
",
MFCS
: Springer LNCS 118, 1981.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1981MFCS.pdf
(167.47 KB)
1982
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
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)
1983
Gogolla, M.
,
Algebraic Specifications with Partially Ordered Sorts and Declarations
,
, no. 169: Abt1 Informatik, Universität Dortmund, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
K. Drosten
,
U. Lipeck
, and
H. - D. Ehrich
,
"
Algebraic and operational semantics of exceptions and errors
",
Proc. 6. GI-Fachtagung für Theoretische Informatik
: Springer LNCS 145, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1983ExceptErrors.pdf
(198.63 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)
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)
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)
Durchholz, R.
, and
H. - D. Ehrich
,
"
Proceedings
",
Workshop on Information and Data Structure Description
, München, Bericht der GMD Nr. 139, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1984
Neumann, K.
, and
I. Ramm
,
Lastabhängige Änderungen am internen Schema von relationalen Datenbanken
,
: Technische Universität Braunschweig, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
Partially Ordered Sorts in Algebraic Specifications
,
, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
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
(ed)
,
"
Proceedings
",
GI – 14. Jahrestagung
, Braunschweig, Informatik-Fachberichte Nr. 88, Springer, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1
2
3
4
5
6
7
8
9
…
next ›
last »