direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

1993



The ESPRIT BRWG COMPUGRAPH Computing by Graph Transformations : A Survey

Ehrig, H. and Löwe, M.

TCS 109. North-Holland, 3 – 6. 1993

Download Bibtex Eintrag

Combined Algebraic Specification Techniques for Concurrent and Distributed Systems

Ehrig, H.

Proc. GI-Annual Meeting, Dresden. Informatik, Wirtschaft, Gesellschaft, 528–533. 1993

Download Bibtex Eintrag

Algebraic high-level nets: Petri nets revisited

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

Proc. of the ADT-COMPASS Workshop'92 (Caldes de Malavella, Spain) 1993

Download Bibtex Eintrag

High-Level Replacement Systems for Equational Algebraic Specifications

Ehrig, H. and Parisi-Presicce, F.

Proc. 3rd Conf. on Algebraic and Logic Programming, Pisa, 1992 1993

Download Bibtex Eintrag



1992


Specification techniques for concurrent and distributed systems

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

Proc. 2nd Maghr. Conference on Software Engineering and Artificial Intelligence, Tunis 1992

Download Bibtex Eintrag

Restriction Constructions in Specification Logics

Ehrig, H. and Grosse-Rhode, M.

BEATCS, 84–89. 1992

Download Bibtex Eintrag

Introduction to Graph Grammars with Applications to Semantical Networks

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

Computers and Mathematics with Applications, 557-572. 1992

Download Bibtex Eintrag


From Parallel to Distributed Derivations of Graphs in the Single Pushout Approach

Ehrig, H. and Löwe, M.

Memorial Volume for R. Frank, Inf. Fachberichte 309, Berlin. SPRINGER, 47–65. 1992

Download Bibtex Eintrag



Note on Standard Representation of Graphs and Graph Derivations

Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Rossi, F.

1992

Download Bibtex Eintrag

Introduction to Algebraic Specification – Part 1: Formal Methods for Software Development

Ehrig, H., Mahr, B., en, I. C. and Orejas, F.

The Computer Journal, 460–467. 1992

Download Bibtex Eintrag


Non-equivalence of categories for equational algebraic specifications in view of High-Level-Replacement systems

Ehrig, H. and Parisi-Presicce, F.

Proc. WADT-COMPASS-Workshop Dourdan, 1991. SPRINGER, 222–235. 1992

Download Bibtex Eintrag

New concepts for amalgamation and extension in the framework of specification logics

Ehrig, H., Baldamus, M. and Orejas, F.

Proc. WADT-COMPASS-Workshop Dourdan, 1991. SPRINGER, 199–221. 1992

Download Bibtex Eintrag

From Parallel Graph Grammars to Parallel High- Level Replacement Systems

Ehrig, H. and Taentzer, G.

Lindenmayer Systems. SPRINGER, 283–303. 1992

Download Bibtex Eintrag

1991




Parallelism and Concurrency in High-Level Replacement Systems

Ehrig, H., Habel, A., Kreowski, H.-J. and Parisi-Presicce, F.

Math. Struct. in Comp. Science, 361–404. 1991

Download Bibtex Eintrag

From Graph Grammars to high level replacement systems

Ehrig, H., Habel, A., Kreowski, H.-J. and Parisi-Presicce, F.

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 269–291. 1991

Download Bibtex Eintrag

Algebraic approach to graph transformation based on single pushout derivations

Löwe, M. and Ehrig, H.

Graph-Theoretic Concepts in Computer Science, WG '90. SPRINGER, 338–353. 1991

Download Bibtex Eintrag

On the relationship between algebraic module specifications and program modules

Löwe, M., Ehrig, H., Fey, W. and Jacobs, D.

Proc. TAPSOFT. SPRINGER, 83-98. 1991

Download Bibtex Eintrag

Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts

Ehrig, H., Korff, M. and Löwe, M.

4th Int.\ Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 24–37. 1991

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe