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]

1997

How to Transfer Concepts of Abstract Data Types to Petri Nets [24]

Ehrig, H., Merten, A. and Padberg, J.

BEACTS, 106–104. 1997

Download Bibtex Eintrag [25]

How to Transfer Concepts of Abstract Data Types to Petri Nets [26]

Ehrig, H., Merten, A. and Padberg, J.

, 29–38. 1997

Download Bibtex Eintrag [27]

A Uniform Approach to Petri Nets [28]

Ehrig, H. and Padberg, J.

Foundations of Computer Science: Potential - Theory - Cognition. SPRINGER, 219–231. 1997

Download Bibtex Eintrag [29]

Introduction to Universal Parametrized Net Classes [30]

Ehrig, H. and Padberg, J.

MoveOn-Proc. der DFG-Forschergruppe``Petrinetz-Technologie''. Forschungsberichte des Fachbereichs Informatik, 39–51. 1997

Download Bibtex Eintrag [31]

Introduction to Universal Parameterized Net Classes [32]

Ehrig, H. and Padberg, J.

, 39–52. 1997

Download Bibtex Eintrag [33]

Move-On-Workshop der DFG-Forschergruppe Petrinetz-Technologie [34]

Ehrig, H., Reisig, W. and Weber, H.

1997

Download Bibtex Eintrag [35]

1996

The Impact and Future Role of Algebraic Specification [36]

Ehrig, H. and Wolter, U.

BEATCS, 74-77. 1996

Download Bibtex Eintrag [37]

A View-Based Approach to System Modelling [38]

Engels, E., Ehrig, H., Heckel, R., Taentzer, G. and Corradini, A.

Report on the Dagstuhl-Seminar 9637 emphGraph Transformations in Computer Science 1996

Download Bibtex Eintrag [39]

Requirements Engineering of a Medical Information System Using Rule-Based Refinement of Petri Nets [40]

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

Proc. Integrated Design and Process Technology, 186–193. 1996

Download Bibtex Eintrag [41]

Horizontal and Vertical Structuring of Typed Graph Transformation Systems [42]

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

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

Download Bibtex Eintrag [43]

Horizontal and Vertical Structuring of Typed Graph Transformation Systems [44]

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

1996

Download Bibtex Eintrag [45]

A Coalgebraic Loose Semantics for Graphtransformation Systems with Behavioral Constraints [46]

Heckel, R., Ehrig, H., Padberg, J., Wolter, U. and Corradini, A.

1996

Download Bibtex Eintrag [47]

Horizontal and Vertical Structuring Techniques for Statecharts [48]

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

1996

Download Bibtex Eintrag [49]

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

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

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

Download Bibtex Eintrag [51]

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

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

1996

Download Bibtex Eintrag [53]

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

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

Synchronization of Views and Loose Semantics of Typed Graph Productions [56]

Ehrig, H., Heckel, R., Padberg, J., Taentzer, G., Wolter, U., Corradini, A. and Engels, G.

Report on the Dagstuhl-Seminar 9637 emphGraph Transformations in Computer Science 1996

Download Bibtex Eintrag [57]

Graph Grammars - An Introduction to the Double-Pushout Approach [58]

Martini, A., Ehrig, H. and Nunes, D.

1996

Download Bibtex Eintrag [59]

Basic Concepts of Equational Parameterized Specifications [60]

Martini, A., Ehrig, H. and Nunes, D.

1996

Download Bibtex Eintrag [61]

An Event Structure Semantics for Graph Grammars with Parallel Productions [62]

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

5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94, 240 - 256. 1996

Download Bibtex Eintrag [63]

GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development [64]

Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Heckel, R., Ribeiro, R., Nunes, D. and Martini, A.

Proc. of the 3rd German-Brazilian Workshop on Information Technology, Berlin, December, 14th-15th 1995. Forschungszentrum Jülich GmbH, Bilateral Seminars of the International Bureau, Volume 26. 1996

Download Bibtex Eintrag [65]

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

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

1996

Download Bibtex Eintrag [67]

The Category of Typed Graph Grammars and their Adjunction with Categories of Derivations [68]

Corradini, A., Ehrig, H., Löwe, M., Montanari, U. and Padberg, J.

5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94. SPRINGER, 56-74. 1996

Download Bibtex Eintrag [69]

Algebraic Techniques in Software Development - A Review of Progress within the last two Decades [70]

Ehrig, H. and Mahr, B.

BEATCS, 105-117. 1996

Download Bibtex Eintrag [71]

Graph Grammars and Their Application to Computer ScienceGraph Grammars and Their Application to Computer Science [72]

5th Int. Workshop on Graph Grammars and their Application to Computer Science, Williamsburg '94. SPRINGER. 1996

Download Bibtex Eintrag [73]

Algebraic Approaches to Graph Transformation Part I: Basic Concepts and Double Pushout Approach [74]

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

1996

Download Bibtex Eintrag [75]

A New Integration Paradigm for Formal Specification of Safe Software Systems [76]

Ehrig, H., Bardohl, R., Cornelius, F., Geisler, R., Große-Rhode and Padberg, J.

Proc. 10th Japan-Germany Forum on Information Technology 1996

Download Bibtex Eintrag [77]

Integration of Algebraic Specifications and Petri Nets [78]

Ehrig, H. and Reisig, W.

BEATCS, 52–58. 1996

Download Bibtex Eintrag [79]

Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems [80]

Ehrig, H. and Engels, G.

Proc. Williamsburg, U.S.A.. SPRINGER, 137-154. 1996

Download Bibtex Eintrag [81]

Computing by Graph Transformation II. Final Report. ESPRIT Basic Research Working Group No. 7183 [82]

Ehrig, H. and Taentzer, G.

1996

Download Bibtex Eintrag [83]

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008