World's Best Scientists 2026 revealed!
Hans-Jörg Kreowski

Hans-Jörg Kreowski

D-Index & Metrics

Engineering and Technology

D-Index
38
Citations
5832
World Ranking
8054
National Ranking
273

Overview

Hans-Jörg Kreowski is affiliated with the University of Bremen in Germany and has contributed extensively to the fields of computer science, biochemistry, genetics, molecular biology, and engineering. Their research spans multiple subfields, prominently including software, computational theory and mathematics, molecular biology, artificial intelligence, and industrial and manufacturing engineering.

The main areas of focus in Kreowski's work cover several topics, particularly:

  • Model-Driven Software Engineering Techniques
  • Formal Methods in Verification
  • DNA and Biological Computing
  • Software Testing and Debugging Techniques
  • Logic, programming, and type systems
  • Modular Robots and Swarm Intelligence
  • Manufacturing Process and Optimization

Kreowski has authored multiple papers over recent years, reflecting a variety of research interests and venues. Selected publications include:

  • "A categorial approach to reaction systems: First steps," 2020, Theoretical Computer Science
  • "Stepping from Graph Transformation Units to Model Transformation Units," 2024, Technische Universität Berlin - Universitätsbibliothek
  • "A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems," 2022, Electronic Proceedings in Theoretical Computer Science
  • "Modeling NP-problems with families of extended graph-based reaction systems," 2024, Natural Computing
  • "Graph Tuple Transformation," 2024, Technische Universität Berlin - Universitätsbibliothek

The publication venues where Kreowski frequently contributes include:

  • Technische Universität Berlin - Universitätsbibliothek
  • Theoretical Computer Science
  • Electronic Proceedings in Theoretical Computer Science
  • Natural Computing
  • Entropy

Kreowski's collaborations extend to several frequent co-authors, including:

  • Aaron Lye
  • Sabine Kuske
  • Aljoscha Windhorst
  • Wolfgang Hofkirchner
  • Caroline von Totth

Their body of work demonstrates a strong integration of theoretical computer science with practical applications in biological computing and engineering.

Best Publications

  • Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools

    H. Ehrig;G. Engels;H.-J. Kreowski;G. Rozenberg

  • Hyperedge replacement graph grammars

    F. Drewes;H.-J. Kreowski;A. Habel

  • Graph transformation for specification and programming

    Marc Andries;Gregor Engels;Annegret Habel;Berthold Hoffmann

  • Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution

    H. Ehrig;H.-J. Kreowski;U. Montanari;G. Rozenberg

  • Parallelism and concurrency in high-level replacement systems

    Hartmut Ehrig;Annegret Habel;Hans-Jörg Kreowski;Francesco Parisi-Presicce

  • May we introduce to you: hyperedge replacement

    Annegret Habel;Hans-Jörg Kreowski

  • ALGEBRAIC IMPLEMENTATION OF ABSTRACT DATA TYPES

    Hartmut Ehrig;Hans-Jörg Kreowski;Bernd Mahr;Peter Padawitz

  • Algebraic Foundations of Systems Specification

    Egidio Astesiano;Hans-Joerg Kreowski;Bernd Krieg-Brueckner

  • Some structural aspects of hypergraph languages generated by hyperedge replacement

    Annegret Habel;Hans-Jörg Kreowski

  • Refinements of Graph Transformation Systems via Rule Expressions

    Hartmut Ehrig;Gregor Engels;Hans-Jörg Kreowski;Grzegorz Rozenberg

  • An integrated semantics for UML class, object and state diagrams based on graph transformation

    Sabine Kuske;Martin Gogolla;Ralf Kollmann;Hans-Jörg Kreowski

  • Parameter passing in algebraic specification languages

    Hartmut Ehrig;Hans-Jörg Kreowski;James W. Thatcher;Eric G. Wagner

  • Parameterized Data Types in Algebraic Specification Languages (Short Version)

    Hartmut Ehrig;Hans-Jörg Kreowski;James W. Thatcher;Eric G. Wagner

  • From Graph Grammars to High Level Replacement Systems

    Hartmut Ehrig;Annegret Habel;Hans-Jörg Kreowski;Francesco Parisi-Presicce

  • Parallelism of manipulations in multidimensional information structures

    Hartmut Ehrig;Hans-Jörg Kreowski

  • Graph Transformation Units with Interleaving Semantics

    Hans-Jörg Kreowski;Sabine Kuske

  • Stepwise Specification and Implementation of Abstract Data Types

    Hartmut Ehrig;Hans-Jörg Kreowski;Peter Padawitz

  • A Comparison Between Petri-Nets and Graph Grammars

    Hans-Jörg Kreowski

  • Algebraic system specification and development

    Michel Bidoit;Hans-Jörg Kreowski;Pierre Lescanne;Fernando Orejas

  • Transformations of structures: An algebraic approach

    Hartmut Ehrig;Hans-Jörg Kreowski;Andrea Maggiolo-Schettini;Barry K. Rosen

  • Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science

    Hartmut Ehrig;Hans-Jörg Kreowski;Grzegorz Rozenberg

Frequent Co-Authors

Hartmut Ehrig
Hartmut Ehrig Technical University of Berlin
Grzegorz Rozenberg
Grzegorz Rozenberg Leiden University
Ugo Montanari
Ugo Montanari University of Pisa
Gabriele Taentzer
Gabriele Taentzer Philipp University of Marburg
Martin Gogolla
Martin Gogolla University of Bremen
Gregor Engels
Gregor Engels University of Paderborn
Andrea Corradini
Andrea Corradini University of Pisa
Walter Lang
Walter Lang University of Bremen
Andy Schürr
Andy Schürr Technical University of Darmstadt
Donald Sannella
Donald Sannella University of Edinburgh

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Best Scientists Citing Hans-Jörg Kreowski

Trending Scientists

Recently Published Articles