direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)



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.

1996

Download Bibtex Eintrag



Graph Grammars and Logic Programming

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

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

Download Bibtex Eintrag


Attributed Graph Transformation with Node Type Inheritance: Long Version

de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G.

2005

Download Bibtex Eintrag


Mehrdimensionale Sprachen

Denert, E. and Ehrig, H.

1976

Download Bibtex Eintrag



Complexity of Implementations on the Level of Algebraic Specifications

Ehrig, H. and Mahr, B.

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

Download Bibtex Eintrag

From State- to Delta-based Bidirectional Model Transformations: The Symmetric Case

Diskin, Z., Xiong, Y., Czarnecki, K., Ehrig, H., Hermann, F. and Orejas, F.

ACM/IEEE 14th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS'11). ACM / IEEE. 2011

Download Bibtex Eintrag


Mathematisch–strukturelle Grundlagen der Informatik

Ehrig, H., Mahr, B., Cornelius, F., Große–Rhode, M. and Zeitz, P.

||Springer Verlag, Berlin Heidelberg New–York. 1998

Download Bibtex Eintrag

Behavior and Instantiation of High-Level Net Processes

Ehrig, H.

Proc. Workshop on Uniform Approaches to Graphical Process Specification Techniques (UNIGRA). Elsevier, 16. 2003

Link zur Publikation Download Bibtex Eintrag

Mathematisch Strukturelle Grundlagen der Informatik, 2. überarbeitete Auflage

Ehrig, H., Mahr, B., Cornelius, F., Grosse-Rhode, M., Zeitz, P., Schröter, G. and Robering, K.

||SPRINGER. 2001

Download Bibtex Eintrag

Aspects of Concurrency in Graph Grammars

Ehrig, H.

Graph Grammars and their Application to Computer Science and Biology. SPRINGER, 82–101. 1983

Download Bibtex Eintrag


Concurrent Transformations of Graphs and Relational Structures

Ehrig, H.

Proc. WG 1983, Int. Workshop on Graphtheoretic Concepts in Computer Science, Osnabrück. Trauner Verlag, 76–88. 1983

Download Bibtex Eintrag

How to Transfer Concepts of Abstract Data Types to Petri Nets

Ehrig, H., Merten, A. and Padberg, J.

, 29–38. 1997

Download Bibtex Eintrag

On the Relevance of High-Level Net Processes

Ehrig, H.

Current Trends in Theoretical Computer Science: The Challenge of the New Century. World Scientific, Singapore etc. 2004, 89-95. 2004

Download Bibtex Eintrag

Integration Paradigm for Data Type and Process Specification Techniques

Ehrig, H. and Orejas, a. F.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore, 192 – 201. 2001

Link zur Publikation Download Bibtex Eintrag

Bigraphs Meet Double Pushouts

Ehrig, H.

Current Trends in Theoretical Computer Science: The Challenge of the New Century. World Scientific, Singapore etc. 2004, 27-41. 2004

Download Bibtex Eintrag

Dynamic Abstract Data Types: An Informal Proposal in 1994

Ehrig, H. and Orejas, F.

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

Download Bibtex Eintrag

On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000

Ehrig, H.

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

Download Bibtex Eintrag

A generic component framework for system modeling

Ehrig, H. and Orejas, F.

Proceedings of ETAPS-FASE (Fundamental Approaches of Software Engineering). SPRINGER, 33-48. 2002

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


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe