direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

1993

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

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



Algebraic High Level Nets: Petri Nets Revisited

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

1993

Download Bibtex Eintrag


Formal Development of Concurrent Systems Using Algebraic High-Level Nets and Transformations

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

Proc. VII Simpósio Brasileiro de Engenharia de Software, 1–16. 1993

Download Bibtex Eintrag

1994

Functorial Theory of Parameterized Specifications in a General Specification Framework

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

Theoretical Computer Science, 221 - 266. 1994

Download Bibtex Eintrag



Computing with Algebraic Graph Transformations: An Overview of Recent Results

Ehrig, H. and Korff, M.

Proc. of Graph Grammar Workshop, Mallorca, Spain 1994

Download Bibtex Eintrag



Algebraic Methods in the Compositional Analysis of Logic Programs

Orejas, F., Pino, E. and Ehrig, H.

Proc. MFCS'94. SPRINGER. 1994

Download Bibtex Eintrag

Canonical Derivations for High Level Replacement Systems

Ehrig, H., Kreowski, H.-J. and Taentzer, G.

Graph Transformation in Computer Science. SPRINGER, 153–169. 1994

Download Bibtex Eintrag

Graph Transformations in Computer Science

Schneider, H.-J. and Ehrig, H.

||SPRINGER. 1994

Download Bibtex Eintrag

Functorial Semantics for Safe Graph Grammars Using Prime Algebraic Domains and Event Structures

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

Proc. 5th Int. Workshop on Graph Transformation, Williamsburg, Virgina, USA, 120–126. 1994

Download Bibtex Eintrag

Typed Graph Grammars and Their Adjunction with Categories of Derivations

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

Proc. 5th Int. Workshop on Graph Transformations, Williamsburg, Virginia, USA 1994

Download Bibtex Eintrag


An Event Structure Semantics for Safe Graph Grammars

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

Proc. PROCOMET'94, IFIP TC2 Working Conf., San Miniato 1994. IFIP TCS, 417–439. 1994

Download Bibtex Eintrag

Abstract Graph Derivations in the Double Pushout Approch

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

Proc. Graph Grammar Workshop Dagstuhl 93. SPRINGER, 86–103. 1994

Download Bibtex Eintrag

Note on Standard Representation of Graphs and Graph Derivations

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

Proc. Graph Grammar Workshop Dagstuhl 93. SPRINGER, 104–118. 1994

Download Bibtex Eintrag

How to Cope with the Spectrum of Spectrum

Wolter, U., Didrich, K., Cornelius, F., Klar, M., Wess"aly, R. and Ehrig, H.

1994

Download Bibtex Eintrag

An event structure semantics for safe graph grammars

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

Programming Concepts, Methods and Calculi. North-Holland. 1994

Download Bibtex Eintrag

How to Cope with the Spectrum of Spectrum

Wolter, U., Didrich, K., Cornelius, F., Klar, M., Wessäly, R. and Ehrig, H.

1994

Download Bibtex Eintrag

Dynamic Abstract Data Types: An Informal Proposal

Ehrig, H. and Orejas, F.

Bull. EATCS 53, 162–169. 1994

Download Bibtex Eintrag

Algebraic Specification Concepts and Languages for Modular Software Systems

Ehrig, H.

Proc. Shanghai Workshop on Software Technology. Jiao Tong University. 1994

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

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe