Parallel and distributed derivations in the single-pushout approach
Get full text
Journal Article
Conference Proceeding
High-Level Nets with Nets and Rules as Tokens
Hoffmann, Kathrin, Ehrig, Hartmut, Mossakowski, Till
Published in Applications and Theory of Petri Nets 2005 (2005)
Published in Applications and Theory of Petri Nets 2005 (2005)
Get full text
Book Chapter
Conference Proceeding
Attributed graph transformation with node type inheritance
de Lara, Juan, Bardohl, Roswitha, Ehrig, Hartmut, Ehrig, Karsten, Prange, Ulrike, Taentzer, Gabriele
Published in Theoretical computer science (15.05.2007)
Published in Theoretical computer science (15.05.2007)
Get full text
Journal Article
The esprit basic research working group compugraph “computing by graph transformation”: a survey
Get full text
Journal Article
Conference Proceeding
Algebraic specification of modules and their basic interconnections
Blum, E.K., Ehrig, H., Parisi-Presicce, F.
Published in Journal of computer and system sciences (01.04.1987)
Published in Journal of computer and system sciences (01.04.1987)
Get full text
Journal Article
Algebraic implementation of abstract data types
Ehrig, H., Kreowski, H.-J., Mahr, B., Padawitz, P.
Published in Theoretical computer science (01.01.1982)
Published in Theoretical computer science (01.01.1982)
Get full text
Journal Article
Formal integration of inheritance with typed attributed graph transformation for efficient VL definition and model manipulation
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.
Published in 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05) (2005)
Published in 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05) (2005)
Get full text
Conference Proceeding
Compositional semantics for open Petri nets based on deterministic processes
BALDAN, PAOLO, CORRADINI, ANDREA, EHRIG, HARTMUT, HECKEL, REIKO
Published in Mathematical structures in computer science (01.02.2005)
Published in Mathematical structures in computer science (01.02.2005)
Get full text
Journal Article
Termination Criteria for Model Transformation
Ehrig, Hartmut, Ehrig, Karsten, de Lara, Juan, Taentzer, Gabriele, Varró, Dániel, Varró-Gyapay, Szilvia
Published in Fundamental Approaches to Software Engineering (2005)
Published in Fundamental Approaches to Software Engineering (2005)
Get full text
Book Chapter
Conference Proceeding
Structural studies on pinguinain. Changes induced by carboxamidomethylation
Toro-goyco, Efrain, Rodriguez-costas, I., Ehrig, H.
Published in Biochimica et biophysica acta (26.03.1980)
Published in Biochimica et biophysica acta (26.03.1980)
Get full text
Journal Article
Editors' note: bibliometrics and the curators of orthodoxy
Published in Mathematical structures in computer science
(01.02.2009)
Get full text
Journal Article
Transformations of Petri Nets
Ehrig, H., Hoffmann, K., Padberg, J.
Published in Electronic notes in theoretical computer science (01.02.2006)
Published in Electronic notes in theoretical computer science (01.02.2006)
Get full text
Journal Article
Composition and Independence of High-Level Net Processes
Ehrig, H., Hoffmann, K., Gabriel, K., Padberg, J.
Published in Electronic notes in theoretical computer science (13.07.2009)
Published in Electronic notes in theoretical computer science (13.07.2009)
Get full text
Journal Article
Institutions for logic programming
Orejas, Fernando, Pino, Elvira, Ehrig, Hartmut
Published in Theoretical computer science (28.02.1997)
Published in Theoretical computer science (28.02.1997)
Get full text
Journal Article