Hans-Jörg Kreowski

According to our database1, Hans-Jörg Kreowski
  • authored at least 136 papers between 1974 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Fusion Grammars: A Novel Approach to the Generation of Graph Languages.
Proceedings of the Graph Transformation - 10th International Conference, 2017

2016
Modeling of decentralized processes in dynamic logistic networks by means of graph-transformational swarms.
Logistics Research, 2016

Hartmut Ehrig (1944-2016).
Bulletin of the EATCS, 2016

Canonical Multi-target Toffoli Circuits.
Proceedings of the Language and Automata Theory and Applications, 2016

Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization.
Proceedings of the Graph Transformation - 9th International Conference, 2016

2015
Graph-Transformational Swarms with Stationary Members.
Proceedings of the Technological Innovation for Cloud-Based Engineering Systems, 2015

2014
Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis.
Proceedings of the Graph Transformation - 7th International Conference, 2014

2013
Graph Tuple Transformation.
ECEASST, 2013

Graph-transformational swarms.
Proceedings of the Fifth Workshop on Non-Classical Models for Automata and Applications - NCMA 2013, Umeå, Sweden, August 13, 2013

2012
Polynomial graph transformability.
Theor. Comput. Sci., 2012

2011
Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing.
Natural Computing, 2011

Modeling production networks with discrete processes by means of communities of autonomous units.
Logistics Research, 2011

From Graph Transformation Units via MiniSat to GrGen.NET.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010
Stepping from Graph Transformation Units to Model Transformation Units.
ECEASST, 2010

Combining Graph Transformation and Algebraic Specification into Model Transformation.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Application of bio-inspired data processing in intelligent transportation systems.
Proceedings of the 5th IEEE International Conference on Intelligent Systems, 2010

Graph Transformation Units Guided by a SAT Solver.
Proceedings of the Graph Transformations - 5th International Conference, 2010

Autonomous Units and Their Semantics - The Concurrent Case.
Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009
Towards an integrated graph-based semantics for UML.
Software and System Modeling, 2009

Autonomous Units to Model Interacting Sequential and Parallel Processes.
Fundam. Inform., 2009

Autonomous Units to Model Games.
Proceedings of the Informatik 2009: Im Focus das Leben, 2009

2008
Graph Multiset Transformation as a Framework for Massively Parallel Computation.
Proceedings of the Graph Transformations, 4th International Conference, 2008

Graph Transformation Units - An Overview.
Proceedings of the Concurrency, 2008

2007
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006
Some Essentials of Graph Transformation.
Proceedings of the Recent Advances in Formal Languages and Applications, 2006

Semantics of Visual Models in a Rule-based Setting.
Electr. Notes Theor. Comput. Sci., 2006

Autonomous Units and Their Semantics - The Parallel Case.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Autonomous Units and Their Semantics - The Sequential Case.
Proceedings of the Graph Transformations, Third International Conference, 2006

Contextual Hypergraph Grammars - A New Approach to the Generation of Hypergraph Languages.
Proceedings of the Developments in Language Theory, 10th International Conference, 2006

2005
Abstract hierarchical graph transformation.
Mathematical Structures in Computer Science, 2005

Modelling Transport Networks by Means of Autonomous Units.
Proceedings of the Operations Research Proceedings 2005, 2005

Loose Semantics of Petri Nets.
Proceedings of the Formal Methods in Software and Systems Modeling, 2005

Main Concepts of Networks of Transformation Units with Interlinking Semantics.
Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004
Typing of Graph Transformation Units.
Proceedings of the Graph Transformations, Second International Conference, 2004

2003
Criteria to disprove context freeness of collage languages.
Theor. Comput. Sci., 2003

Table-Driven and Context-Sensitive Collage Languages.
Journal of Automata, Languages and Combinatorics, 2003

Computing Raster Images from Grid Picture Grammars.
Journal of Automata, Languages and Combinatorics, 2003

Preface.
Fundam. Inform., 2003

UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003

2002
Approach-Independent Structuring Concepts for Rule-Based Systems.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation.
Proceedings of the Integrated Formal Methods, Third International Conference, 2002

A Sight-seeing Tour of the Computational Landscape of Graph Transformation.
Proceedings of the Formal and Natural Computing, 2002

2001
Structured Modeling with GRACE.
Electr. Notes Theor. Comput. Sci., 2001

GRACE as a unifying approach to graph-transformation-based specification.
Electr. Notes Theor. Comput. Sci., 2001

Reading words in graphs generated by hyperedge replacement.
Proceedings of the Where Mathematics, 2001

GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation.
Current Trends in Theoretical Computer Science, 2001

2000
Computing Raster Images from Grid Picture Grammars.
Proceedings of the Implementation and Application of Automata, 2000

1999
Refinement and Implementation.
Proceedings of the Algebraic Foundations of Systems Specification, 1999

Graph Transformation for Specification and Programming.
Sci. Comput. Program., 1999

Graph Transformation Units with Interleaving Semantics.
Formal Asp. Comput., 1999

Correct Translation of Mutually Recursive Function Systems into TOL Collage Grammars.
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

Table-driven and context-sensitive collage languages.
Proceedings of the Developments in Language Theory, 1999

A Note on Modeling Agent Systems by Graph Transformation.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

Graph Transformation Modules and Their Composition.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998
Redundancy and Subsumption in High-Level Replacement Systems.
Proceedings of the Theory and Application of Graph Transformations, 1998

1997
Nested Graph Transformation Units.
International Journal of Software Engineering and Knowledge Engineering, 1997

GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation.
Bulletin of the EATCS, 1997

Frauen auf dem Weg, das Image der Informatik zu verändern.
Proceedings of the Informatik '97, 1997

Hyperedge Replacement, Graph Grammars.
Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997

Criteria to Disprove Context-Freeness of Collage Languages.
Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

1996
(Un-)Decidability of Geometric Properties of Pictures Generated by Collage Grammars.
Fundam. Inform., 1996

1995
Generating Self-Affine Fractals by Collage Grammars.
Theor. Comput. Sci., 1995

Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras.
Mathematical Structures in Computer Science, 1995

Specification and programming (by graph transformation).
Electr. Notes Theor. Comput. Sci., 1995

Correctness of actualization for parameterized implementation concepts based on constructors and abstractors.
Bulletin of the EATCS, 1995

1994
On the Interleaving Sematics of Transformation Units - A Step into GRACE.
Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

An Axiomatic Approach to Canonical Derivations.
Proceedings of the Technology and Foundations - Information Processing '94, Volume 1, Proceedings of the IFIP 13th World Computer Congress, Hamburg, Germany, 28 August, 1994

1993
Some initial sections of the Algebraic Specification Tale.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

A Comparison of Compatible, Finite, and Inductive Graph Properties.
Theor. Comput. Sci., 1993

A scetch of Collage Grammars.
Bulletin of the EATCS, 1993

Hyperedge Replacement with Rendevous.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Five Facets of Hyperedge Replacement Beyond Context-Freeness.
Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993

Generating Self-Affine Fractals by Collage Grammars.
Proceedings of the Developments in Language Theory, 1993

Canonical Derivaitons for High-Level Replacement Systems.
Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1992
Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen.
Proceedings of the Testen, 1992

Eine konkrete Utopie von korrekter Software.
Proceedings of the Informatik zwischen Wissenschaft und Gesellschaft, 1992

1991
Decidable Boundedness Problems for Sets of Graphs Generated by Hyperedge-Replacement.
Theor. Comput. Sci., 1991

Parallelism and Concurrency in High-Level Replacement Systems.
Mathematical Structures in Computer Science, 1991

Jungle evaluation.
Fundam. Inform., 1991

Aspects of Systems of Logic Programming.
Bulletin of the EATCS, 1991

1990
On structured graph grammars. II.
Inf. Sci., 1990

On structured graph grammars. I.
Inf. Sci., 1990

Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results.
Proceedings of the STACS 90, 1990

Applied Graph Transformation.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

Grammatical Inference Based on Hyperedge Replacement.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

Collage Grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

From Graph Grammars to High Level Replacement Systems.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

A Note on Hyperedge Replacement.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

1989
Metatheorems for Decision Problems on Hyperedge Replacement Graph Languages.
Acta Inf., 1989

Filtering Hyperedge-Replacement Through Compatible Properties.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 1989

Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar.
Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1988
Colimits as Parameterized Data Types.
Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Complexity in Algebraic Specifications: An Upper Bound Result.
ADT, 1988

1987
Characteristics of Graph Languages Generated by Edge Replacement.
Theor. Comput. Sci., 1987

Complativle graph properties are decidable for hypergraph replacement graph languages.
Bulletin of the EATCS, 1987

Pretty Patterns Produced by Hyperedge Replacement.
Proceedings of the Graph-Theoretic Concepts in Computer Science, International Workshop, 1987

Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement.
Proceedings of the STACS 87, 1987

Partial Algebras Flow From Algebraic Specifications.
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

Jungle Evaluation.
Proceedings of the Recent Trends in Data Type Specification, 1987

1986
Net Processes Correspond to Derivation Processes in Graph Grammars.
Theor. Comput. Sci., 1986

Is parallelism already concurrency? Part 2: Non-sequential processes in graph grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

Is parallelism already concurrency? Part 1: Derivations in graph grammars.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

May we introduce to you: hyperedge replacement.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

Informatik und Militär: Zusammen in den Abgrund?
Proceedings of the Umdenken in der Informatik [2. Jahrestagung des Forums Informatiker für Frieden und gesellschaftliche Verantwortung e.V., 1986

Based Algebras.
ADT, 1986

1984
Parameter Passing in Algebraic Specification Languages.
Theor. Comput. Sci., 1984

Note on Node-Rewriting Graph Grammars.
Inf. Process. Lett., 1984

1983
Compatibility of Parameter Passing and Implementation of Parameterized Data Types.
Theor. Comput. Sci., 1983

Specification of Partial Functions - Only a Tentative Suggestion.
ADT, 1983

Suggestions on the Interpretation of Algebraic Specifications.
ADT, 1983

1982
Algebraic Implementation of Abstract Data Types.
Theor. Comput. Sci., 1982

On context-free gragh languages generated by edge replacement.
Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

An Algebraic Implementation Concept for Abstract Data Types.
ADT, 1982

1981
Transformations of Structures: an Algebraic Approach.
Mathematical Systems Theory, 1981

On the Constructive Description of Graph Languages Accepted by Finite Automata.
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981


Parameter Passing in Algebraic Specification Languages.
Proceedings of the Program Specification, 1981

1980
Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems.
Inf. Syst., 1980

A Comparison Between Petri-Nets and Graph Grammars.
Proceedings of the Graphtheoretic Concepts in Computer Science, 1980

Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation?
Proceedings of the Software Engineering, 1980

Algebraische Spezifikation von Softwaresystemen.
Proceedings of the Software Engineering, 1980

Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie.
Proceedings of the Software Engineering, 1980

A Case Study of Abstract Implementations and Their Correctness.
Proceedings of the International Symposium on Programming, 1980

Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

Parameterized Data Types in Algebraic Specification Languages (Short Version).
Proceedings of the Automata, 1980

Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness.
Proceedings of the Automata, 1980

1979
Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme.
Formale Modelle für Informationssysteme, 1979

1978
Algebraic Specification Schemes for Data Base Systems.
Proceedings of the Fourth International Conference on Very Large Data Bases, 1978

Deriving Structures from Structures.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Stepwise Specification and Implementation of Abstract Data Types.
Proceedings of the Automata, 1978

A Pumping Lemma for Context-Free Graph Languages.
Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, October 30, 1978

1977
Transformationas of Derivation Sequences in Graph Grammars.
FCT, 1977

1976
Systematic Approach to Reduction and Minimization in Automata and System Theory.
J. Comput. Syst. Sci., 1976

Parallelism of Manipulations in Multidimensional Information Structures.
Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1974
Power and initial automata in pseudoclosed categories.
Proceedings of the Category Theory Applied to Computation and Control, 1974

Universal theory of automata - a categorial approach.
Teubner Studienbücher, Teubner, ISBN: 978-3-519-02054-7, 1974


  Loading...