direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

1978


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

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

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

1981


A Graph Theoretical Model for Multi-Pass Parsing

Ehrig, H., Hoffmann, B. and Schmiedicke, I. R.

Proc. Workshop on Graph-Theoretical Concepts in Computer Science, Linz. Hanser Verlag, 19–31. 1981

Download Bibtex Eintrag

Parameter Passing in Algebraic Specification Languages

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

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

Download Bibtex Eintrag

Keywords in Context: An Algebraic Specification

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

Proc. Workshop on Program Specification, Aarhus, Denmark. SPRINGER, 78–83. 1981

Download Bibtex Eintrag

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



1982

Concurrency of node label controlled graph transformations

Janssens, D., Kreowski, H.-J., Rozenberg, G. and Ehrig, H.

1982

Download Bibtex Eintrag

Algebraic Implementation of Abstract Data Types

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

TCS, 209–263. 1982

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe