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]

1993

Algebraic Specification Techniques and Tools for Software Development - The ACT Approach [24]

Claßen, I., Ehrig, H. and Wolz, D.

||World Scientific. 1993

Download Bibtex Eintrag [25]

Categorical Principles, Techniques and Results for High-Level-Replacement Systems in Computer Science [26]

Ehrig, H. and Löwe, M.

Applied Categorical Structures (1), 21–50. 1993

Download Bibtex Eintrag [27]

The ESPRIT BRWG COMPUGRAPH Computing by Graph Transformations : A Survey [28]

Ehrig, H. and Löwe, M.

TCS 109. North-Holland, 3 – 6. 1993

Download Bibtex Eintrag [29]

Combined Algebraic Specification Techniques for Concurrent and Distributed Systems [30]

Ehrig, H.

Proc. GI-Annual Meeting, Dresden. Informatik, Wirtschaft, Gesellschaft, 528–533. 1993

Download Bibtex Eintrag [31]

Algebraic high-level nets: Petri nets revisited [32]

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

Proc. of the ADT-COMPASS Workshop'92 (Caldes de Malavella, Spain) 1993

Download Bibtex Eintrag [33]

High-Level Replacement Systems for Equational Algebraic Specifications [34]

Ehrig, H. and Parisi-Presicce, F.

Proc. 3rd Conf. on Algebraic and Logic Programming, Pisa, 1992 1993

Download Bibtex Eintrag [35]

Interaction Between Algebraic Specification Grammars and Modular Systems [36]

Ehrig, H. and Parisi-Presicce, F.

Proc. AMAST 93 1993

Download Bibtex Eintrag [37]

Towards a Module Concept for Graph Transformation Systems [38]

Ehrig, H. and Engels, G.

1993

Download Bibtex Eintrag [39]

1992

Specification techniques for concurrent and distributed systems [40]

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

1992

Download Bibtex Eintrag [41]

Specification techniques for concurrent and distributed systems [42]

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

Proc. 2nd Maghr. Conference on Software Engineering and Artificial Intelligence, Tunis 1992

Download Bibtex Eintrag [43]

Restriction Constructions in Specification Logics [44]

Ehrig, H. and Grosse-Rhode, M.

BEATCS, 84–89. 1992

Download Bibtex Eintrag [45]

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

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

Computers and Mathematics with Applications, 557-572. 1992

Download Bibtex Eintrag [47]

Computing by Graph Transformation (COMPUGRAPH): Survey, Results, and Applications [48]

Beyer, M., Ehrig, H. and Löwe(eds.), M.

1992

Download Bibtex Eintrag [49]

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

Ehrig, H. and Löwe, M.

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

Download Bibtex Eintrag [51]

Computing by graph transformation (COMPUGRAPH): a survey [52]

Ehrig, H. and Löwe, M.

1992

Download Bibtex Eintrag [53]

Computing by graph transformation –- Final Report [54]

Ehrig, H. and Löwe, M.

1992

Download Bibtex Eintrag [55]

Note on Standard Representation of Graphs and Graph Derivations [56]

Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Rossi, F.

1992

Download Bibtex Eintrag [57]

Introduction to Algebraic Specification – Part 1: Formal Methods for Software Development [58]

Ehrig, H., Mahr, B., en, I. C. and Orejas, F.

The Computer Journal, 460–467. 1992

Download Bibtex Eintrag [59]

Introduction to Algebraic Specification – Part2: From Classical View to Foundations of System Specifications [60]

Ehrig, H., Mahr, B. and Orejas, F.

The Computer Journal, 468–477. 1992

Download Bibtex Eintrag [61]

Non-equivalence of categories for equational algebraic specifications in view of High-Level-Replacement systems [62]

Ehrig, H. and Parisi-Presicce, F.

Proc. WADT-COMPASS-Workshop Dourdan, 1991. SPRINGER, 222–235. 1992

Download Bibtex Eintrag [63]

New concepts for amalgamation and extension in the framework of specification logics [64]

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

Proc. WADT-COMPASS-Workshop Dourdan, 1991. SPRINGER, 199–221. 1992

Download Bibtex Eintrag [65]

From Parallel Graph Grammars to Parallel High- Level Replacement Systems [66]

Ehrig, H. and Taentzer, G.

Lindenmayer Systems. SPRINGER, 283–303. 1992

Download Bibtex Eintrag [67]

1991

Compositionality Results for Different Types of Parametrization and Parameter Passing in Specification Languages [68]

H.Ehrig, A.M.Jimenez and F.Orejas

1991

Download Bibtex Eintrag [69]

Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms [70]

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

BEATCS, 129 – 143. 1991

Download Bibtex Eintrag [71]

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

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

1991

Download Bibtex Eintrag [73]

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

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

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

Download Bibtex Eintrag [75]

From Graph Grammars to high level replacement systems [76]

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

Algebraic approach to graph transformation based on single pushout derivations [78]

Löwe, M. and Ehrig, H.

Graph-Theoretic Concepts in Computer Science, WG '90. SPRINGER, 338–353. 1991

Download Bibtex Eintrag [79]

On the relationship between algebraic module specifications and program modules [80]

Löwe, M., Ehrig, H., Fey, W. and Jacobs, D.

Proc. TAPSOFT. SPRINGER, 83-98. 1991

Download Bibtex Eintrag [81]

Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts [82]

Ehrig, H., Korff, M. and Löwe, M.

4th Int. Workshop on Graph Grammars and their Application to Computer Science. SPRINGER, 24–37. 1991

Download Bibtex Eintrag [83]

<< zurück [84]
vor >> [103]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008