direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Algebraic High-Level Nets: Petri Nets Revisited

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

Recent Trends in Data Type Specification. SPRINGER, 188–206. 1994

Download Bibtex Eintrag


Algebraic High Level Nets: Petri Nets Revisited

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

1993

Download Bibtex Eintrag

Development, specification and semantics of strictly modular system

Ehrig, H.

Lect. Not. Seminar on State of the Art and Perspectives of Software Technology in Europe, U.S.A, and Japan, ICC Berlin. ICC Berlin. 1983

Download Bibtex Eintrag

Algebraic high-level nets: Petri nets revisited

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

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

Download Bibtex Eintrag


Workshop on Petri Nets and Graph Transformations

Ehrig, H., Padberg, J. and Rozenberg, G.

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

Link zur Publikation Download Bibtex Eintrag

Introduction to the Algebraic Theory of Graph Grammars (A Survey)

Ehrig, H.

Graph Grammars and their Application to Computer Science and Biology. SPRINGER, 1–69. 1979

Download Bibtex Eintrag


Embedding Theorems in the Algebraic Theory of Graph Grammars

Ehrig, H.

Fundamentals of Computation Theory cdot Proceedings of the 1977 International FCT-Conference. SPRINGER, 245–255. 1977

Download Bibtex Eintrag

Behaviour and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs

Ehrig, H., Padberg, J. and Rozenberg, G.

Workshop on Concurrency, Specification & Programming 1994

Download Bibtex Eintrag

High-Level Replacement Systems for Equational Algebraic Specifications

Ehrig, H. and Parisi-Presicce, F.

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

Download Bibtex Eintrag



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

Ehrig, H. and Parisi-Presicce, F.

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

Download Bibtex Eintrag

Linking Schemas and Module Specifications for Distributed Systems

Ehrig, H. and Arbib, M.

Proc. 2nd IEEE Workshop on Future Trends of Distributed Computing Systems. IEEE Computing Society, 165–171. 1990

Download Bibtex Eintrag


Distributed parallelism of graph transformation

Ehrig, H., Böhm, P., Hummert, U. and Löwe, M.

13th Int.\ Workshop on Graph Theoretic Concepts in Computer Science. SPRINGER, 1–19. 1988

Download Bibtex Eintrag

Algebraic Specification Grammars: Adjunction between Module Specifications and Graph Grammars

Ehrig, H. and Parisi-Presicce, F.

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

Download Bibtex Eintrag

Theory of Algebraic Module Specifications Including Behavioral Semantics and Constraints

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

Algebraic Methodology and Softwre Technology (AMAST), Iowa City. Springer Workshops in Computing 23, 145-172. 1991

Download Bibtex Eintrag


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

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

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

Download Bibtex Eintrag

A match operation for rule-based modular system design

Ehrig, H. and Parisi-Presicce, F.

Proc. ADT-Workshop, Wusterhausen. SPRINGER, 74–97. 1991

Download Bibtex Eintrag

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

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

Proc. ADT-Workshop Durdan. SPRINGER, 199 – 221. 1991

Download Bibtex Eintrag


Algebraic Data Type and Process Specifications Based on Projection Spaces

Ehrig, H., Parisi–Presicce, F., Boehm, P., Rieckhoff, C., Dimitrovici, C. and Große–Rhode, M.

Recent Trends in Data Type Specifications. SPRINGER, 23–43. 1988

Download Bibtex Eintrag

Specification Techniques using Dynamic Abstract Data Types and Application to Shipping Software

Ehrig, H. and Bardohl, R.

Proc. of the International Workshop on Advanced Software Technology, Shanghai, 70–85. 1994

Download Bibtex Eintrag

On Recent Trends in Algebraic Specification

Ehrig, H., Pepper, P. and Orejas, F.

Proc.\ ICALP '89. SPRINGER, 263-289. 1989

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

Abschlußbericht Projekt KORSO: Teilvorhaben: Formale Entwicklungsmethoden und Realisierungstechniken für korrekte Software

Ehrig, H., Pepper, P., Wolter, U., Jatzeck, M., Cornelius, F., Faulhaber, J., Grieskamp, W., Löwe, M., Claßen, I., Gerke, C. and Didrich, K.

1994

Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe