direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

<< zurück [1]
vor >> [20]

1981

Transformation of structures: an algebraic approach [24]

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

Mathematical Systems Theory, 305–334. 1981

Download Bibtex Eintrag [25]

Parameter Passing in Algebraic Specification Languages [26]

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

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

Download Bibtex Eintrag [27]

Complexity of Algebraic Implementations for Abstract Data Types [28]

Ehrig, H. and Mahr, B.

JCSS, 223–253. 1981

Download Bibtex Eintrag [29]

Algebraic theory of parameterized specifications with requirements [30]

Ehrig, H.

Proc. CAAP '81. SPRINGER, 1–24. 1981

Download Bibtex Eintrag [31]

1980

Algebraische Spezifikationen eines Stücklistensystems - Eine Fallstudie [32]

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 [33]

Parameterized Data Types in Algebraic Specification Languages [34]

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 [35]

Applications of Graph Grammar Theory to Consistency, Synchronization, and Scheduling in Database Systems [36]

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

Information Systems, 225-238. 1980

Download Bibtex Eintrag [37]

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

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 [39]

A Case Study of Abstract Implementation and their Correctness [40]

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

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

Download Bibtex Eintrag [41]

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

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

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

Download Bibtex Eintrag [43]

Parameterized data types in algebraic specification languages [44]

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

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

Download Bibtex Eintrag [45]

Complexity of Implementations on the Level of Algebraic Specifications [46]

Ehrig, H. and Mahr, B.

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

Download Bibtex Eintrag [47]

The Mathematics of Record Handling [48]

Ehrig, H. and Rosen, B.

SIAM J. COMPUT., 441 – 469. 1980

Download Bibtex Eintrag [49]

Parallelism and concurrency of graph manipulations [50]

Ehrig, H. and Rosen, B. K.

TCS, 247–275. 1980

Download Bibtex Eintrag [51]

1979

Categorical Approach to Nonlinear Constant Continuous Time Systems [52]

Ehrig, H. and Kühnel, W.

RAIRO, 107–133. 1979

Download Bibtex Eintrag [53]

The Skeleton of Minimal Realization [54]

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

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

Download Bibtex Eintrag [55]

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

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 [57]

Pushout-properties: an analysis of gluing constructions for graphs [58]

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

Mathematische Nachrichten, 135–149. 1979

Download Bibtex Eintrag [59]

Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme [60]

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

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

Download Bibtex Eintrag [61]

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

Ehrig, H. and Liedtke, A.

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

Download Bibtex Eintrag [63]

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

Ehrig, H.

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

Download Bibtex Eintrag [65]

Decomposition of Graph Grammars, Productions and Derivations [66]

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 [67]

1978

Pushout Properties: An Analysis of Gluing Constructions for Graphs, [68]

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

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

Download Bibtex Eintrag [69]

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

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

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

Download Bibtex Eintrag [71]

Deriving Structures from Structures [72]

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 [73]

Stepwise specification and implementation of abstract data types [74]

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

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

Download Bibtex Eintrag [75]

Algebraic specification schemes for data base systems. [76]

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 [77]

Concurrency of Manipulations in Multi-dimensional Information Structures [78]

Ehrig, H. and Rosen, B.

1978

Download Bibtex Eintrag [79]

Concurrency of Manipulations in Multi-dimensional Information Structures [80]

Ehrig, H. and Rosen, B.

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

Download Bibtex Eintrag [81]

1977

Embedding Theorems in the Algebraic Theory of Graph Grammars [82]

Ehrig, H.

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

Download Bibtex Eintrag [83]

<< zurück [84]
vor >> [103]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008