direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

B





From Basic Views and Aspects to Integration of Specification Formalisms

Ehrig, H., Orejas, F. and Padberg, J.

BEATCS, 98–108. 1999

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




An Algebraic View on Petri Nets

Ehrig, H. and Reisig, W.

BEATCS, 52–58. 1997

Download Bibtex Eintrag


Model Transformations by Graph Transformation are Functors

Ehrig, H., Ehrig, K., Ermel, C. and Prange, U.

BEATCS, 134–142. 2007

Link zur Publikation Download Bibtex Eintrag



Kategorielle Theorie von Automaten

Ehrig, H.

BI-Buch: Überblicke Mathematik VII, 167–218. 1974

Download Bibtex Eintrag

Dynamic Abstract Data Types: An Informal Proposal

Ehrig, H. and Orejas, F.

Bull. EATCS 53, 162–169. 1994

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

C

Confluence in Data Reduction: Bridging Graph Transformation and Kernelization

Ehrig, H., Ermel, C., Hüffner, F., Niedermeier, R. and Runge, O.

Computability. IOS Press, 31-49. 2013

Download Bibtex Eintrag

Introduction to Graph Grammars with Applications to Semantical Networks

Ehrig, H., Habel, A. and Kreowski, H.-J.

Computers and Mathematics with Applications, 557-572. 1992

Download Bibtex Eintrag

E

Linking Dynamic Abstract Datatypes with Algebraic High-Level Nets

Ehrig, H. and Padberg, J.

EACTS, Bull. 54, 132–144. 1994

Download Bibtex Eintrag

Semantical Correctness of Simulation-to-Animation Model and Rule Transformation

Ermel, C., Ehrig, H. and Ehrig, K.

Proc. Int. Workshop on Graph and Model Transformation (GraMoT'06), Satellite Event of the IEEE Symposium on Visual Languages and Human-Centric Computing 2006

Link zur Publikation Download Bibtex Eintrag

A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation

Golas, U., Biermann, E., Ehrig, H. and Ermel, C.

Selected Papers of Int. Workshop on Graph Computation Models (GCM'10). European Association of Software Science and Technology. 2011

Link zur Publikation Download Bibtex Eintrag

Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions

Golas, U., Ehrig, H. and Hermann, F.

Proc. Int. Workshop on Graph Computation Models (GCM'10). European Association of Software Science and Technology. 2011

Link zur Publikation Download Bibtex Eintrag

Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets

Hermann, F., Corradini, A., Ehrig, H. and König, B.

Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'10). European Association of Software Science and Technology, 1–15. 2010

Link zur Publikation Download Bibtex Eintrag

Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions

Ehrig, H., Hermann, F. and Sartorius, C.

Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'09). European Association of Software Science and Technology. 2009

Link zur Publikation Download Bibtex Eintrag

Propagation of Constraints along Model Transformations Based on Triple Graph Grammars

Ehrig, H., Hermann, F., Schölzel, H. and Brandt, C.

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'11). European Association of Software Science and Technology. 2011

Link zur Publikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe