direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

E



The Mathematics of Record Handling

Ehrig, H. and Rosen, B.

SIAM J. COMPUT., 441 – 469. 1980

Download Bibtex Eintrag

Model Transformations by Graph Transformation are Functors

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

BEATCS, 134–142. 2007

Link zur Publikation Download Bibtex Eintrag


Constraints and Application Conditions: From Graphs to High-Level Structures

Ehrig, H., Ehrig, K., Habel, A. and Pennemann, K.-H.

Proc. 2nd Int. Conference on Graph Transformation (ICGT'04). SPRINGER, 287–303. 2004

Link zur Publikation Download Bibtex Eintrag

Concurrency of Manipulations in Multi-dimensional Information Structures

Ehrig, H. and Rosen, B.

Mathematical Foundations of Computer Science. SPRINGER, 65–176. 1978

Download Bibtex Eintrag

Theory of Constraints and Application Conditions: From Graphs to High-Level Structures

Ehrig, H., Ehrig, K., Habel, A. and Pennemann, K.-H.

Fundamenta Informaticae, 135–166. 2006

Link zur Publikation Download Bibtex Eintrag


From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars

Ehrig, H., Ehrig, K. and Hermann, F.

Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08). EASST. 2008

Link zur Publikation Download Bibtex Eintrag

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe