direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

J

A Transformation-Based Component Framework for a Generic Integrated Modeling Technique

Ehrig, H., Orejas, F., Braatz, B., Klein, M. and Piirainen, M.

Journal of Integrated Design and Process Science, 78–104. 2003

Link zur Publikation Download Bibtex Eintrag

Petri Net Modules in the Transformation-Based Component Framework

Padberg, J. and Ehrig, H.

Journal of Logic and Algebraic Programming, 198–225. 2006

Link zur Publikation Download Bibtex Eintrag

Petri Net Modules in the Transformation-Based Component Framework

Padberg, J. and Ehrig, H.

Journal of Logic and Algebraic Programming, 198-225. 2005

Link zur Publikation Download Bibtex Eintrag

M

Kategorielle Theorie der Reduktion, Minimierung und Äquivalenz von Automaten

Ehrig, H., Kreowski, H.-J. and Pfender, M.

Math. Nachr., 105–124. 1974

Download Bibtex Eintrag

F-Morphisms

Ehrig, H.

Math. Nachr., 75–93. 1974

Download Bibtex Eintrag

Horizontal and Vertical Structuring of Typed Graph Transformation Systems

Heckel, R., Corradini, A., Ehrig, H. and Löwe, M.

Math. Struc. in Comp. Science, 613-648. 1996

Download Bibtex Eintrag

Parallelism and Concurrency in High-Level Replacement Systems

Ehrig, H., Habel, A., Kreowski, H.-J. and Parisi-Presicce, F.

Math. Struct. in Comp. Science, 361–404. 1991

Download Bibtex Eintrag

Finitary M-Adhesive Categories

Gabriel, K., Braatz, B., Ehrig, H. and Golas, U.

Mathematical Structures in Computer Science, 1–40. 2014

Link zur Publikation Download Bibtex Eintrag

Multi-amalgamation of rules with application conditions in M-adhesive categories

Golas, U., Habel, A. and Ehrig, H.

Mathematical Structures in Computer Science 2014

Download Bibtex Eintrag

M-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

Ehrig, H., Golas, U., Habel, A., Lambers, L. and Orejas, F.

Mathematical Structures in Computer Science 2014

Download Bibtex Eintrag

Analysis of Permutation Equivalence in M-adhesive Transformation Systems with Negative Application Conditions

Hermann, F., Corradini, A. and Ehrig, H.

Mathematical Structures in Computer Science 2014

Download Bibtex Eintrag

Formal analysis of model transformations based on triple graph grammars

Hermann, F., Ehrig, H., Golas, U. and Orejas, F.

Mathematical Structures in Computer Science, 1-57. 2014

Download Bibtex Eintrag

Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting with Borrowed Contexts

Ehrig, H. and König, B.

Mathematical Structures in Computer Science, 1133–1163. 2006

Download Bibtex Eintrag

Algebraic High-Level Net Transformation Systems

Padberg, J., Ehrig, H. and Ribeiro, L.

Mathematical Structures in Computer Science, 217–256. 1995

Download Bibtex Eintrag

Abstract and behaviour module specifications

Cornelius, F., Baldamus, M., Ehrig, H. and Orejas, F.

Mathematical Structures in Computer Science, 21-62. 1999

Download Bibtex Eintrag

Transformation of structures: an algebraic approach

Ehrig, H., Kreowski, H.-J., Maggiolo-Schettini, A., Rosen, B. K. and Winkowski, J.

Mathematical Systems Theory, 305–334. 1981

Download Bibtex Eintrag

Pushout-properties: an analysis of gluing constructions for graphs

Ehrig, H. and Kreowski, H.-J.

Mathematische Nachrichten, 135–149. 1979

Download Bibtex Eintrag

From Parallel to Distributed Derivations of Graphs in the Single Pushout Approach

Ehrig, H. and Löwe, M.

Memorial Volume for R. Frank, Inf. Fachberichte 309, Berlin. SPRINGER, 47–65. 1992

Download Bibtex Eintrag

Concurrency and Loose Semantics of Open Graph Transformation Systems

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

MSCS, 349-376. 2002

Download Bibtex Eintrag






Abstract and Behaviour Module Specifications

Cornelius, F., Ehrig, H., Orejas, F. and Baldamus, M.

MSCS, 21–62. 1999

Download Bibtex Eintrag

P

Introduction to COMPUGRAPH

Ehrig, H.

Proc. of SEGRAGRA'95 ``Graph Rewriting and Computation'' 1995

Link zur Publikation Download Bibtex Eintrag

R


Topological Automata

Ehrig, H. and Kühnel, W.

RAIRO, 73–91. 1974

Download Bibtex Eintrag

Correctness of Horizontal and Vertical Composition for Implementation Concepts Based on Constructors and Abstractors

Ehrig, H., Kreowski, H.-J. and Orejas, F.

REVISTA MAEMATICA de la Universidad Complutense de Madrid, vol. 10, no. 2, 365–387. 1997

Download Bibtex Eintrag

S


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe