Hans‐Jörg Kreowski

Graph transformation for specification and programming

Marc Andries, Gregor Engels, Annegret Habel et al. · Science of Computer Programming · 1999 · 169 citations

Computing, Computer Science, Formal Methods +10

Parallelism and concurrency in high-level replacement systems

Hartmut Ehrig, Annegret Habel, Hans‐Jörg Kreowski et al. · Mathematical Structures in Computer Science · 1991 · 158 citations

Computing, Computer Engineering, Computer Science +10

Algebraic implementation of abstract data types

Hartmut Ehrig, Hans‐Jörg Kreowski, B. Mahr et al. · Theoretical Computer Science · 1982 · 132 citations

Computing, Computer Science, Algebra +13

Graph Transformation Units with Interleaving Semantics

Hans‐Jörg Kreowski, Sabine Kuske · Formal Aspects of Computing · 1999 · 57 citations · Full text

Computing, Computer Science, Semantics +2

Parameter passing in algebraic specification languages

Hartmut Ehrig, Hans‐Jörg Kreowski, J. W. Thatcher et al. · Theoretical Computer Science · 1983 · 54 citations

Computing, Computer Science, Algebra +10