TU Berlin

Theor. Informatik / Formale SpezifikationProf. Ehrig

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

Publications Prof. Hartmut Ehrig (TFS)

1996


1995


Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective

Engels, G. and Ehrig, H.

Proc. Colloquium on Graph Transformation and its Application in Computer Science, 25–28. 1995

Download Bibtex Eintrag



Computing with Algebraic Graph Transformations: Overview of Recent Results

Ehrig, H. and Korff, M.

Proc. Colloquium on Graph Transformation and its Application in Computer Science. Universitat de les Illes Balears, 17–23. 1995

Download Bibtex Eintrag

Algebraic High-Level Net Transformation Systems

Padberg, J., Ehrig, H. and Ribeiro, L.

Mathematical Structures in Computer Science, 217–256. 1995

Download Bibtex Eintrag



Dynamic Abstract Data Types Based on Algebraic Graph Transformations

Ehrig, H., Löwe, M. and Orejas, F.

Proc. of ADT-COMPASS Workshop. SPRINGER, 236-254. 1995

Download Bibtex Eintrag



How to Cope with the Spectrum of Spectrum

Wolter, U., Didrich, K., Cornelius, F., Klar, M., Wessäly, R. and Ehrig, H.

KORSO: Methods, Languages, and Tools for the Construction of Correct Software. SPRINGER, 173-189. 1995

Download Bibtex Eintrag




Introduction to COMPUGRAPH

Ehrig, H.

Proc. of SEGRAGRA'95 ``Graph Rewriting and Computation'' 1995

Link zur Publikation Download Bibtex Eintrag



1994

Linking Dynamic Abstract Datatypes with Algebraic High-Level Nets

Ehrig, H. and Padberg, J.

EACTS, Bull. 54, 132–144. 1994

Download Bibtex Eintrag

Functorial Theory of Parameterized Specifications in a General Specification Framework

Ehrig, H. and Große-Rhode, M.

Theoretical Computer Science, 221 - 266. 1994

Download Bibtex Eintrag



Computing with Algebraic Graph Transformations: An Overview of Recent Results

Ehrig, H. and Korff, M.

Proc. of Graph Grammar Workshop, Mallorca, Spain 1994

Download Bibtex Eintrag



Algebraic Methods in the Compositional Analysis of Logic Programs

Orejas, F., Pino, E. and Ehrig, H.

Proc. MFCS'94. SPRINGER. 1994

Download Bibtex Eintrag

Canonical Derivations for High Level Replacement Systems

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

Graph Transformation in Computer Science. SPRINGER, 153–169. 1994

Download Bibtex Eintrag

Graph Transformations in Computer Science

Schneider, H.-J. and Ehrig, H.

||SPRINGER. 1994

Download Bibtex Eintrag

Functorial Semantics for Safe Graph Grammars Using Prime Algebraic Domains and Event Structures

Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Padberg, J.

Proc. 5th Int. Workshop on Graph Transformation, Williamsburg, Virgina, USA, 120–126. 1994

Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe