TU Berlin

Theor. Informatik / Formale SpezifikationProf. Ehrig

Logo der Abteilung TFS

Inhalt des Dokuments

zur Navigation

Publications Prof. Hartmut Ehrig (TFS)

1997

How to Transfer Concepts of Abstract Data Types to Petri Nets

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

BEACTS, 106–104. 1997

Download Bibtex Eintrag

How to Transfer Concepts of Abstract Data Types to Petri Nets

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

, 29–38. 1997

Download Bibtex Eintrag

A Uniform Approach to Petri Nets

Ehrig, H. and Padberg, J.

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

Download Bibtex Eintrag

Introduction to Universal Parametrized Net Classes

Ehrig, H. and Padberg, J.

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

Download Bibtex Eintrag



1996


A View-Based Approach to System Modelling

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

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

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

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

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



Horizontal and Vertical Structuring Techniques for Statecharts

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

1996

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


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

Synchronization of Views and Loose Semantics of Typed Graph Productions

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



An Event Structure Semantics for Graph Grammars with Parallel Productions

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

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

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


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

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


Graph Grammars and Their Application to Computer ScienceGraph Grammars and Their Application to Computer Science

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

Download Bibtex Eintrag

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

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

1996

Download Bibtex Eintrag

A New Integration Paradigm for Formal Specification of Safe Software Systems

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


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

Ehrig, H. and Engels, G.

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

Download Bibtex Eintrag


Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe