Concepedia

Hans‐Jörg Kreowski

HK

31

Publications

1.2K

Citations

19

H-Index

1978

Active since

Affiliations

University of Bremen(Current)

Technische Universität Berlin

Carl von Ossietzky Universität Oldenburg

Staats- und Universitätsbibliothek Bremen

Hans‐Jörg Kreowski is an author at University of Bremen specializing in engineering, graph theory, and computer science.

Top concepts

EngineeringComputer ScienceGraph TheoryFormal MethodsAutomated ReasoningFormal VerificationDiscrete MathematicsNetwork AnalysisNetwork ScienceLinguistics

Publications per year

1978–2011

31

Publications

31

Graph transformation for specification and programming

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

Specification Language, Engineering, Graph Theory +8

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

Engineering, Replacement Systems, Computer Architecture +18

Algebraic implementation of abstract data types

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

Engineering, Data Type, Generic Programming +4

Graph Transformation Units with Interleaving Semantics

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

Parameter passing in algebraic specification languages

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

Specification Language, Formal Specification, Engineering +8

Rows per page

1–5 of 31