direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

E

Parallelism and concurrency of graph manipulations

Ehrig, H. and Rosen, B. K.

TCS, 247–275. 1980

Download Bibtex Eintrag


Decomposition of Graph Grammars, Productions and Derivations

Ehrig, H. and Rosen, B.-K.

1st Int.\ Workshop on Graph Grammars and their Application to Computer Science and Biology. SPRINGER, 192–205. 1979

Download Bibtex Eintrag

Termination Criteria for Model Transformation

Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varró, D. and Varró-Gyapay, S.

Proc.\ Fundamental Approaches to Software Engineering (FASE). SPRINGER, 214–228. 2005

Link zur Publikation Download Bibtex Eintrag

Some Definitional Suggestions for Parallel Graph Grammars

Ehrig, H. and Rozenberg, G.

Formal Languages, Automata and Development. North Holland, 443 - 468. 1976

Download Bibtex Eintrag

Fundamentals of Algebraic Graph Transformation

Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G.

||SPRINGER. 2006

Link zur Publikation Download Bibtex Eintrag

Some Definitional Suggestions for Parallel Graph Grammars

Ehrig, H. and Rozenberg, G.

Automata, Laanguages Development. North-Holland Publishing Compasny, 443 – 468. 1976

Download Bibtex Eintrag


Graph Transformations and Other Rule-Based Formalisms with Incomplete Information

Ehrig, H., Rozenberg, G. and Padberg, J.

Proc. 6th International Workshop on Theory and Application of Graph Transformation. Universität Paderborn, 268–278. 1998

Download Bibtex Eintrag

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation

Ehrig, H., Ehrig, K., Prange, U. and Taentzer, G.

Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05) 2005

Link zur Publikation Download Bibtex Eintrag

The Relevance of Mathematics in Software System Development

Ehrig, H. and Schröter, G.

International Journal of Differential Equations and Applications, 169–182. 2001

Download Bibtex Eintrag

Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems

Ehrig, H. and Engels, G.

Proc. Williamsburg, U.S.A.. SPRINGER, 137-154. 1996

Download Bibtex Eintrag



The Role of Mathematics in Software System Development

Ehrig, H. and Schroeter, G.

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

Download Bibtex Eintrag

Semantical Correctness and Completeness of Model Transformations using Graph and Rule Transformation

Ehrig, H. and Ermel, C.

Proc. International Conference on Graph Transformation (ICGT'08). SPRINGER, 194–210. 2008

Link zur Publikation Download Bibtex Eintrag

Church-Rosser Poperties for Graph Replacement Systems with Unique Splitting

Ehrig, H. and Staples, J.

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

Download Bibtex Eintrag


A Proposal for Consistent Integration of Visual Computing with Visual Software Development

Ehrig, H. and Taentzer, G.

Proc. of Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2000), Satellite Workshop of 27th Int. Colloqium on Automata, Languages, and Programming (ICALP'2000) 2000

Download Bibtex Eintrag

Refactoring of Model Transformations

Ehrig, H., Ermel, C. and Ehrig, K.

Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'09). European Association of Software Science and Technology. 2009

Link zur Publikation Download Bibtex Eintrag




Graph and Model Transformation: General Framework and Applications

Ehrig, H., Ermel, C., Golas, U. and Hermann, F.

||Springer Berlin Heidelberg. 2015

Download Bibtex Eintrag


Confluence in Data Reduction: Bridging Graph Transformation and Kernelization

Ehrig, H., Ermel, C., Hüffner, F., Niedermeier, R. and Runge, O.

Proc. of Int. Conf. on Computability in Europe (CiE'12). Springer. 2012

Download Bibtex Eintrag


Confluence in Data Reduction: Bridging Graph Transformation and Kernelization

Ehrig, H., Ermel, C., Hüffner, F., Niedermeier, R. and Runge, O.

Computability. IOS Press, 31-49. 2013

Download Bibtex Eintrag


On the Relationship of Model Transformations Based on Triple and Plain Graph Grammars

Ehrig, H., Ermel, C. and Hermann, F.

Proc. Third International Workshop on Graph and Model Transformation (GraMoT'08). ACM, 9–16. 2008

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe