direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

E

Kategorien und Automaten

Ehrig, H. and Pfender, M. et al.

||de Gruyter Lehrbuch. 1972

Download Bibtex Eintrag

Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS

Ehrig, H., Claßen, I., Boehm, P., Fey, W., Korff, M. and Löwe, M.

Syst.\ Anal.\ Model.\ Simul., 353–373. 1991

Download Bibtex Eintrag

Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels

Ehrig, H. and Prange, U.

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

Link zur Publikation Download Bibtex Eintrag

Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS

Ehrig, H., Claßen, I., Boehm, P., Fey, W., Korff, M. and Löwe, M.

Informatik Fachberichte 212. SPRINGER, 201–224. 1989

Download Bibtex Eintrag

Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations

Ehrig, H. and Prange, U.

Algebra, Meaning and Computation. Essays Dedicated to J.A. Goguen. SPRINGER, 235–251. 2006

Link zur Publikation Download Bibtex Eintrag


Modeling with Graph Transformation

Ehrig, H. and Prange, U.

Advances in Multiagent Systems, Robotics and Cybernetics: Theory and Practice. Proceedings of Intern. Conf. on Systems Research, Informatics and Cybernetics 2005. IIAS. 2006

Link zur Publikation Download Bibtex Eintrag

Algebraic Specification of Software Systems

Ehrig, H. and Classen, I.

BEACTS, 145–153. 1990

Download Bibtex Eintrag


Overview of Algebraic Specification Languages

Ehrig, H. and Classen, I.

BEACTS, 103–111. 1989

Download Bibtex Eintrag

Modeling with Graph Transformation

Ehrig, H. and Prange, U.

Proceedings of InterSymp 2005. IIAS. 2005

Link zur Publikation Download Bibtex Eintrag

Overview of Formal Concepts for Model Transformations based on Typed Attributed Graph Transformation

Ehrig, H. and Ehrig, K.

Proc. Int. Workshop on Graph and Model Transformation (GraMoT'05). Elsevier Science. 2005

Link zur Publikation Download Bibtex Eintrag

Fundamental Theory for Typed Attributed Graph Transformation

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

Proc. 2nd Int. Conference on Graph Transformation (ICGT'04), Rome, Italy. SPRINGER. 2004

Link zur Publikation Download Bibtex Eintrag

Information Preserving Bidirectional Model Transformations

Ehrig, H., Ehrig, K., Ermel, C., Hermann, F. and Taentzer, G.

Fundamental Approaches to Software Engineering. SPRINGER, 72–86. 2007

Link zur Publikation Download Bibtex Eintrag


Construction and Correctness Analysis of a Model Transformation from Activity Diagrams to Petri Nets

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

Proc. Intern. IMCAS Symposium on Mathematical Modelling (MathMod). ARGESIM-Reports. 2006

Link zur Publikation Download Bibtex Eintrag

An Algebraic View on Petri Nets

Ehrig, H. and Reisig, W.

BEATCS, 52–58. 1997

Download Bibtex Eintrag

Consistent Integration of Models Based on Views of Visual Languages

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

Proc. Fundamental Approaches to Software Engineering (FASE'08). SPRINGER, 62–76. 2008

Link zur Publikation Download Bibtex Eintrag


Consistent Integration of Models based on Views of Meta Models

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

Formal Aspects of Computing, 327-345. 2010

Download Bibtex Eintrag



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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe