| Publication | Date of Publication | Type |
|---|
Horizontal and vertical structuring techniques for statecharts
CONCUR '97: Concurrency Theory | 2023-05-17 | Paper |
Compositionality results for different types of parameterization and parameter passing in specification languages
Lecture Notes in Computer Science | 2022-11-02 | Paper |
A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
TAPSOFT '95: Theory and Practice of Software Development | 2022-08-18 | Paper |
Algebraic methods in the compositional analysis of logic programs
Mathematical Foundations of Computer Science 1994 | 2022-08-18 | Paper |
Canonical derivations for high-level replacement systems
Graph Transformations in Computer Science | 2022-08-16 | Paper |
Note on standard representation of graphs and graph derivations
Graph Transformations in Computer Science | 2022-08-16 | Paper |
Abstract graph derivations in the double pushout approach
Graph Transformations in Computer Science | 2022-08-16 | Paper |
The category of typed graph grammars and its adjunctions with categories of derivations
Lecture Notes in Computer Science | 2019-01-10 | Paper |
Pragmatic and semantic aspects of a module concept for graph transformation systems
Lecture Notes in Computer Science | 2019-01-10 | Paper |
An event structure semantics for graph grammars with parallel productions
Lecture Notes in Computer Science | 2019-01-10 | Paper |
Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
Finitary \(\mathcal{M}\)-adhesive categories
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
Formal analysis of model transformations based on triple graph grammars
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions
Mathematical Structures in Computer Science | 2016-07-26 | Paper |
Graph and model transformation. General framework and applications
Monographs in Theoretical Computer Science. An EATCS Series | 2016-02-09 | Paper |
Rule-based modeling and static analysis of self-adaptive systems by graph transformation
Software, Services, and Systems | 2015-06-22 | Paper |
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
Electronic Notes in Theoretical Computer Science | 2014-03-26 | Paper |
Efficient conflict detection in graph transformation systems by essential critical pairs
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams
Electronic Notes in Theoretical Computer Science | 2014-03-21 | Paper |
Termination criteria for DPO transformations with injective matches
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions
Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
Confluence in data reduction: bridging graph transformation and kernelization
Computability | 2013-10-10 | Paper |
| Parallel graph transformation for model simulation applied to timed transition Petri nets | 2013-09-11 | Paper |
A conceptual and formal framework for the integration of data type and process modeling techniques
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
| Categorical frameworks for graph transformation and HLR systems based on the DPO approach | 2013-01-28 | Paper |
Toward bridging the gap between formal foundations and current practice for triple graph grammars. Flexible relations between source and target elements
Lecture Notes in Computer Science | 2012-10-02 | Paper |
Parallelism and concurrency of stochastic graph transformations
Lecture Notes in Computer Science | 2012-10-02 | Paper |
Confluence in data reduction: bridging graph transformation and kernelization
Lecture Notes in Computer Science | 2012-08-14 | Paper |
\(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
Fundamenta Informaticae | 2012-07-11 | Paper |
Correctness, completeness and termination of pattern-based model-to-model transformation
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes
Theoretical Computer Science | 2012-05-30 | Paper |
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
Theoretical Computer Science | 2012-05-14 | Paper |
Petri net transformations in the Petri Net Baukasten
Petri Net Technology for Communication-Based Systems | 2011-04-08 | Paper |
Generation of animation views for Petri nets in GenGED
Petri Net Technology for Communication-Based Systems | 2011-04-08 | Paper |
Parallel independence of amalgamated graph transformations applied to model transformation
Lecture Notes in Computer Science | 2010-11-26 | Paper |
Formal analysis of functional behaviour for model transformations based on triple graph grammars
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Local Confluence for Rules with Nested Application Conditions
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Finitary \(\mathcal{M}\)-adhesive categories
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Multi-amalgamation in adhesive categories
Lecture Notes in Computer Science | 2010-10-04 | Paper |
Reasoning with graph constraints
Formal Aspects of Computing | 2010-05-28 | Paper |
Consistent integration of models based on views of meta models
Formal Aspects of Computing | 2010-05-28 | Paper |
A generic approach to connector architectures. I: The general framework
Fundamenta Informaticae | 2010-05-25 | Paper |
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
Fundamenta Informaticae | 2010-05-25 | Paper |
| scientific article; zbMATH DE number 5606347 (Why is no real title available?) | 2009-09-22 | Paper |
| scientific article; zbMATH DE number 5605140 (Why is no real title available?) | 2009-09-19 | Paper |
| scientific article; zbMATH DE number 5605118 (Why is no real title available?) | 2009-09-19 | Paper |
| Flattening of generalized algebraic high-level nets. | 2009-09-19 | Paper |
| scientific article; zbMATH DE number 5604061 (Why is no real title available?) | 2009-09-15 | Paper |
| scientific article; zbMATH DE number 5604108 (Why is no real title available?) | 2009-09-15 | Paper |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Logical Methods in Computer Science | 2009-04-29 | Paper |
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems
Petri Nets and Other Models of Concurrency – ICATPN 2007 | 2009-03-11 | Paper |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Algebra and Coalgebra in Computer Science | 2009-03-10 | Paper |
Conflict Detection for Graph Transformation with Negative Application Conditions
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Termination Analysis of Model Transformations by Petri Nets
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Composition and Decomposition of DPO Transformations with Borrowed Context
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Categorical Foundations of Distributed Graph Transformation
Lecture Notes in Computer Science | 2008-11-27 | Paper |
Embedding and Confluence of Graph Transformations with Negative Application Conditions
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Open Petri Nets: Non-deterministic Processes and Compositionality
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
Lecture Notes in Computer Science | 2008-11-20 | Paper |
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
Lecture Notes in Computer Science | 2008-11-20 | Paper |
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
Algebraic Informatics | 2008-09-04 | Paper |
Construction and properties of adhesive and weak adhesive high-level replacement categories
Applied Categorical Structures | 2008-07-30 | Paper |
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models | 2008-06-19 | Paper |
A Logic of Graph Constraints
Fundamental Approaches to Software Engineering | 2008-05-02 | Paper |
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2007-11-28 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-09-28 | Paper |
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Graph Transformations
Lecture Notes in Computer Science | 2007-06-21 | Paper |
Attributed graph transformation with node type inheritance
Theoretical Computer Science | 2007-05-23 | Paper |
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
Mathematical Structures in Computer Science | 2007-02-07 | Paper |
| Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories | 2007-01-19 | Paper |
| Adhesive high-level replacement systems: a new categorical framework for graph transformation | 2007-01-19 | Paper |
| Theory of constraints and application conditions: from graphs to high-level structures | 2007-01-19 | Paper |
| Behaviour and instantiation of high-level Petri net processes | 2006-06-19 | Paper |
Fundamentals of algebraic graph transformation
Monographs in Theoretical Computer Science. An EATCS Series | 2006-05-31 | Paper |
Petri net modules in the transformation-based component framework
The Journal of Logic and Algebraic Programming | 2006-04-28 | Paper |
Lectures on Concurrency and Petri Nets
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Applications and Theory of Petri Nets 2005
Lecture Notes in Computer Science | 2005-12-14 | Paper |
Fundamental Approaches to Software Engineering
Lecture Notes in Computer Science | 2005-09-13 | Paper |
| scientific article; zbMATH DE number 2155175 (Why is no real title available?) | 2005-04-11 | Paper |
| scientific article; zbMATH DE number 2155177 (Why is no real title available?) | 2005-04-11 | Paper |
| scientific article; zbMATH DE number 2155181 (Why is no real title available?) | 2005-04-11 | Paper |
Compositional semantics for open Petri nets based on deterministic processes
Mathematical Structures in Computer Science | 2005-03-14 | Paper |
| scientific article; zbMATH DE number 2087496 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2087510 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 2079675 (Why is no real title available?) | 2004-07-30 | Paper |
| scientific article; zbMATH DE number 2069283 (Why is no real title available?) | 2004-05-27 | Paper |
| scientific article; zbMATH DE number 2012390 (Why is no real title available?) | 2003-12-15 | Paper |
| scientific article; zbMATH DE number 2013184 (Why is no real title available?) | 2003-12-04 | Paper |
| scientific article; zbMATH DE number 2013194 (Why is no real title available?) | 2003-12-04 | Paper |
| scientific article; zbMATH DE number 2013197 (Why is no real title available?) | 2003-12-04 | Paper |
| scientific article; zbMATH DE number 1995118 (Why is no real title available?) | 2003-10-21 | Paper |
| scientific article; zbMATH DE number 1988965 (Why is no real title available?) | 2003-10-20 | Paper |
| scientific article; zbMATH DE number 1988958 (Why is no real title available?) | 2003-10-20 | Paper |
| scientific article; zbMATH DE number 1973118 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1973124 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1973123 (Why is no real title available?) | 2003-09-01 | Paper |
Concurrency and loose semantics of open graph transformation systems
Mathematical Structures in Computer Science | 2003-02-17 | Paper |
| scientific article; zbMATH DE number 1863181 (Why is no real title available?) | 2003-02-03 | Paper |
| scientific article; zbMATH DE number 1819630 (Why is no real title available?) | 2002-10-23 | Paper |
| scientific article; zbMATH DE number 1629833 (Why is no real title available?) | 2001-11-06 | Paper |
| scientific article; zbMATH DE number 1512072 (Why is no real title available?) | 2001-09-04 | Paper |
The role of mathematics and formal specification techniques in software system development
Bulletin of the European Association for Theoretical Computer Science EATCS | 2001-07-18 | Paper |
| scientific article; zbMATH DE number 1609607 (Why is no real title available?) | 2001-06-25 | Paper |
| scientific article; zbMATH DE number 1504829 (Why is no real title available?) | 2001-04-19 | Paper |
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems
Applied Categorical Structures | 2001-04-16 | Paper |
| scientific article; zbMATH DE number 1368953 (Why is no real title available?) | 2001-01-29 | Paper |
| scientific article; zbMATH DE number 1860657 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1860662 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1860663 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1860665 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1860661 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1860656 (Why is no real title available?) | 2001-01-01 | Paper |
| scientific article; zbMATH DE number 1407501 (Why is no real title available?) | 2000-04-06 | Paper |
| scientific article; zbMATH DE number 1418813 (Why is no real title available?) | 2000-03-30 | Paper |
| scientific article; zbMATH DE number 1361480 (Why is no real title available?) | 2000-02-01 | Paper |
Abstract and behaviour module specifications
Mathematical Structures in Computer Science | 1999-04-13 | Paper |
| scientific article; zbMATH DE number 1260274 (Why is no real title available?) | 1999-03-10 | Paper |
| scientific article; zbMATH DE number 1231487 (Why is no real title available?) | 1998-12-13 | Paper |
| scientific article; zbMATH DE number 1179975 (Why is no real title available?) | 1998-07-28 | Paper |
Institutions for logic programming
Theoretical Computer Science | 1998-07-22 | Paper |
Applications of category theory to the area of algebraic specification in computer science
Applied Categorical Structures | 1998-07-16 | Paper |
| scientific article; zbMATH DE number 1121419 (Why is no real title available?) | 1998-06-11 | Paper |
| scientific article; zbMATH DE number 1104394 (Why is no real title available?) | 1998-04-20 | Paper |
| scientific article; zbMATH DE number 1101600 (Why is no real title available?) | 1998-01-07 | Paper |
| scientific article; zbMATH DE number 1064108 (Why is no real title available?) | 1997-11-20 | Paper |
| scientific article; zbMATH DE number 1004364 (Why is no real title available?) | 1997-07-20 | Paper |
| scientific article; zbMATH DE number 1004345 (Why is no real title available?) | 1997-04-27 | Paper |
| scientific article; zbMATH DE number 969071 (Why is no real title available?) | 1997-01-22 | Paper |
Algebraic high-level net transformation systems
Mathematical Structures in Computer Science | 1996-06-10 | Paper |
Compositionality and compatibility of parameterization and parameter passing in specification languages
Mathematical Structures in Computer Science | 1996-05-28 | Paper |
| scientific article; zbMATH DE number 709535 (Why is no real title available?) | 1995-11-28 | Paper |
| scientific article; zbMATH DE number 807132 (Why is no real title available?) | 1995-10-18 | Paper |
| scientific article; zbMATH DE number 604886 (Why is no real title available?) | 1995-04-18 | Paper |
Functorial theory of parameterized specifications in a general specification framework
Theoretical Computer Science | 1995-04-06 | Paper |
| scientific article; zbMATH DE number 559218 (Why is no real title available?) | 1994-07-28 | Paper |
The ESPRIT basic research working group COMPUGRAPH ``Computing by graph transformation: A survey
Theoretical Computer Science | 1994-06-09 | Paper |
Parallel and distributed derivations in the single-pushout approach
Theoretical Computer Science | 1994-05-15 | Paper |
Categorical principles, techniques and results for high-level-replacement systems in computer science
Applied Categorical Structures | 1994-01-02 | Paper |
| scientific article; zbMATH DE number 177420 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177436 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177439 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177440 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 177466 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 176940 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 139800 (Why is no real title available?) | 1993-03-28 | Paper |
| scientific article; zbMATH DE number 58299 (Why is no real title available?) | 1992-09-27 | Paper |
Parallelism and concurrency in high-level replacement systems
Mathematical Structures in Computer Science | 1992-09-26 | Paper |
| scientific article; zbMATH DE number 44486 (Why is no real title available?) | 1992-09-17 | Paper |
| scientific article; zbMATH DE number 8763 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 8774 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 8787 (Why is no real title available?) | 1992-06-25 | Paper |
| scientific article; zbMATH DE number 10083 (Why is no real title available?) | 1992-06-25 | Paper |
Introduction to graph grammars with applications to semantic networks
Computers & Mathematics with Applications | 1992-01-01 | Paper |
| scientific article; zbMATH DE number 4213464 (Why is no real title available?) | 1991-01-01 | Paper |
Combining data type and recursive process specifications using projection algebras
Theoretical Computer Science | 1990-01-01 | Paper |
Compatibility problems in the development of algebraic module specifications
Theoretical Computer Science | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4117818 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4115946 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4206000 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4062632 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4080886 (Why is no real title available?) | 1988-01-01 | Paper |
Canonical constraints for parameterized data types
Theoretical Computer Science | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4049095 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4049020 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4049096 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3988733 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3951989 (Why is no real title available?) | 1986-01-01 | Paper |
Specification of modular systems
IEEE Transactions on Software Engineering | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3956412 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3980454 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3888893 (Why is no real title available?) | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3936503 (Why is no real title available?) | 1985-01-01 | Paper |
Parameter passing in algebraic specification languages
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3862416 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3821094 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3890708 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3827230 (Why is no real title available?) | 1983-01-01 | Paper |
Compatibility of parameter passing and implementation of parameterized data types
Theoretical Computer Science | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3876564 (Why is no real title available?) | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3854447 (Why is no real title available?) | 1983-01-01 | Paper |
Algebraic implementation of abstract data types
Theoretical Computer Science | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3856429 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3765116 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3856437 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3729433 (Why is no real title available?) | 1981-01-01 | Paper |
Transformations of structures: An algebraic approach
Mathematical Systems Theory | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3754009 (Why is no real title available?) | 1981-01-01 | Paper |
Complexity of algebraic implementations for abstract data types
Journal of Computer and System Sciences | 1981-01-01 | Paper |
Parallelism and concurrency of graph manipulations
Theoretical Computer Science | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3714981 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3716762 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3710373 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3716779 (Why is no real title available?) | 1980-01-01 | Paper |
Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems
Information Systems | 1980-01-01 | Paper |
The Mathematics of Record Handling
SIAM Journal on Computing | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3679167 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3690670 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3633737 (Why is no real title available?) | 1979-01-01 | Paper |
Pushout-Properties: An analysis of gluing constructions for graphs
Mathematische Nachrichten | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3633738 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3640851 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3671692 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3614206 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3633739 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3651722 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3604374 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3651766 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3650366 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3591400 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3594631 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3604327 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3589736 (Why is no real title available?) | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3550175 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3551869 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3555490 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3589735 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3555926 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3551920 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3555927 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3557261 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3585289 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3548465 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3556036 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3553769 (Why is no real title available?) | 1976-01-01 | Paper |
Grammars on partial graphs
Acta Informatica | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3532853 (Why is no real title available?) | 1976-01-01 | Paper |
Systematic approach to reduction and minimization in automata and system theory
Journal of Computer and System Sciences | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3585288 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3478775 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3486017 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3564370 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3569861 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3573273 (Why is no real title available?) | 1975-01-01 | Paper |
Graph grammars and applications to specialization and evolution in biology
Journal of Computer and System Sciences | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3455154 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3508696 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3554189 (Why is no real title available?) | 1974-01-01 | Paper |
F‐Morphismen
Mathematische Nachrichten | 1974-01-01 | Paper |
Kategorielle Theorie der Reduktion, Minimierung und Äquivalenz von Automaten
Mathematische Nachrichten | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3366845 (Why is no real title available?) | 1972-01-01 | Paper |
