Search the dblp DataBase
Hans-Jörg Kreowski :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Hartmut Ehrig , Hans-Jörg Kreowski , Herbert Weber Algebraic Specification Schemes for Data Base Systems. [Citation Graph (9, 7)][DBLP ] VLDB, 1978, pp:427-440 [Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , Peter Padawitz Stepwise Specification and Implementation of Abstract Data Types. [Citation Graph (1, 0)][DBLP ] ICALP, 1978, pp:205-226 [Conf ] Annegret Habel , Hans-Jörg Kreowski Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement. [Citation Graph (1, 0)][DBLP ] STACS, 1987, pp:207-219 [Conf ] Hans-Jörg Kreowski An Algebraic Implementation Concept for Abstract Data Types. [Citation Graph (0, 0)][DBLP ] ADT, 1982, pp:- [Conf ] Hans-Jörg Kreowski Specification of Partial Functions - Only a Tentative Suggestion. [Citation Graph (0, 0)][DBLP ] ADT, 1983, pp:- [Conf ] Hans-Jörg Kreowski Based Algebras. [Citation Graph (0, 0)][DBLP ] ADT, 1986, pp:- [Conf ] Hans-Jörg Kreowski Complexity in Algebraic Specifications: An Upper Bound Result. [Citation Graph (0, 0)][DBLP ] ADT, 1988, pp:- [Conf ] Annegret Habel , Hans-Jörg Kreowski , Detlef Plump Jungle Evaluation. [Citation Graph (0, 0)][DBLP ] ADT, 1987, pp:92-112 [Conf ] Klaus-Peter Hasler , Hans-Jörg Kreowski , Michael Löwe , Michaela Reisin Suggestions on the Interpretation of Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] ADT, 1983, pp:- [Conf ] Björn Cordes , Karsten Hölscher , Hans-Jörg Kreowski UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams. [Citation Graph (0, 0)][DBLP ] AGTIVE, 2003, pp:275-291 [Conf ] Frank Drewes , Peter Knirsch , Hans-Jörg Kreowski , Sabine Kuske Graph Transformation Modules and Their Composition. [Citation Graph (0, 0)][DBLP ] AGTIVE, 1999, pp:15-30 [Conf ] Peter Knirsch , Hans-Jörg Kreowski A Note on Modeling Agent Systems by Graph Transformation. [Citation Graph (0, 0)][DBLP ] AGTIVE, 1999, pp:79-86 [Conf ] Dirk Janssens , Hans-Jörg Kreowski , Grzegorz Rozenberg Main Concepts of Networks of Transformation Units with Interlinking Semantics. [Citation Graph (0, 0)][DBLP ] Formal Methods in Software and Systems Modeling, 2005, pp:325-342 [Conf ] Hans-Jörg Kreowski A Sight-seeing Tour of the Computational Landscape of Graph Transformation. [Citation Graph (0, 0)][DBLP ] Formal and Natural Computing, 2002, pp:119-137 [Conf ] Hans-Jörg Kreowski Eine konkrete Utopie von korrekter Software. [Citation Graph (0, 0)][DBLP ] Informatik zwischen Wissenschaft und Gesellschaft, 1992, pp:108-124 [Conf ] Julia Padberg , Hans-Jörg Kreowski Loose Semantics of Petri Nets. [Citation Graph (0, 0)][DBLP ] Formal Methods in Software and Systems Modeling, 2005, pp:370-384 [Conf ] Hartmut Ehrig , Hans-Jörg Kreowski Power and initial automata in pseudoclosed categories. [Citation Graph (0, 0)][DBLP ] Category Theory Applied to Computation and Control, 1974, pp:144-150 [Conf ] Hans-Jörg Kreowski Colimits as Parameterized Data Types. [Citation Graph (0, 0)][DBLP ] Categorial Methods in Computer Science, 1988, pp:36-49 [Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , Gabriele Taentzer Canonical Derivaitons for High-Level Replacement Systems. [Citation Graph (0, 0)][DBLP ] Dagstuhl Seminar on Graph Transformations in Computer Science, 1993, pp:153-169 [Conf ] Adrian Horia Dediu , Renate Klempien-Hinrichs , Hans-Jörg Kreowski , Benedek Nagy Contextual Hypergraph Grammars - A New Approach to the Generation of Hypergraph Languages. [Citation Graph (0, 0)][DBLP ] Developments in Language Theory, 2006, pp:327-338 [Conf ] Frank Drewes , Annegret Habel , Hans-Jörg Kreowski , Stefan Taubenberger Generating Self-Affine Fractals by Collage Grammars. [Citation Graph (0, 0)][DBLP ] Developments in Language Theory, 1993, pp:278-289 [Conf ] Frank Drewes , Renate Klempien-Hinrichs , Hans-Jörg Kreowski Table-driven and context-sensitive collage languages. [Citation Graph (0, 0)][DBLP ] Developments in Language Theory, 1999, pp:326-337 [Conf ] Frank Drewes , Hans-Jörg Kreowski , Denis Lapoire Criteria to Disprove Context-Freeness of Collage Languages. [Citation Graph (0, 0)][DBLP ] FCT, 1997, pp:169-178 [Conf ] Renate Klempien-Hinrichs , Hans-Jörg Kreowski , Stefan Taubenberger Correct Translation of Mutually Recursive Function Systems into TOL Collage Grammars. [Citation Graph (0, 0)][DBLP ] FCT, 1999, pp:350-361 [Conf ] Hans-Jörg Kreowski Transformationas of Derivation Sequences in Graph Grammars. [Citation Graph (0, 0)][DBLP ] FCT, 1977, pp:275-286 [Conf ] Hans-Jörg Kreowski Five Facets of Hyperedge Replacement Beyond Context-Freeness. [Citation Graph (0, 0)][DBLP ] FCT, 1993, pp:69-86 [Conf ] Hans-Jörg Kreowski Informatik und Militär: Zusammen in den Abgrund? [Citation Graph (0, 0)][DBLP ] FIFF Jahrestagung, 1986, pp:37-42 [Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , James W. Thatcher , Eric G. Wagner , Jesse B. Wright Parameter Passing in Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP ] Program Specification, 1981, pp:322-369 [Conf ] Jørgen Steensgaard-Madsen , Jane W. Hughes , Malcolm S. Powell , Hartmut Ehrig , Hans-Jörg Kreowski , Leif Sandegaard Nielsen , Jean-Raymond Abrial , Ib Holm Sørensen , Robin M. Gallimore , Derek Coleman , Joseph A. Goguen KWIC-index generation. [Citation Graph (0, 0)][DBLP ] Program Specification, 1981, pp:47-117 [Conf ] Hartmut Ehrig , Annegret Habel , Hans-Jörg Kreowski , Francesco Parisi-Presicce From Graph Grammars to High Level Replacement Systems. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science, 1990, pp:269-291 [Conf ] Annegret Habel , Hans-Jörg Kreowski On context-free gragh languages generated by edge replacement. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science, 1982, pp:143-158 [Conf ] Annegret Habel , Hans-Jörg Kreowski May we introduce to you: hyperedge replacement. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science, 1986, pp:15-26 [Conf ] Frank Drewes , Hans-Jörg Kreowski A Note on Hyperedge Replacement. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science, 1990, pp:1-12 [Conf ] Annegret Habel , Hans-Jörg Kreowski Collage Grammars. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science, 1990, pp:411-429 [Conf ] Frank Drewes , Hans-Jörg Kreowski , Annegret Habel Hyperedge Replacement, Graph Grammars. [Citation Graph (0, 0)][DBLP ] Handbook of Graph Grammars, 1997, pp:95-162 [Conf ] Karsten Hölscher , Hans-Jörg Kreowski , Sabine Kuske Autonomous Units and Their Semantics - The Sequential Case. [Citation Graph (0, 0)][DBLP ] ICGT, 2006, pp:245-259 [Conf ] Eric Jeltsch , Hans-Jörg Kreowski Grammatical Inference Based on Hyperedge Replacement. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science, 1990, pp:461-474 [Conf ] Renate Klempien-Hinrichs , Hans-Jörg Kreowski , Sabine Kuske Typing of Graph Transformation Units. [Citation Graph (0, 0)][DBLP ] ICGT, 2004, pp:112-127 [Conf ] Hans-Jörg Kreowski A Pumping Lemma for Context-Free Graph Languages. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science and Biology, 1978, pp:270-283 [Conf ] Hans-Jörg Kreowski Is parallelism already concurrency? Part 1: Derivations in graph grammars. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science, 1986, pp:343-360 [Conf ] Hans-Jörg Kreowski Applied Graph Transformation. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science, 1990, pp:51-52 [Conf ] Hans-Jörg Kreowski , Anne Wilharm Is parallelism already concurrency? Part 2: Non-sequential processes in graph grammars. [Citation Graph (0, 0)][DBLP ] Graph-Grammars and Their Application to Computer Science, 1986, pp:361-377 [Conf ] Hans-Jörg Kreowski , Veronika Oechtering , Ingrid Rügge Frauen auf dem Weg, das Image der Informatik zu verändern. [Citation Graph (0, 0)][DBLP ] GI Jahrestagung, 1997, pp:345-354 [Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , Peter Padawitz Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness. [Citation Graph (0, 0)][DBLP ] ICALP, 1980, pp:142-156 [Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , James W. Thatcher , Eric G. Wagner , Jesse B. Wright Parameterized Data Types in Algebraic Specification Languages (Short Version). [Citation Graph (0, 0)][DBLP ] ICALP, 1980, pp:157-168 [Conf ] Hans-Jörg Kreowski Partial Algebras Flow From Algebraic Specifications. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:521-530 [Conf ] Hans-Jörg Kreowski An Axiomatic Approach to Canonical Derivations. [Citation Graph (0, 0)][DBLP ] IFIP Congress (1), 1994, pp:348-353 [Conf ] Sabine Kuske , Martin Gogolla , Ralf Kollmann , Hans-Jörg Kreowski An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation. [Citation Graph (0, 0)][DBLP ] IFM, 2002, pp:11-28 [Conf ] Hartmut Ehrig , Hans-Jörg Kreowski Parallelism of Manipulations in Multidimensional Information Structures. [Citation Graph (0, 0)][DBLP ] MFCS, 1976, pp:284-293 [Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , Bernd Mahr , Peter Padawitz Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems. [Citation Graph (0, 0)][DBLP ] MFCS, 1980, pp:231-245 [Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , Andrea Maggiolo-Schettini , Barry K. Rosen , Józef Winkowski Deriving Structures from Structures. [Citation Graph (0, 0)][DBLP ] MFCS, 1978, pp:177-190 [Conf ] Hans-Jörg Kreowski , Grzegorz Rozenberg On the Constructive Description of Graph Languages Accepted by Finite Automata. [Citation Graph (0, 0)][DBLP ] MFCS, 1981, pp:398-409 [Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , Herbert Weber Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme. [Citation Graph (0, 0)][DBLP ] Formale Modelle für Informationssysteme, 1979, pp:181-198 [Conf ] Hartmut Ehrig , Hans-Jörg Kreowski , Peter Padawitz A Case Study of Abstract Implementations and Their Correctness. [Citation Graph (0, 0)][DBLP ] Symposium on Programming, 1980, pp:108-122 [Conf ] Hartmut Ehrig , Werner Fey , Hans-Jörg Kreowski Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie. [Citation Graph (0, 0)][DBLP ] Software Engineering, 1980, pp:75-90 [Conf ] Hans-Jörg Kreowski Algebraische Spezifikation von Softwaresystemen. [Citation Graph (0, 0)][DBLP ] Software Engineering, 1980, pp:46-74 [Conf ] Hans-Jörg Kreowski Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation? [Citation Graph (0, 0)][DBLP ] Software Engineering, 1980, pp:281-283 [Conf ] Hans-Jörg Kreowski , Zhenyu Qian Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results. [Citation Graph (0, 0)][DBLP ] STACS, 1990, pp:165-175 [Conf ] Hans-Jörg Kreowski , Sabine Kuske On the Interleaving Sematics of Transformation Units - A Step into GRACE. [Citation Graph (0, 0)][DBLP ] TAGT, 1994, pp:89-106 [Conf ] Hans-Jörg Kreowski , Gabriel Valiente Redundancy and Subsumption in High-Level Replacement Systems. [Citation Graph (0, 0)][DBLP ] TAGT, 1998, pp:215-227 [Conf ] Gnanamalar David , Frank Drewes , Hans-Jörg Kreowski Hyperedge Replacement with Rendevous. [Citation Graph (0, 0)][DBLP ] TAPSOFT, 1993, pp:167-181 [Conf ] Annegret Habel , Hans-Jörg Kreowski , Walter Vogler Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar. [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.1, 1989, pp:275-289 [Conf ] Hans-Jörg Kreowski Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen. [Citation Graph (0, 0)][DBLP ] Testen, Analysieren und Verifizieren von Software, 1992, pp:130-142 [Conf ] Hans-Jörg Kreowski , Sabine Kuske Approach-Independent Structuring Concepts for Rule-Based Systems. [Citation Graph (0, 0)][DBLP ] WADT, 2002, pp:299-311 [Conf ] Annegret Habel , Hans-Jörg Kreowski Pretty Patterns Produced by Hyperedge Replacement. [Citation Graph (0, 0)][DBLP ] WG, 1987, pp:32-45 [Conf ] Annegret Habel , Hans-Jörg Kreowski Filtering Hyperedge-Replacement Through Compatible Properties. [Citation Graph (0, 0)][DBLP ] WG, 1989, pp:107-120 [Conf ] Hans-Jörg Kreowski A Comparison Between Petri-Nets and Graph Grammars. [Citation Graph (0, 0)][DBLP ] WG, 1980, pp:306-317 [Conf ] Frank Drewes , Sigrid Ewert , Renate Klempien-Hinrichs , Hans-Jörg Kreowski Computing Raster Images from Grid Picture Grammars. [Citation Graph (0, 0)][DBLP ] CIAA, 2000, pp:113-121 [Conf ] Annegret Habel , Hans-Jörg Kreowski , Walter Vogler Metatheorems for Decision Problems on Hyperedge Replacement Graph Languages. [Citation Graph (0, 0)][DBLP ] Acta Inf., 1989, v:26, n:7, pp:657-677 [Journal ] Andrea Corradini , Hans-Jörg Kreowski GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1997, v:63, n:, pp:- [Journal ] Frank Drewes , Annegret Habel , Hans-Jörg Kreowski , S. Traubenberger A scetch of Collage Grammars. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1993, v:50, n:, pp:209-219 [Journal ] Hartmut Ehrig , Hans-Jörg Kreowski , Fernando Orejas Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1995, v:56, n:, pp:- [Journal ] Annegret Habel , Hans-Jörg Kreowski , Walter Vogler Complativle graph properties are decidable for hypergraph replacement graph languages. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1987, v:33, n:, pp:55-61 [Journal ] Hans-Jörg Kreowski Aspects of Systems of Logic Programming. [Citation Graph (0, 0)][DBLP ] Bulletin of the EATCS, 1991, v:44, n:, pp:144-146 [Journal ] Hans-Jörg Kreowski Specification and programming (by graph transformation). [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1995, v:2, n:, pp:- [Journal ] Hans-Jörg Kreowski , Giorgio Busatto , Sabine Kuske GRACE as a unifying approach to graph-transformation-based specification. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:44, n:4, pp:- [Journal ] Hans-Jörg Kreowski , Giorgio Busatto , Renate Klempien-Hinrichs , Peter Knirsch , Sabine Kuske Structured Modeling with GRACE. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:51, n:, pp:- [Journal ] Hans-Jörg Kreowski , Karsten Hölscher , Peter Knirsch Semantics of Visual Models in a Rule-based Setting. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2006, v:148, n:1, pp:75-88 [Journal ] Hans-Jörg Kreowski , Sabine Kuske Graph Transformation Units with Interleaving Semantics. [Citation Graph (0, 0)][DBLP ] Formal Asp. Comput., 1999, v:11, n:6, pp:690-723 [Journal ] Andrea Corradini , Hans-Jörg Kreowski Preface. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2003, v:58, n:1, pp:- [Journal ] Frank Drewes , Hans-Jörg Kreowski (Un-)Decidability of Geometric Properties of Pictures Generated by Collage Grammars. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1996, v:25, n:3, pp:295-325 [Journal ] Annegret Habel , Hans-Jörg Kreowski , Detlef Plump Jungle evaluation. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1991, v:15, n:1, pp:37-60 [Journal ] Hans-Jörg Kreowski , Sabine Kuske , Andy Schürr Nested Graph Transformation Units. [Citation Graph (0, 0)][DBLP ] International Journal of Software Engineering and Knowledge Engineering, 1997, v:7, n:4, pp:479-502 [Journal ] Hans-Jörg Kreowski , Grzegorz Rozenberg Note on Node-Rewriting Graph Grammars. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1984, v:18, n:1, pp:21-24 [Journal ] Hartmut Ehrig , Hans-Jörg Kreowski Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems. [Citation Graph (0, 0)][DBLP ] Inf. Syst., 1980, v:5, n:3, pp:225-238 [Journal ] Hans-Jörg Kreowski , Grzegorz Rozenberg On structured graph grammars. I. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 1990, v:52, n:2, pp:185-210 [Journal ] Hans-Jörg Kreowski , Grzegorz Rozenberg On structured graph grammars. II. [Citation Graph (0, 0)][DBLP ] Inf. Sci., 1990, v:52, n:3, pp:221-246 [Journal ] Frank Drewes , Sigrid Ewert , Renate Klempien-Hinrichs , Hans-Jörg Kreowski Computing Raster Images from Grid Picture Grammars. [Citation Graph (0, 0)][DBLP ] Journal of Automata, Languages and Combinatorics, 2003, v:8, n:3, pp:499-519 [Journal ] Frank Drewes , Renate Klempien-Hinrichs , Hans-Jörg Kreowski Table-Driven and Context-Sensitive Collage Languages. [Citation Graph (0, 0)][DBLP ] Journal of Automata, Languages and Combinatorics, 2003, v:8, n:1, pp:5-24 [Journal ] Hartmut Ehrig , Hans-Jörg Kreowski Systematic Approach to Reduction and Minimization in Automata and System Theory. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1976, v:12, n:3, pp:269-304 [Journal ] Hartmut Ehrig , Annegret Habel , Hans-Jörg Kreowski , Francesco Parisi-Presicce Parallelism and Concurrency in High-Level Replacement Systems. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1991, v:1, n:3, pp:361-404 [Journal ] Giorgio Busatto , Hans-Jörg Kreowski , Sabine Kuske Abstract hierarchical graph transformation. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:773-819 [Journal ] Hans-Jörg Kreowski , Till Mossakowski Equivalence and Difference between Institutions: Simulating Horn Clause Logic with Based Algebras. [Citation Graph (0, 0)][DBLP ] Mathematical Structures in Computer Science, 1995, v:5, n:2, pp:189-215 [Journal ] Hartmut Ehrig , Hans-Jörg Kreowski , Andrea Maggiolo-Schettini , Barry K. Rosen , Józef Winkowski Transformations of Structures: an Algebraic Approach. [Citation Graph (0, 0)][DBLP ] Mathematical Systems Theory, 1981, v:14, n:, pp:305-334 [Journal ] Marc Andries , Gregor Engels , Annegret Habel , Berthold Hoffmann , Hans-Jörg Kreowski , Sabine Kuske , Detlef Plump , Andy Schürr , Gabriele Taentzer Graph Transformation for Specification and Programming. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1999, v:34, n:1, pp:1-54 [Journal ] Frank Drewes , Annegret Habel , Hans-Jörg Kreowski , Stefan Taubenberger Generating Self-Affine Fractals by Collage Grammars. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1995, v:145, n:1&2, pp:159-187 [Journal ] Frank Drewes , Hans-Jörg Kreowski , Denis Lapoire Criteria to disprove context freeness of collage languages. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2003, v:290, n:3, pp:1445-1458 [Journal ] Hartmut Ehrig , Hans-Jörg Kreowski Compatibility of Parameter Passing and Implementation of Parameterized Data Types. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1983, v:27, n:, pp:255-286 [Journal ] Hartmut Ehrig , Hans-Jörg Kreowski , Bernd Mahr , Peter Padawitz Algebraic Implementation of Abstract Data Types. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1982, v:20, n:, pp:209-263 [Journal ] Hartmut Ehrig , Hans-Jörg Kreowski , James W. Thatcher , Eric G. Wagner , Jesse B. Wright Parameter Passing in Algebraic Specification Languages. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1984, v:28, n:, pp:45-81 [Journal ] Annegret Habel , Hans-Jörg Kreowski Characteristics of Graph Languages Generated by Edge Replacement. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:51, n:, pp:81-115 [Journal ] Annegret Habel , Hans-Jörg Kreowski , Clemens Lautemann A Comparison of Compatible, Finite, and Inductive Graph Properties. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1993, v:110, n:1, pp:145-168 [Journal ] Annegret Habel , Hans-Jörg Kreowski , Walter Vogler Decidable Boundedness Problems for Sets of Graphs Generated by Hyperedge-Replacement. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1991, v:89, n:1, pp:33-62 [Journal ] Hans-Jörg Kreowski , Anne Wilharm Net Processes Correspond to Derivation Processes in Graph Grammars. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1986, v:44, n:, pp:275-305 [Journal ] Hans-Jörg Kreowski , Sabine Kuske Autonomous Units and Their Semantics - The Parallel Case. [Citation Graph (0, 0)][DBLP ] WADT, 2006, pp:56-73 [Conf ] Communities of Autonomous Units for Pickup and Delivery Vehicle Routing. [Citation Graph (, )][DBLP ] Graph Transformation Units - An Overview. [Citation Graph (, )][DBLP ] Graph Multiset Transformation as a Framework for Massively Parallel Computation. [Citation Graph (, )][DBLP ] Graph Transformation Units Guided by a SAT Solver. [Citation Graph (, )][DBLP ] Autonomous Units to Model Games. [Citation Graph (, )][DBLP ] Modelling Transport Networks by Means of Autonomous Units. [Citation Graph (, )][DBLP ] Application of bio-inspired data processing in intelligent transportation systems. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.607secs