Skip to content

Hans-Jrg Kreowski

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

31

Venues

11

Active years

1976–2019

Best venue rank

A*

Where they publish

Papers

31 indexed papers, newest first.

YearVenueTitleAuthors
2019LATATransformation of Petri Nets into Context-Dependent Fusion Grammars.Hans-Jrg Kreowski, Sabine Kuske, Aaron Lye
2016LATACanonical Multi-target Toffoli Circuits.Hans-Jrg Kreowski, Sabine Kuske, Aaron Lye
2009GIAutonomous Units to Model Games.Hans-Jrg Kreowski, Sabine Kuske, Hauke Tnnies
2006DLTContextual Hypergraph Grammars - A New Approach to the Generation of Hypergraph Languages.Adrian-Horia Dediu, Renate Klempien-Hinrichs, Hans-Jrg Kreowski, Benedek Nagy
2002IFMAn Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation.Sabine Kuske, Martin Gogolla, Ralf Kollmann, Hans-Jrg Kreowski
2000GIWorkshop ber Rigorose Entwicklung software-intensiver Systeme.Martin Wirsing, Martin Gogolla, Hans-Jrg Kreowski, Tobias Nipkow, Wolfgang Reif
1999DLTTable-driven and context-sensitive collage languages.Frank Drewes, Renate Klempien-Hinrichs, Hans-Jrg Kreowski
1999FCTCorrect Translation of Mutually Recursive Function Systems into TOL Collage Grammars.Renate Klempien-Hinrichs, Hans-Jrg Kreowski, Stefan Taubenberger
1997FCTCriteria to Disprove Context-Freeness of Collage Languages.Frank Drewes, Hans-Jrg Kreowski, Denis Lapoire
1997GIFrauen auf dem Weg, das Image der Informatik zu verndern.Hans-Jrg Kreowski, Veronika Oechtering, Ingrid Rgge
1993DLTGenerating Self-Affine Fractals by Collage Grammars.Frank Drewes, Annegret Habel, Hans-Jrg Kreowski, Stefan Taubenberger
1993FCTFive Facets of Hyperedge Replacement Beyond Context-Freeness.Hans-Jrg Kreowski
1990STACSRelation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results.Hans-Jrg Kreowski, Zhenyu Qian
1989WGFiltering Hyperedge-Replacement Through Compatible Properties.Annegret Habel, Hans-Jrg Kreowski
1987ICALPPartial Algebras Flow From Algebraic Specifications.Hans-Jrg Kreowski
1987STACSSome Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement.Annegret Habel, Hans-Jrg Kreowski
1987WGPretty Patterns Produced by Hyperedge Replacement.Annegret Habel, Hans-Jrg Kreowski
1983WGGraph Grammar Derivation Processes.Hans-Jrg Kreowski
1982WGConcurrency of Node-Label-Controlled Graph Transformations.Dirk Janssens, Hans-Jrg Kreowski, Grzegorz Rozenberg, Hartmut Ehrig
1981FMParameter Passing in Algebraic Specification Languages.Hartmut Ehrig, Hans-Jrg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1981FMKWIC-index generation.Jrgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jrg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Srensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen
1981MFCSOn the Constructive Description of Graph Languages Accepted by Finite Automata.Hans-Jrg Kreowski, Grzegorz Rozenberg
1980ICALPAlgebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness.Hartmut Ehrig, Hans-Jrg Kreowski, Peter Padawitz
1980ICALPParameterized Data Types in Algebraic Specification Languages (Short Version).Hartmut Ehrig, Hans-Jrg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
1980MFCSCompound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems.Hartmut Ehrig, Hans-Jrg Kreowski, Bernd Mahr, Peter Padawitz
1980WGA Comparison Between Petri-Nets and Graph Grammars.Hans-Jrg Kreowski
1978ICALPStepwise Specification and Implementation of Abstract Data Types.Hartmut Ehrig, Hans-Jrg Kreowski, Peter Padawitz
1978MFCSDeriving Structures from Structures.Hartmut Ehrig, Hans-Jrg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Jzef Winkowski
1978VLDBAlgebraic Specification Schemes for Data Base Systems.Hartmut Ehrig, Hans-Jrg Kreowski, Herbert Weber
1977FCTTransformationas of Derivation Sequences in Graph Grammars.Hans-Jrg Kreowski
1976MFCSParallelism of Manipulations in Multidimensional Information Structures.Hartmut Ehrig, Hans-Jrg Kreowski