direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

<< zurück [1]
vor >> [20]

1998

Konzeption, theoretische Fundierung und Validierung einer anwendungsbezogenen Petrinetz-Technologie [24]

Weber, H., Reisig, W. and Ehrig, H.

1998

Download Bibtex Eintrag [25]

DoublePB and loose Semantics(???) [26]

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

Proc. international GraGra Workshop 1998

Download Bibtex Eintrag [27]

Mathematisch–strukturelle Grundlagen der Informatik [28]

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

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

Download Bibtex Eintrag [29]

Categorical Concepts for Logical Systems and Formal Specification in Computer Science [30]

Ehrig, H., Martini, A. and Wolter, U.

, 131–148. 1998

Download Bibtex Eintrag [31]

Integration Paradigm for Data Type and Process Specification Techniques [32]

Ehrig, H. and Orejas, F.

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

Download Bibtex Eintrag [33]

Integration and Classification of Data Type and Process Specification Techniques [34]

Ehrig, H. and Orejas, F.

1998

Download Bibtex Eintrag [35]

Graph Transformations and Other Rule-Based Formalisms with Incomplete Information [36]

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

Proc. 6th International Workshop on Theory and Application of Graph Transformation. Universität Paderborn, 268–278. 1998

Download Bibtex Eintrag [37]

Graphical Representation and Graph Transformation [38]

Ehrig, H. and Taentzer, G.

1998

Download Bibtex Eintrag [39]

1997

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

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

Proc. of First European GETGRATS Workshop 1997

Download Bibtex Eintrag [41]

An Algebraic View on Petri Nets [42]

Ehrig, H. and Reisig, W.

BEATCS, 52–58. 1997

Download Bibtex Eintrag [43]

A Combined Reference Model- and View-Based Approach to System Specification [44]

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

Int. Journal of Software and Knowledge Engineering, 457–477. 1997

Download Bibtex Eintrag [45]

A View-Oriented Approach to System Modelling Using Graph Transformation [46]

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

Proc. of ESEC/FSE'97, Zürich. SPRINGER, 327–343. 1997

Download Bibtex Eintrag [47]

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application [48]

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

Formal Methods Pacific '97. Springer - Verlag Singapore Pte. Ltd, 297-298. 1997

Download Bibtex Eintrag [49]

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application [50]

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

Formal Methods Pacific '97 –- Work in Progress Papers. Victoria University of Wellington, New Zealand. 1997

Download Bibtex Eintrag [51]

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications [52]

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

Proc. Formal Methods Pacific 1997 1997

Download Bibtex Eintrag [53]

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Application [54]

Ehrig, H., Gajewsky, M., Lembke, S., Padberg, J. and Gruhn, V.

Move-On-Workshop der DFG-Forschergruppe Petrinetz-Technologie 1997

Download Bibtex Eintrag [55]

Reverse Petri Net Technology Transfer: On the Boundary of Theory and Applications [56]

Ehrig, H., Gajewsky, M., Lembke, S., Padberg, J. and Gruhn, V.

, 7–28. 1997

Download Bibtex Eintrag [57]

Action Nets, Hierarchical State Spaces and Abstract Statecharts as High-Level Structures [58]

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

1997

Download Bibtex Eintrag [59]

Horizontal and Vertical Structuring Techniques for Statecharts [60]

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

8$^th$ International Conference on Concurrency Theory (CONCUR'97),Warsaw, Poland. SPRINGER, 181–195. 1997

Download Bibtex Eintrag [61]

Horizontal and Vertical Structuring Techniques for Statecharts [62]

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

CONCUR'97. SPRINGER, 181–195. 1997

Download Bibtex Eintrag [63]

Loose Semantics and Constraints for Graph Transformation Systems [64]

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

1997

Download Bibtex Eintrag [65]

Integrating the Specification Techniques of Graph Transformation and Temporal Logic [66]

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

Proc. of MFCS'97, Bratislava. SPRINGER, 219–228. 1997

Download Bibtex Eintrag [67]

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

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

Applied Categorical Structures 1997

Download Bibtex Eintrag [69]

Algebraic Approaches to Graph Transformation II: Single Pushout Approach and Comparison with Double Pushout Approach [70]

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 [71]

Institutions for Logic Programming [72]

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

TCS 173, 485–511. 1997

Download Bibtex Eintrag [73]

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

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 [75]

Future Trends of TAPSOFT [76]

Ehrig, H. and Mahr, B.

TAPSOFT'97. SPRINGER, 6–10. 1997

Download Bibtex Eintrag [77]

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

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 [79]

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

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 [81]

Integration von Techniken der Software Spezifikation für ingenieuwissenschaftliche Anwendungen [82]

Ehrig et al., H.

1997

Download Bibtex Eintrag [83]

<< zurück [84]
vor >> [103]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008