direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

E



Categorical Foundations of Distributed Graph Transformation

Ehrig, H., Orejas, F. and Prange, U.

Proc. Third International Conference on Graph Transformation (ICGT'06). SPRINGER, 215 – 229. 2006

Link zur Publikation 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

A Categorical Concept of Constraints for Algebraic Specifications

Ehrig, H.

Categorical Methods in Computer Science - with Aspects from Topology. SPRINGER, 1–15. 1989

Download Bibtex Eintrag

Graph Grammars and Petri Net Transformations

Ehrig, H. and Padberg, J.

Lectures on Concurrency and Petri Nets Special Issue Advanced Course PNT. SPRINGER, 496–536. 2004

Download Bibtex Eintrag



On Recent Trends in Algebraic Specification

Ehrig, H.

Invited Paper ICALP'89. SPRINGER, 263–288. 1989

Download Bibtex Eintrag

Linking Dynamic Abstract Datatypes with Algebraic High-Level Nets

Ehrig, H. and Padberg, J.

EACTS, Bull. 54, 132–144. 1994

Download Bibtex Eintrag

Algebraic Specification of Modeules and Modular Software Systems within the Framework of Specification Logics

Ehrig, H.

Proc. 1st Maghr. Conference on Software Engineering and Artificial Intelligence, Constantine, 79–92. 1989

Download Bibtex Eintrag

Linking Algebraic High-Level Nets and Dynamic Abstract Data Types

Ehrig, H. and Padberg, J.

Algebraic Specification Column. EATCS, 132 – 144. 1994

Download Bibtex Eintrag


A Generic Framework for Connector Architectures based on Components and Transformations

Ehrig, H., Padberg, J., Braatz, B., Klein, M., Orejas, F., Pérez, S. and Pino, E.

Proc. FESCA'04, satellite of ETAPS'04, Barcelona, ENTCS, 53-67. 2004

Link zur Publikation Download Bibtex Eintrag

Introduction

Ehrig, H.

Proc. ETAPSOFT, Vol. 1. SPRINGER, 1–3. 1985

Download Bibtex Eintrag

Petrinetze: Modellierung, Strukturierung und Kompositionalität

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

1999

Download Bibtex Eintrag

Combining initial and loose algebraic specification methods including compositionality and modules

Ehrig, H.

Proc. Workshop on Formal Software Development, Nyborg. University of Copenhagen. 1984

Download Bibtex Eintrag

From Basic Views and Aspects to Integration of Specification Formalisms

Ehrig, H., Padberg, J. and Orejas, F.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore, 202 – 214. 2001

Link zur Publikation Download Bibtex Eintrag


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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe