Hans-Jörg Kreowski

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

A Comparison of Compatible, Finite, and Inductive Graph Properties.

[BibT_eX]

[DOI]

Clemens Lautemann

Theor. Comput. Sci., 1993

A scetch of Collage Grammars.

[BibT_eX]

Bull. EATCS, 1993

Hyperedge Replacement with Rendevous.

[BibT_eX]

[DOI]

N. Gnanamalar David

Frank Drewes

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Five Facets of Hyperedge Replacement Beyond Context-Freeness.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993

Canonical Derivaitons for High-Level Replacement Systems.

[BibT_eX]

[DOI]

Gabriele Taentzer

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1992

Ein Vorschlag zum Testen strukturierter algebraischer Spezifikationen.

[BibT_eX]

[DOI]

Proceedings of the Testen, 1992

Eine konkrete Utopie von korrekter Software.

[BibT_eX]

[DOI]

Proceedings of the Informatik zwischen Wissenschaft und Gesellschaft, 1992

1991

Decidable Boundedness Problems for Sets of Graphs Generated by Hyperedge-Replacement.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1991

Parallelism and Concurrency in High-Level Replacement Systems.

[BibT_eX]

[DOI]

Francesco Parisi-Presicce

Math. Struct. Comput. Sci., 1991

Jungle evaluation.

[BibT_eX]

Detlef Plump

Fundam. Informaticae, 1991

Aspects of Systems of Logic Programming.

[BibT_eX]

Bull. EATCS, 1991

Logische Grundlagen der Informatik.

[BibT_eX]

Handbuch der Informatik 1.1, Oldenbourg, ISBN: 978-3-486-20773-6, 1991

1990

On structured graph grammars. II.

[BibT_eX]

[DOI]

Inf. Sci., 1990

On structured graph grammars. I.

[BibT_eX]

[DOI]

Inf. Sci., 1990

Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results.

[BibT_eX]

[DOI]

Zhenyu Qian

Proceedings of the STACS 90, 1990

Applied Graph Transformation.

[BibT_eX]

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

Grammatical Inference Based on Hyperedge Replacement.

[BibT_eX]

[DOI]

Eric Jeltsch

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

Collage Grammars.

[BibT_eX]

[DOI]

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

From Graph Grammars to High Level Replacement Systems.

[BibT_eX]

[DOI]

Francesco Parisi-Presicce

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

A Note on Hyperedge Replacement.

[BibT_eX]

[DOI]

Frank Drewes

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

1989

Metatheorems for Decision Problems on Hyperedge Replacement Graph Languages.

[BibT_eX]

[DOI]

Acta Informatica, 1989

Filtering Hyperedge-Replacement Through Compatible Properties.

[BibT_eX]

[DOI]

Proceedings of the Graph-Theoretic Concepts in Computer Science, 1989

Decidable Boundedness Problems for Hyperedge-Replacement Graph Grammar.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

Complexity in Algebraic Specifications: An Upper Bound Result.

[BibT_eX]

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

Characteristics of Graph Languages Generated by Edge Replacement.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1987

Complativle graph properties are decidable for hypergraph replacement graph languages.

[BibT_eX]

Bull. EATCS, 1987

Pretty Patterns Produced by Hyperedge Replacement.

[BibT_eX]

[DOI]

Proceedings of the Graph-Theoretic Concepts in Computer Science, International Workshop, 1987

Some Structural Aspects of Hypergraph Languages Generated by Hyperedge Replacement.

[BibT_eX]

[DOI]

Proceedings of the STACS 87, 1987

Partial Algebras Flow From Algebraic Specifications.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1986

Net Processes Correspond to Derivation Processes in Graph Grammars.

[BibT_eX]

[DOI]

Anne Wilharm

Theor. Comput. Sci., 1986

Is parallelism already concurrency? Part 2: Non-sequential processes in graph grammars.

[BibT_eX]

[DOI]

Anne Wilharm

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

Is parallelism already concurrency? Part 1: Derivations in graph grammars.

[BibT_eX]

[DOI]

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

May we introduce to you: hyperedge replacement.

[BibT_eX]

[DOI]

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1986

Informatik und Militär: Zusammen in den Abgrund?

[BibT_eX]

Proceedings of the Umdenken in der Informatik [2. Jahrestagung des Forums Informatiker für Frieden und gesellschaftliche Verantwortung e.V., 1986

Based Algebras.

[BibT_eX]

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1984

Parameter Passing in Algebraic Specification Languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

Note on Node-Rewriting Graph Grammars.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1984

1983

Compatibility of Parameter Passing and Implementation of Parameterized Data Types.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1983

Graph Grammar Derivation Processes.

[BibT_eX]

Proceedings of the WG '83, 1983

Specification of Partial Functions - Only a Tentative Suggestion.

[BibT_eX]

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

Suggestions on the Interpretation of Algebraic Specifications.

[BibT_eX]

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

Algebraic Implementation of Abstract Data Types.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1982

Concurrency of Node-Label-Controlled Graph Transformations.

[BibT_eX]

Proceedings of the 8th Conference Graphtheoretic Concepts in Computer Science (WG '82), 1982

On context-free gragh languages generated by edge replacement.

[BibT_eX]

[DOI]

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1982

An Algebraic Implementation Concept for Abstract Data Types.

[BibT_eX]

Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982

1981

Transformations of Structures: an Algebraic Approach.

[BibT_eX]

[DOI]

Andrea Maggiolo-Schettini

Barry K. Rosen

Józef Winkowski

Math. Syst. Theory, 1981

On the Constructive Description of Graph Languages Accepted by Finite Automata.

[BibT_eX]

[DOI]

Jørgen Steensgaard-Madsen

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

KWIC-index generation.

[BibT_eX]

[DOI]

Leif Sandegaard Nielsen

Proceedings of the Program Specification, 1981

1980

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

[BibT_eX]

[DOI]

Inf. Syst., 1980

A Comparison Between Petri-Nets and Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Graphtheoretic Concepts in Computer Science, 1980

Wo liegen die Grenzen der praktischen Anwendung formaler Methoden für die Entwurfsspezifikation?

[BibT_eX]

Proceedings of the Software Engineering, 1980

Algebraische Spezifikation von Softwaresystemen.

[BibT_eX]

Proceedings of the Software Engineering, 1980

Algebraische Spezifikation eines Stücklistensystems - eine Fallstudie.

[BibT_eX]

Werner Fey

Proceedings of the Software Engineering, 1980

A Case Study of Abstract Implementations and Their Correctness.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Programming, 1980

Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

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

[BibT_eX]

[DOI]

Proceedings of the Automata, 1980

Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1980

1979

Algebraic implementation of abstract data types: an announcement.

[BibT_eX]

[DOI]

SIGACT News, 1979

Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme.

[BibT_eX]

[DOI]

Herbert Weber

Proceedings of the Formale Modelle für Informationssysteme, 1979

1978

Algebraic Specification Schemes for Data Base Systems.

[BibT_eX]

Herbert Weber

Proceedings of the Fourth International Conference on Very Large Data Bases, 1978

Deriving Structures from Structures.

[BibT_eX]

[DOI]

Andrea Maggiolo-Schettini

Barry K. Rosen

Józef Winkowski

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Stepwise Specification and Implementation of Abstract Data Types.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1978

A Pumping Lemma for Context-Free Graph Languages.

[BibT_eX]

[DOI]

Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978

1977

Transformationas of Derivation Sequences in Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 1977

1976

Systematic Approach to Reduction and Minimization in Automata and System Theory.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1976

Parallelism of Manipulations in Multidimensional Information Structures.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975

Parallel Graph Grammers.

[BibT_eX]

Proceedings of the Automata, Languages, Development: At the crossroads of biology, mathematics and computer science, result of an international conference held at Noordwijkerhout, The Netherlands, March 31, 1975

1974

Power and initial automata in pseudoclosed categories.

[BibT_eX]

[DOI]

Proceedings of the Category Theory Applied to Computation and Control, 1974

Universal theory of automata - a categorial approach.

[BibT_eX]

Klaus-Dieter Kiermeier