direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)


Specification of Concurrently Executable Modules and Distributed Modular Systems

Weber, H. and Ehrig, H.

Proc.\ IEEE Workshop on Future Trends of Distr.\ Comp.\ Systems in the 1990s, Hongkong. IEEE, 202–215. 1988

Download Bibtex Eintrag


The Category of Typed Graph Grammars and their Adjunction with Categories of Derivations

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

5th Int.\ Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94. SPRINGER, 56-74. 1996

Download Bibtex Eintrag

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


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

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


Typed Graph Grammars and Their Adjunction with Categories of Derivations

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

Proc. 5th Int. Workshop on Graph Transformations, Williamsburg, Virginia, USA 1994

Download Bibtex Eintrag



An Event Structure Semantics for Safe Graph Grammars

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

Proc. PROCOMET'94, IFIP TC2 Working Conf., San Miniato 1994. IFIP TCS, 417–439. 1994

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


Abstract Graph Derivations in the Double Pushout Approch

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

Proc. Graph Grammar Workshop Dagstuhl 93. SPRINGER, 86–103. 1994

Download Bibtex Eintrag

DoublePB and loose Semantics(???)

Ehrig, H., Llabres, M. and Heckel, R.

Proc. international GraGra Workshop 1998

Download Bibtex Eintrag


Note on Standard Representation of Graphs and Graph Derivations

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

Proc. Graph Grammar Workshop Dagstuhl 93. SPRINGER, 104–118. 1994

Download Bibtex Eintrag

Future Trends of TAPSOFT

Ehrig, H. and Mahr, B.

TAPSOFT'97. SPRINGER, 6–10. 1997

Download Bibtex Eintrag

How to Cope with the Spectrum of Spectrum

Wolter, U., Didrich, K., Cornelius, F., Klar, M., Wess"aly, R. and Ehrig, H.

1994

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

Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties

Ehrig, H. and Mahr, B.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 134-152. 2001

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

An event structure semantics for safe graph grammars

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

Programming Concepts, Methods and Calculi. North-Holland. 1994

Download Bibtex Eintrag

Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997

Ehrig, H. and Mahr, B.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 118–130. 2001

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.

1994

Download Bibtex Eintrag

Algebraic Approaches to Graph Transformation Part I: Basic Concepts and Double Pushout Approach

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

Handbook of Graph Grammars and Computing by Graph transformation, Volume 1: Foundations. World Scientific, 163-246. 1997

Download Bibtex Eintrag

Graph Grammars and Their Application to Computer ScienceGraph Grammars and Their Application to Computer Science

5th Int.\ Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94. SPRINGER. 1996

Download Bibtex Eintrag

Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach

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

Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 163–245. 1997

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe