direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

1997

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems

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

Applied Categorical Structures 1997

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.

Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 247–312. 1997

Download Bibtex Eintrag

Institutions for Logic Programming

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

TCS 173, 485–511. 1997

Download Bibtex Eintrag

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

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

REVISTA MAEMATICA de la Universidad Complutense de Madrid, vol. 10, no. 2, 365–387. 1997

Download Bibtex Eintrag

Future Trends of TAPSOFT

Ehrig, H. and Mahr, B.

TAPSOFT'97. SPRINGER, 6–10. 1997

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.

Handbook of Graph Grammars and Computing by Graph transformation, Volume 1: Foundations. World Scientific, 163-246. 1997

Download Bibtex Eintrag

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

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

Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations. World Scientific, 163–245. 1997

Download Bibtex Eintrag


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



An Algebraic View on Petri Nets

Ehrig, H. and Reisig, W.

BEATCS, 52–58. 1997

Download Bibtex Eintrag

Action Nets and Abstract Statecharts in the Theory of High-Level Structures

Ehrig, H., Gajewsky, M. and Padberg, J.

Proc.\ of First European GETGRATS Workshop 1997

Download Bibtex Eintrag

1998

From Abstract Data Types to Algebraic Development Techniques: A Shift of Paradigms

Ehrig, H., Gajewsky, M. and Wolter, U.

Proc.\ of Workshop on Algebraic Development Techniques. SPRINGER, 1–17. 1998

Download Bibtex Eintrag


Classification and comparison of modularity concepts for graph transformation systems

Heckel, R., Ehrig, H., Engels, G. and Taentzer, G.

Proc.\ 6th Int.\ Workshop on Theory and Application of Graph Transformation (TAGT'98) 1998

Download Bibtex Eintrag

Applications of Category Theory to the Area of Algebraic Specification in Computer Science

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

Applied Categorical Structures, 1–35. 1998

Download Bibtex Eintrag

Construction and Characterization of Double-Pullback Graph Transitions

Ehrig, H., Heckel, R., Llabres, M. and Orejas, F.

Proc.\ 6th Int. Workshop on Theory and Applications of Graph Transformation (TAGT'98), 308–315. 1998

Download Bibtex Eintrag

Graph Transformations and Other Rule-Based Formalisms with Incomplete Information

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

Proc. Sixth International Workshop on Theory and Application of Graph Transformations (TAGT'98). Universität Paderborn, 268–278. 1998

Download Bibtex Eintrag

Interoperability in Train Control Systems Specification of Scenarios Using Open Nets

Padberg, J., Jansen, L., Heckel, R. and Ehrig, H.

Proc. Integrated Design and Process Technology, 17–24. 1998

Download Bibtex Eintrag



DoublePB and loose Semantics(???)

Ehrig, H., Llabres, M. and Heckel, R.

Proc. international GraGra Workshop 1998

Download Bibtex Eintrag

Mathematisch–strukturelle Grundlagen der Informatik

Ehrig, H., Mahr, B., Cornelius, F., Große–Rhode, M. and Zeitz, P.

||Springer Verlag, Berlin Heidelberg New–York. 1998

Download Bibtex Eintrag


Integration Paradigm for Data Type and Process Specification Techniques

Ehrig, H. and Orejas, F.

Bull. EATCS 65, Formal Specification Column, Part 5 1998

Download Bibtex Eintrag


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe