direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

E

Horizontal and Vertical Structuring Techniques for Statecharts

Ehrig, H., Geisler, R., Klar, M. and Padberg, J.

1996

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


Functorial Theory of Parameterized Specifications in a General Specification Framework

Ehrig, H. and Große-Rhode, M.

Theoretical Computer Science, 221 - 266. 1994

Download Bibtex Eintrag


Applications of Category Theory to the Area of Algebraic Specification in Computer Science

Ehrig, H., Große-Rhode, M. and Wolter, U.

Applied Categorical Structures, 1–35. 1998

Download Bibtex Eintrag



On the Role of Category Theory in the Area of Algebraic Specifications

Ehrig, H., Groß e-Rhode, M. and Wolter, U.

Proc. WADT 11, Oslo. SPRINGER, 17–48. 1996

Download Bibtex Eintrag

Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen

Ehrig, H. and Grosse Rhode, M.

Informatik Forschung und Entwicklung, Springer-Verlag, 100–117. 2001

Download Bibtex Eintrag

Restriction Constructions in Specification Logics

Ehrig, H. and Grosse-Rhode, M.

BEATCS, 84–89. 1992

Download Bibtex Eintrag

Graph grammars with application conditions

Ehrig, H. and Habel, A.

The Book of L. SPRINGER, 87–100. 1985

Download Bibtex Eintrag

Introduction to Graph Grammars with Applications to Semantical Networks

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

Computers and Mathematics with Applications, 557-572. 1992

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

From Graph Grammars to high level replacement systems

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

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

Download Bibtex Eintrag

Parallelism and Concurrency in High Level Replacement Systems

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

1990

Download Bibtex Eintrag

Parallelism and Concurrency Theorems for Rules with Nested Application Conditions

Ehrig, H., Habel, A. and Lambers, L.

Manipulation of Graphs, Algebras and Pictures: Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Electronic Communications of the EASST, 1–24. 2010

Link zur Publikation Download Bibtex Eintrag

Local Confluence for Rules with Nested Application Conditions

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

Proceedings of Intern. Conf. on Graph Transformation (ICGT' 10). SPRINGER, 330–345. 2010

Link zur Publikation Download Bibtex Eintrag

Adhesive High-Level Replacement Categories and Systems

Ehrig, H., Habel, A., Padberg, J. and Prange, U.

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

Link zur Publikation Download Bibtex Eintrag

Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation

Ehrig, H., Habel, A., Padberg, J. and Prange, U.

Fundamenta Informaticae, 1–29. 2006

Link zur Publikation Download Bibtex Eintrag

Basic Results for Two Types of High-Level Replacement Systems

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

Proc. GETGRATS Closing Workshop, 12. 2002

Link zur Publikation Download Bibtex Eintrag

Concurrent Transformation of Relational Structures

Ehrig, H., Habel, A. and Rosen, B.

, 13-50. 1986

Download Bibtex Eintrag


ACT ONE. An Algebraic Specification Language Based on Initial Algebra and Free Functor Semantics.

Ehrig, H. and Hansen, H.

Proc. of the 10th National Summer School "Appl. of Math. in Eng." Varna. University of Varna. 1984

Download Bibtex Eintrag


Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach

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

Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 247–312. 1997

Download Bibtex Eintrag

Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach

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

The Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific, 247-312. 1996

Download Bibtex Eintrag

Construction and Characterization of Double-Pullback Graph Transitions

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

Proc.\ 6th Int. Workshop on Theory and Applications of Graph Transformation (TAGT'98), 308–315. 1998

Download Bibtex Eintrag

Basic Properties of Double-Pullback Graph Transitions

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

1999

Download Bibtex Eintrag

Basic Properties of Double-Pullback Graph Transitions

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

1999

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe