direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Folding and Unfolding Construction between Algebraic High-Level Nets and Regular Algebraic Higher Order Nets

Hoffmann, K., Ehrig, H. and Wolter, U.

Proc.\ of Workshop on Algebraic Development Techniques(WADT'99). SPRINGER. 1999

Download Bibtex Eintrag

Basic Properties of Double-Pullback Graph Transitions

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

1999

Download Bibtex Eintrag

High-Level Nets with Nets and Rules as Tokens

Hoffmann, K., Mossakowski, T. and Ehrig, H.

Proc. of 26th Intern. Conf. on Application and Theory of Petri Nets and other Models of Concurrency. SPRINGER, 268–288. 2005

Link zur Publikation Download Bibtex Eintrag

Basic Properties of Double-Pullback Graph Transitions

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

1999

Download Bibtex Eintrag

Flexible Independence of Net Transformations and Token Firing in the Cospan DPO Approach

Hoffmann, K., Padberg, J., Ehrig, H. and Hermann, F.

Proc. 3rd International Symposium of Multiagent Systems (MAS), Robotics and Cybernetics: Theory and Practice, 2009 2010

Link zur Publikation Download Bibtex Eintrag

Basic Properties of Double Pullback Graph Transitions

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

1999

Download Bibtex Eintrag

Concurrency of node label controlled graph transformations

Janssens, D., Kreowski, H.-J., Rozenberg, G. and Ehrig, H.

1982

Download Bibtex Eintrag

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

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

Synchronization of Views and Loose Semantics of Typed Graph Productions

Ehrig, H., Heckel, R., Padberg, J., Taentzer, G., Wolter, U., Corradini, A. and Engels, G.

Report on the Dagstuhl-Seminar 9637 \emphGraph Transformations in Computer Science 1996

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

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

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

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

Download Bibtex Eintrag


Algebraic approach to graph transformation based on single pushout derivations

Löwe, M. and Ehrig, H.

Graph-Theoretic Concepts in Computer Science, WG '90. SPRINGER, 338–353. 1991

Download Bibtex Eintrag

On the relationship between algebraic module specifications and program modules

Löwe, M., Ehrig, H., Fey, W. and Jacobs, D.

Proc. TAPSOFT. SPRINGER, 83-98. 1991

Download Bibtex Eintrag



Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs

Lambers, L., Ehrig, H. and Orejas, F.

Proc. International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT'06). Elsevier Science, 17–26. 2008

Link zur Publikation Download Bibtex Eintrag

Conflict Detection for Graph Transformation with Negative Application Conditions

Lambers, L., Ehrig, H. and Orejas, F.

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

Link zur Publikation Download Bibtex Eintrag

The Construct PRO of Projection Spaces: Its Internal Structure

Ehrig, H. and Herrlich, H.

Categorical Methods in Computer Science. SPRINGER, 286–293. 1989

Download Bibtex Eintrag


A Graph Theoretical Model for Multi-Pass Parsing

Ehrig, H., Hoffmann, B. and Schmiedicke, I. R.

Proc. Workshop on Graph-Theoretical Concepts in Computer Science, Linz. Hanser Verlag, 19–31. 1981

Download Bibtex Eintrag

Efficient detection of conflicts in graph-based model transformation

Lambers, L., Ehrig, H. and Orejas, F.

Proc. International Workshop on Graph and Model Transformation (GraMoT'05). Elsevier Science. 2005

Link zur Publikation Download Bibtex Eintrag

Composition and Independence of High-Level Net Processes

Ehrig, H., Hoffmann, K., Gabriel, K. and Padberg, J.

Proc. Workshop on Formal Methods for Wireless Systems (FMWS'08). Elsevier Science. 2009

Link zur Publikation Download Bibtex Eintrag

Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions

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

Proceedings of the ACCAT workshop at ETAPS 2007. Elsevier, 43–66. 2008

Link zur Publikation Download Bibtex Eintrag

Transformations of Petri Nets

Ehrig, H., Hoffmann, K. and Padberg, J.

Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004). Elsevier Science, 151–172. 2006

Link zur Publikation Download Bibtex Eintrag

Embedding and Confluence of Graph Transformations with Negative Application Conditions

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

Proc. International Conference on Graph Transformation (ICGT'08). SPRINGER, 162–177. 2008

Link zur Publikation Download Bibtex Eintrag

High-Level Net Processes

Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P. and Heckel, R.

Formal and Natural Computing. SPRINGER, 191 - 219. 2002

Download Bibtex Eintrag

Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences

Lambers, L., Ehrig, H. and Taentzer, G.

Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08) 2008

Link zur Publikation Download Bibtex Eintrag

Petri Net Transformations

Ehrig, H., Hoffmann, K., Padberg, J., Ermel, C., Prange, U., Biermann, E. and Modica, T.

Petri Net Theory and Applications. I-Tech Education and Publication, 1–16. 2008

Link zur Publikation Download Bibtex Eintrag


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe