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]

1996

Computing by Graph Transformation. A Survey and Annotated Bibliography [24]

Ehrig, H. and Taentzer, G.

1996

Download Bibtex Eintrag [25]

1995

On the Role of Category Theory in the Area of Algebraic Specifications [26]

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

1995

Download Bibtex Eintrag [27]

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

Engels, G. and Ehrig, H.

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

Download Bibtex Eintrag [29]

Compositionality and compatibility of parameterization and parameter passing in specification languages [30]

Jimenez, R., Orejas, F. and Ehrig, H.

MSCS, 283–314. 1995

Download Bibtex Eintrag [31]

Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Language [32]

Ehrig, H., Jimenez, R. M. and Orejas, F.

Special Issue of MSCS, 283–314. 1995

Download Bibtex Eintrag [33]

Computing with Algebraic Graph Transformations: Overview of Recent Results [34]

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

Algebraic High-Level Net Transformation Systems [36]

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

Mathematical Structures in Computer Science, 217–256. 1995

Download Bibtex Eintrag [37]

Correctness of Actualization for Parameterized Implementation Concepts Based on Constructors and Abstractors [38]

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

BEATCS, 79–85. 1995

Download Bibtex Eintrag [39]

Notes on Loose Semantics, Parameterized Specifications and Constraints for Typed Graph Grammars [40]

Corradini, A., Ehrig, H. and Heckel, R.

1995

Download Bibtex Eintrag [41]

Dynamic Abstract Data Types Based on Algebraic Graph Transformations [42]

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

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

Download Bibtex Eintrag [43]

Concept, Theoretical Foundation, and Validation of an Application Oriented Petri Net Technology [44]

Weber, H., Reisig, W. and Ehrig, H.

1995

Download Bibtex Eintrag [45]

Konzeption, theoretische Fundierung und Validierung einer anwendungsbezogenen Petrinetz-Technologie [46]

Weber, H., Reisig, W. and Ehrig, H.

1995

Download Bibtex Eintrag [47]

How to Cope with the Spectrum of Spectrum [48]

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

A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software Development [50]

Ehrig, H. and Mahr, B.

Proc. TAPSOFT'95. SPRINGER, 3–24. 1995

Download Bibtex Eintrag [51]

A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software Development [52]

Ehrig, H. and Mahr, B.

1995

Download Bibtex Eintrag [53]

Theory and Practice of Software Development: A Review of Driving Forces and Expectations [54]

Ehrig, H. and Mahr, B.

BEATCS, 135–144. 1995

Download Bibtex Eintrag [55]

Introduction to COMPUGRAPH [56]

Ehrig, H.

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

Link zur Publikation [57] Download Bibtex Eintrag [58]

COMPUGRAPH II: A Survey of Research Goals and Main Results [59]

Ehrig, H. and Taentzer, G.

BEATCS, 85–95. 1995

Download Bibtex Eintrag [60]

Computing by Graph Transformation II (COMPUGRAPH II), Third Interim Report ESPRIT Basic Research Working Group No. 7183 [61]

Ehrig, H. and Taentzer, G.

1995

Download Bibtex Eintrag [62]

1994

Linking Dynamic Abstract Datatypes with Algebraic High-Level Nets [63]

Ehrig, H. and Padberg, J.

EACTS, Bull. 54, 132–144. 1994

Download Bibtex Eintrag [64]

Functorial Theory of Parameterized Specifications in a General Specification Framework [65]

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

Theoretical Computer Science, 221 - 266. 1994

Download Bibtex Eintrag [66]

Strukturierung und Analyse algebraischer Graphtransformationssysteme [67]

Ehrig, H., Heckel, R., Taentzer, G. and Müller, J.

1994

Download Bibtex Eintrag [68]

COMPUGRAPH II: Computing by Graph Transformations II [69]

Korff, M. and Ehrig, H.

BEATCS, 107-120. 1994

Download Bibtex Eintrag [70]

Computing with Algebraic Graph Transformations: An Overview of Recent Results [71]

Ehrig, H. and Korff, M.

Proc. of Graph Grammar Workshop, Mallorca, Spain 1994

Download Bibtex Eintrag [72]

Computing by Graph Transformation II (COMPUGRAPH II). First Interim Report ESPRIT Basic Research Group No. 7183 [73]

Ehrig, H. and Korff, M.

1994

Download Bibtex Eintrag [74]

Computing by Graph Transformation II (COMPUGRAPH II). Second Interim Report ESPRIT Basic Research Group No. 7183 [75]

Ehrig, H. and Korff, M.

1994

Download Bibtex Eintrag [76]

Algebraic Methods in the Compositional Analysis of Logic Programs [77]

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

Proc. MFCS'94. SPRINGER. 1994

Download Bibtex Eintrag [78]

Canonical Derivations for High Level Replacement Systems [79]

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

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

Download Bibtex Eintrag [80]

Graph Transformations in Computer Science [81]

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

||SPRINGER. 1994

Download Bibtex Eintrag [82]

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

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

<< zurück [85]
vor >> [104]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008