direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

<< zurück [1]
vor >> [20]

E

Horizontal and Vertical Structuring Techniques for Statecharts [24]

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

1996

Download Bibtex Eintrag [25]

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

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

Mathematical Structures in Computer Science 2014

Download Bibtex Eintrag [27]

Categorical Frameworks for Graph Transformation and HLR Systems based on the DPO Approach [28]

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

BEATCS, 111–121. 2010

Link zur Publikation [29] Download Bibtex Eintrag [30]

Functorial Theory of Parameterized Specifications in a General Specification Framework [31]

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

Theoretical Computer Science, 221 - 266. 1994

Download Bibtex Eintrag [32]

INT: Integration of Specification Techniques with Applications in Enginering (Extended Abstracts) [33]

Ehrig, H., Große–Rhode, M. and Orejas, F.

2000

Download Bibtex Eintrag [34]

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

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

Applied Categorical Structures, 1–35. 1998

Download Bibtex Eintrag [36]

On the Role of Category Theory in the Area of Algebraic Specifications [37]

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

1995

Download Bibtex Eintrag [38]

Structural Theory of Algebraic Specifications in a Specification Logic – Part 1: Functorial Parameterized Specifications [39]

Ehrig, H. and e-Rhode, M. G.

1991

Download Bibtex Eintrag [40]

On the Role of Category Theory in the Area of Algebraic Specifications [41]

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

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

Download Bibtex Eintrag [42]

Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen [43]

Ehrig, H. and Grosse Rhode, M.

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

Download Bibtex Eintrag [44]

Restriction Constructions in Specification Logics [45]

Ehrig, H. and Grosse-Rhode, M.

BEATCS, 84–89. 1992

Download Bibtex Eintrag [46]

Graph grammars with application conditions [47]

Ehrig, H. and Habel, A.

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

Download Bibtex Eintrag [48]

Introduction to Graph Grammars with Applications to Semantical Networks [49]

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

Computers and Mathematics with Applications, 557-572. 1992

Download Bibtex Eintrag [50]

Parallelism and Concurrency in High-Level Replacement Systems [51]

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

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

Download Bibtex Eintrag [52]

From Graph Grammars to high level replacement systems [53]

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 [54]

Parallelism and Concurrency in High Level Replacement Systems [55]

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

1990

Download Bibtex Eintrag [56]

Parallelism and Concurrency Theorems for Rules with Nested Application Conditions [57]

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 [58] Download Bibtex Eintrag [59]

Local Confluence for Rules with Nested Application Conditions [60]

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 [61] Download Bibtex Eintrag [62]

Adhesive High-Level Replacement Categories and Systems [63]

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 [64] Download Bibtex Eintrag [65]

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

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

Fundamenta Informaticae, 1–29. 2006

Link zur Publikation [67] Download Bibtex Eintrag [68]

Basic Results for Two Types of High-Level Replacement Systems [69]

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

Proc. GETGRATS Closing Workshop, 12. 2002

Link zur Publikation [70] Download Bibtex Eintrag [71]

Concurrent Transformation of Relational Structures [72]

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

, 13-50. 1986

Download Bibtex Eintrag [73]

Formal Notation, Results, and Research Topics for Generic Vidual Language and Transformation Approaches [74]

Ehrig, H., Habel, A., Taentzer, G. and Ehrig et al., K.

2003

Download Bibtex Eintrag [75]

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

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 [77]

Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach [78]

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

1996

Download Bibtex Eintrag [79]

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

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 [81]

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

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 [83]

Construction and Characterization of Double-Pullback Graph Transitions [84]

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 [85]

Basic Properties of Double-Pullback Graph Transitions [86]

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

1999

Download Bibtex Eintrag [87]

Basic Properties of Double-Pullback Graph Transitions [88]

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

1999

Download Bibtex Eintrag [89]

<< zurück [90]
vor >> [109]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008