direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

1981

Transformation of structures: an algebraic approach

Ehrig, H., Kreowski, H.-J., Maggiolo-Schettini, A., Rosen, B. K. and Winkowski, J.

Mathematical Systems Theory, 305–334. 1981

Download Bibtex Eintrag

Parameter Passing in Algebraic Specification Languages

Ehrig, H., Kreowski, H.-J., Thatcher, J., Wagner, E. and Wright, J.

Workshop on Program Specification, Aarhus. SPRINGER, 322–369. 1981

Download Bibtex Eintrag



1980

Algebraische Spezifikationen eines Stücklistensystems - Eine Fallstudie

Ehrig, H., Fey, W. and Kreowski, H.-J.

Proc. 2nd German Chapter of the ACM Software Engineering - Entwurf und Spezifikation, Berlin. Teubner Verlag, Stuttgart, 75–90. 1980

Download Bibtex Eintrag

Parameterized Data Types in Algebraic Specification Languages

Ehrig, H., Kreowski, H. J., Thatcher, J. W., Wagner, E. G. and Wright, J. B.

Proc.\ ICALP'80. SPRINGER, 157–168. 1980

Download Bibtex Eintrag


Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems

Ehrig, H., Kreowski, H.-J., Mahr, B. and Padawitz, P.

Proc. Conf. Math. Foundations of Computer Science, Rydzyna. SPRINGER, 231-245. 1980

Download Bibtex Eintrag

A Case Study of Abstract Implementation and their Correctness

Ehrig, H., Kreowski, H.-J. and Padawitz, P.

Proc. 4th Int. Symp. on Programming. SPRINGER, 108–122. 1980

Download Bibtex Eintrag

Algebraic implementation of abstract data types: Concept, Syntax, Semantics, and Correctness.

Ehrig, H., Kreowski, H.-J. and Padawitz, P.

Proc. ICALP'80. SPRINGER, 142–156. 1980

Download Bibtex Eintrag

Parameterized data types in algebraic specification languages

Ehrig, H., Kreowski, H.-J., Thatcher, J., Wagner, E. and Wright, J.

Proc. ICALP '80. SPRINGER, 157–168. 1980

Download Bibtex Eintrag

Complexity of Implementations on the Level of Algebraic Specifications

Ehrig, H. and Mahr, B.

Proc. 12th ACM Symposium Theory of Comp., Los Angeles, 281–293. 1980

Download Bibtex Eintrag

The Mathematics of Record Handling

Ehrig, H. and Rosen, B.

SIAM J. COMPUT., 441 – 469. 1980

Download Bibtex Eintrag

Parallelism and concurrency of graph manipulations

Ehrig, H. and Rosen, B. K.

TCS, 247–275. 1980

Download Bibtex Eintrag

1979


The Skeleton of Minimal Realization

Ehrig, H. and Kreowski, H.-J.

Studien zur Algebra und Anwendungen. Akademie-Verlag, 137–154. 1979

Download Bibtex Eintrag

A Graph Grammar Approach to Optimal and Consistent Schedules in Data Base Systems

Ehrig, H. and Kreowski, H.-J.

Proc. Workshop WG'79 Graphentheoretische Konzepte in der Informatik, Berlin. Hanser-Verlag München-Wien, 223–240. 1979

Download Bibtex Eintrag

Pushout-properties: an analysis of gluing constructions for graphs

Ehrig, H. and Kreowski, H.-J.

Mathematische Nachrichten, 135–149. 1979

Download Bibtex Eintrag

Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme

Ehrig, H. and Kreowski, H.-J.

Proc. Workshop Formale Modelle für Informationssysteme, IFB 21, 181–198. 1979

Download Bibtex Eintrag

Locally Star-Gluing Formulas for a Class of Parallel Graph Grammars

Ehrig, H. and Liedtke, A.

1st Int.\ Workshop on Graph Grammars and their Application to Computer Science and Biology. SPRINGER. 1979

Download Bibtex Eintrag

Introduction to the Algebraic Theory of Graph Grammars (A Survey)

Ehrig, H.

Graph Grammars and their Application to Computer Science and Biology. SPRINGER, 1–69. 1979

Download Bibtex Eintrag

Decomposition of Graph Grammars, Productions and Derivations

Ehrig, H. and Rosen, B.-K.

1st Int.\ Workshop on Graph Grammars and their Application to Computer Science and Biology. SPRINGER, 192–205. 1979

Download Bibtex Eintrag

1978

Pushout Properties: An Analysis of Gluing Constructions for Graphs,

Ehrig, H. and Kreowski, H.-J.

Proc. Nordwestdeutsches Kategorienseminar, Bielefeld. University of Bielefeld, 69–89. 1978

Download Bibtex Eintrag

Algebraic Theory of Graph Grammars Applied to Consistency and Synchronization in Data Base Systems

Ehrig, H. and Kreowski, H.-J.

Proc. Workshop WG'78 Graphentheoretische Konzepte in der Informatik. Hanser Verlag, 227-244. 1978

Download Bibtex Eintrag

Deriving Structures from Structures

Ehrig, H., Kreowski, H.-J., Maggiolo-Schettini, A., Rosen, B. and Winkowski, J.

Proc. 7th Int. Symp. on Math. Found. of Comp. Science, Zakopane. SPRINGER, 177–190. 1978

Download Bibtex Eintrag

Stepwise specification and implementation of abstract data types

Ehrig, H., Kreowski, H.-J. and Padawitz, P.

5th Int. Coll. Automata, Languages, and Programming. SPRINGER, 205–226. 1978

Download Bibtex Eintrag

Algebraic specification schemes for data base systems.

Ehrig, H., Kreowski, H.-J. and Weber, H.

Proc. 4th Int. Conf. Very Large Data Bases. Hahn-Meitner-Institut für Kernforschung, HMI-B266, 427–440. 1978

Download Bibtex Eintrag


Concurrency of Manipulations in Multi-dimensional Information Structures

Ehrig, H. and Rosen, B.

Mathematical Foundations of Computer Science. SPRINGER, 65–176. 1978

Download Bibtex Eintrag

1977

Embedding Theorems in the Algebraic Theory of Graph Grammars

Ehrig, H.

Fundamentals of Computation Theory cdot Proceedings of the 1977 International FCT-Conference. SPRINGER, 245–255. 1977

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe