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]

2001

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

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

Advances in Petri Nets: Unifying Petri Nets. SPRINGER, 230–249. 2001

Download Bibtex Eintrag [25]

Cooperability in Train Control Systems Specification of Scenarios Using Open Nets [26]

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

Journal of Integrated Design and Process Technology, 3-21. 2001

Download Bibtex Eintrag [27]

Generic Description of Syntax, Behavior and Animation of Visual Models [28]

Bardohl, R., Ermel, C. and Ehrig, H.

2001

Link zur Publikation [29] Download Bibtex Eintrag [30]

Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties [31]

Ehrig, H. and Mahr, B.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 134-152. 2001

Download Bibtex Eintrag [32]

Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997 [33]

Ehrig, H. and Mahr, B.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 118–130. 2001

Download Bibtex Eintrag [34]

Mathematisch Strukturelle Grundlagen der Informatik, 2. überarbeitete Auflage [35]

Ehrig, H., Mahr, B., Cornelius, F., Grosse-Rhode, M., Zeitz, P., Schröter, G. and Robering, K.

||SPRINGER. 2001

Download Bibtex Eintrag [36]

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

Ehrig, H. and Orejas, a. F.

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

Link zur Publikation [38] Download Bibtex Eintrag [39]

Dynamic Abstract Data Types: An Informal Proposal in 1994 [40]

Ehrig, H. and Orejas, F.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 180–191. 2001

Download Bibtex Eintrag [41]

On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000 [42]

Ehrig, H.

Current Trends in Theoretical Computer Science: Entering the 21st Century. World Scientific, Singapore etc. 2001, 131–133. 2001

Download Bibtex Eintrag [43]

A Generic Component Concept for Integrated Data Type and Process Specification Techniques [44]

Ehrig, H. and Orejas, F.

2001

Download Bibtex Eintrag [45]

Algebraic Specification [46]

Ehrig, H.

Current Trends in Theoretical Computer Science. World Scientific, Singapore etc., 49–222. 2001

Download Bibtex Eintrag [47]

A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques [48]

Ehrig, H. and Orejas, F.

Proc. GT-VMT 2001, ICALP 2001 Satellite Workshops, 201–228. 2001

Link zur Publikation [49] Download Bibtex Eintrag [50]

From Algebraic Module Specifications to Component Concepts and Integrated Modeling Techniques [51]

Ehrig, H.

2001

Link zur Publikation [52] Download Bibtex Eintrag [53]

On the Roots, Birth and Childhood of ETAPS [54]

Ehrig, H.

, 58–60. 2001

Download Bibtex Eintrag [55]

A Review of Graph Grammars and Preview of ICGT 2002: The First International Conference on Graph Transformation [56]

Ehrig, H.

BEACTS, 93–96. 2001

Download Bibtex Eintrag [57]

From Basic Views and Aspects to Integration of Specification Formalisms [58]

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 [59] Download Bibtex Eintrag [60]

The Relevance of Mathematics in Software System Development [61]

Ehrig, H. and Schröter, G.

International Journal of Differential Equations and Applications, 169–182. 2001

Download Bibtex Eintrag [62]

2000

Towards a Formal Model and a Component Concept for the Integration Paradigm [63]

Ehrig, H. and Orejas, F.

2000

Download Bibtex Eintrag [64]

Generic Description, Behavior and Animation of Visual Modeling Languages [65]

Bardohl, R., Ehrig, H. and Ermel, C.

Proc. Integrated Design and Process Technology (IDPT 2000) 2000

Download Bibtex Eintrag [66]

Consistency Analysis between UML Class and Sequence Diagrams using Attributed Graph Gammars [67]

Tsiolakis, A. and Ehrig, H.

Proc. GRATRA'2000 - Joint APPLIGRAPH and GETGRATS Workshop on Graph Transformation Systems. Technische Universität Berlin, 77-86. 2000

Download Bibtex Eintrag [68]

High-Level Replacement Systems applied to Algebraic Specifications and Petri Nets [69]

Ehrig, H., Gajewsky, M. and Parisi-Presicce, F.

Handbook of Graph Grammars and Computing by Graph Transformation. Vol 3: Concurrency, Parallelism and Distribution. World Scientific, Singapore etc., 341–400. 2000

Download Bibtex Eintrag [70]

On Formal Semantics and Integration of Object Oriented Modeling Languages [71]

Ehrig, H., Geisler, R., Große–Rhode, M., Klar, M. and Mann, S.

BEACTS, 77–81. 2000

Download Bibtex Eintrag [72]

INT: Integration of Specification Techniques with Applications in Enginering (Extended Abstracts) [73]

Ehrig, H., Große–Rhode, M. and Orejas, F.

2000

Download Bibtex Eintrag [74]

Concurrency of Double-Pullback Graph Transitions [75]

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

Proc. of Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation (GRATRA 2000), 146–154. 2000

Download Bibtex Eintrag [76]

Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information [77]

Ehrig, H., Heckel, R., Llabres, M., Orejas, F., Padberg, J. and Rozenberg, G.

Proc. Theory and Application of Graph Transformations (TAGT'98). SPRINGER, 85–102. 2000

Download Bibtex Eintrag [78]

Modeling Train Control Systems: From Message Sequence Charts to Petri Nets [79]

Kluge, O., Padberg, J. and Ehrig, H.

Proc. Formale Techniken für die Eisenbahnsicherung (FORMS), 25–42. 2000

Download Bibtex Eintrag [80]

Integration and classification of data type and process specification techniques [81]

Orejas, F. and Ehrig, H.

INT: Integration of Specification Techniques with Applications in Enginering. TU Berlin, FB 13, 54–56. 2000

Download Bibtex Eintrag [82]

New Concepts for High-Level Petri Nets in the Application Domain of Train Control [83]

Padberg, J., Schiller, P. and Ehrig, H.

Proc. Vol. 2, 9th Symposium on Transportation Systems, 153–160. 2000

Download Bibtex Eintrag [84]

Conceptual Model of the Graphical Editor textscGenGEd for the Visual Definition of Visual Languages [85]

Bardohl, R. and Ehrig, H.

Proc. Theory and Application of Graph Transformations (TAGT'98). SPRINGER, 252–266. 2000

Download Bibtex Eintrag [86]

Semantics of Distributed System Specifications based on Graph Transformation [87]

Taentzer, G. and Ehrig, H.

GI Workshop ``Rigorose Entwicklung software-intensiver Systeme'', Berlin. LMU-Report 0005, 57–72. 2000

Download Bibtex Eintrag [88]

<< zurück [89]
vor >> [108]
------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008