Horizontal and vertical structuring techniques for statecharts | 2023-05-17 | Paper |
Compositionality results for different types of parameterization and parameter passing in specification languages | 2022-11-02 | Paper |
A decade of TAPSOFT | 2022-08-18 | Paper |
Algebraic methods in the compositional analysis of logic programs | 2022-08-18 | Paper |
Abstract graph derivations in the double pushout approach | 2022-08-16 | Paper |
Note on standard representation of graphs and graph derivations | 2022-08-16 | Paper |
Canonical derivations for high-level replacement systems | 2022-08-16 | Paper |
The category of typed graph grammars and its adjunctions with categories of derivations | 2019-01-10 | Paper |
Pragmatic and semantic aspects of a module concept for graph transformation systems | 2019-01-10 | Paper |
An event structure semantics for graph grammars with parallel productions | 2019-01-10 | Paper |
Finitary -adhesive categories | 2016-07-26 | Paper |
Multi-amalgamation of rules with application conditions in -adhesive categories | 2016-07-26 | Paper |
-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation | 2016-07-26 | Paper |
Formal analysis of model transformations based on triple graph grammars | 2016-07-26 | Paper |
Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions | 2016-07-26 | Paper |
Graph and model transformation. General framework and applications | 2016-02-09 | Paper |
Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation | 2015-06-22 | Paper |
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations | 2014-03-26 | Paper |
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs | 2014-03-21 | Paper |
A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams | 2014-03-21 | Paper |
Termination Criteria for DPO Transformations with Injective Matches | 2013-12-20 | Paper |
Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions | 2013-12-06 | Paper |
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization | 2013-10-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q2847842 | 2013-09-11 | Paper |
A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques | 2013-05-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4904140 | 2013-01-28 | Paper |
Parallelism and Concurrency of Stochastic Graph Transformations | 2012-10-02 | Paper |
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars | 2012-10-02 | Paper |
Confluence in Data Reduction: Bridging Graph Transformation and Kernelization | 2012-08-14 | Paper |
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence | 2012-07-11 | Paper |
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation | 2012-06-01 | Paper |
Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes | 2012-05-30 | Paper |
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs | 2012-05-14 | Paper |
Petri Net Transformations in the ≫Petri Net Baukasten≪ | 2011-04-08 | Paper |
Generation of Animation Views for Petri Nets in GenGED | 2011-04-08 | Paper |
Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation | 2010-11-26 | Paper |
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars | 2010-10-04 | Paper |
Finitary $\mathcal{M}$ -Adhesive Categories | 2010-10-04 | Paper |
Local Confluence for Rules with Nested Application Conditions | 2010-10-04 | Paper |
Multi-Amalgamation in Adhesive Categories | 2010-10-04 | Paper |
Reasoning with graph constraints | 2010-05-28 | Paper |
Consistent integration of models based on views of meta models | 2010-05-28 | Paper |
A Generic Approach to Connector Architectures Part I: The General Framework | 2010-05-25 | Paper |
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP | 2010-05-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q3397632 | 2009-09-22 | Paper |
https://portal.mardi4nfdi.de/entity/Q3396616 | 2009-09-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3396630 | 2009-09-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3396638 | 2009-09-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3395944 | 2009-09-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q3395992 | 2009-09-15 | Paper |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets | 2009-04-29 | Paper |
Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems | 2009-03-11 | Paper |
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets | 2009-03-10 | Paper |
Conflict Detection for Graph Transformation with Negative Application Conditions | 2008-11-27 | Paper |
Composition and Decomposition of DPO Transformations with Borrowed Context | 2008-11-27 | Paper |
Categorical Foundations of Distributed Graph Transformation | 2008-11-27 | Paper |
Termination Analysis of Model Transformations by Petri Nets | 2008-11-27 | Paper |
Embedding and Confluence of Graph Transformations with Negative Application Conditions | 2008-11-20 | Paper |
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels | 2008-11-20 | Paper |
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation | 2008-11-20 | Paper |
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts | 2008-11-20 | Paper |
Open Petri Nets: Non-deterministic Processes and Compositionality | 2008-11-20 | Paper |
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems | 2008-09-04 | Paper |
Construction and properties of adhesive and weak adhesive high-level replacement categories | 2008-07-30 | Paper |
Transformations in Reconfigurable Place/Transition Systems | 2008-06-19 | Paper |
A Logic of Graph Constraints | 2008-05-02 | Paper |
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions | 2008-04-11 | Paper |
Fundamental Approaches to Software Engineering | 2007-11-28 | Paper |
Foundations of Software Science and Computation Structures | 2007-09-28 | Paper |
Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations | 2007-09-07 | Paper |
Graph Transformations | 2007-06-21 | Paper |
Graph Transformations | 2007-06-21 | Paper |
Graph Transformations | 2007-06-21 | Paper |
Attributed graph transformation with node type inheritance | 2007-05-23 | Paper |
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts | 2007-02-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q3416071 | 2007-01-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3416072 | 2007-01-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q3416077 | 2007-01-19 | Paper |
https://portal.mardi4nfdi.de/entity/Q5472856 | 2006-06-19 | Paper |
Fundamentals of algebraic graph transformation | 2006-05-31 | Paper |
Petri net modules in the transformation-based component framework | 2006-04-28 | Paper |
Lectures on Concurrency and Petri Nets | 2005-12-23 | Paper |
Applications and Theory of Petri Nets 2005 | 2005-12-14 | Paper |
Fundamental Approaches to Software Engineering | 2005-09-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4665721 | 2005-04-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4665723 | 2005-04-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4665728 | 2005-04-11 | Paper |
Compositional semantics for open Petri nets based on deterministic processes | 2005-03-14 | Paper |
https://portal.mardi4nfdi.de/entity/Q4738296 | 2004-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4738311 | 2004-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4471722 | 2004-07-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4463196 | 2004-05-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q4437808 | 2003-12-15 | Paper |
https://portal.mardi4nfdi.de/entity/Q4436351 | 2003-12-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4436361 | 2003-12-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4436364 | 2003-12-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4431333 | 2003-10-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4430285 | 2003-10-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4430292 | 2003-10-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4421717 | 2003-09-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4421724 | 2003-09-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4421725 | 2003-09-01 | Paper |
Concurrency and loose semantics of open graph transformation systems | 2003-02-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4791852 | 2003-02-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q3152420 | 2002-10-23 | Paper |
https://portal.mardi4nfdi.de/entity/Q2728863 | 2001-11-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4505699 | 2001-09-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q2729227 | 2001-07-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q2719333 | 2001-06-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4502807 | 2001-04-19 | Paper |
Double-pullback transitions and coalgebraic loose semantics for graph transformation systems | 2001-04-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q4702597 | 2001-01-29 | Paper |
https://portal.mardi4nfdi.de/entity/Q4790384 | 2001-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4790385 | 2001-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4790389 | 2001-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4790390 | 2001-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4790391 | 2001-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4790393 | 2001-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4940886 | 2000-04-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4942095 | 2000-03-30 | Paper |
https://portal.mardi4nfdi.de/entity/Q4699298 | 2000-02-01 | Paper |
Abstract and behaviour module specifications | 1999-04-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4231110 | 1999-03-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4222794 | 1998-12-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4399250 | 1998-07-28 | Paper |
Institutions for logic programming | 1998-07-22 | Paper |
Applications of category theory to the area of algebraic specification in computer science | 1998-07-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q4378146 | 1998-06-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4370279 | 1998-04-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q4371022 | 1998-01-07 | Paper |
https://portal.mardi4nfdi.de/entity/Q4355675 | 1997-11-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q3129296 | 1997-07-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q3129285 | 1997-04-27 | Paper |
https://portal.mardi4nfdi.de/entity/Q5284549 | 1997-01-22 | Paper |
Algebraic high-level net transformation systems | 1996-06-10 | Paper |
Compositionality and compatibility of parameterization and parameter passing in specification languages | 1996-05-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4318986 | 1995-11-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4850736 | 1995-10-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4299864 | 1995-04-18 | Paper |
Functorial theory of parameterized specifications in a general specification framework | 1995-04-06 | Paper |
https://portal.mardi4nfdi.de/entity/Q4289276 | 1994-07-28 | Paper |
The ESPRIT basic research working group COMPUGRAPH ``Computing by graph transformation: A survey | 1994-06-09 | Paper |
Parallel and distributed derivations in the single-pushout approach | 1994-05-15 | Paper |
Categorical principles, techniques and results for high-level-replacement systems in computer science | 1994-01-02 | Paper |
https://portal.mardi4nfdi.de/entity/Q4036776 | 1993-05-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4037293 | 1993-05-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4037311 | 1993-05-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4037314 | 1993-05-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4037315 | 1993-05-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4037336 | 1993-05-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4028126 | 1993-03-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q4005186 | 1992-09-27 | Paper |
Parallelism and concurrency in high-level replacement systems | 1992-09-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3995131 | 1992-09-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q3971251 | 1992-06-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q3971262 | 1992-06-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q3971276 | 1992-06-25 | Paper |
https://portal.mardi4nfdi.de/entity/Q4713364 | 1992-06-25 | Paper |
Introduction to graph grammars with applications to semantic networks | 1992-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3359777 | 1991-01-01 | Paper |
Combining data type and recursive process specifications using projection algebras | 1990-01-01 | Paper |
Compatibility problems in the development of algebraic module specifications | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4730765 | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4732088 | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3355245 | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3796790 | 1988-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3811687 | 1988-01-01 | Paper |
Canonical constraints for parameterized data types | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3785915 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3785984 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3785985 | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3721799 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3725525 | 1986-01-01 | Paper |
Specification of modular systems | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3745247 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3751030 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3221381 | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3707394 | 1985-01-01 | Paper |
Parameter passing in algebraic specification languages | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3330488 | 1984-01-01 | Paper |
Compatibility of parameter passing and implementation of parameterized data types | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3323294 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3341871 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3347268 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3667933 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3673130 | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3947104 | 1982-01-01 | Paper |
Algebraic implementation of abstract data types | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3325062 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3325070 | 1982-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3917480 | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3938469 | 1981-01-01 | Paper |
Transformations of structures: An algebraic approach | 1981-01-01 | Paper |
Complexity of algebraic implementations for abstract data types | 1981-01-01 | Paper |
Parallelism and concurrency of graph manipulations | 1980-01-01 | Paper |
Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3875329 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3885176 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3901649 | 1980-01-01 | Paper |
The Mathematics of Record Handling | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3906461 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3907050 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3907067 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4170255 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4178514 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4194478 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4194479 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4194481 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4199504 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3208498 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3851591 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3851642 | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3868773 | 1979-01-01 | Paper |
Pushout-Properties: An analysis of gluing constructions for graphs | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4157956 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4158499 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4160385 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4170201 | 1978-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4124322 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4125739 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4128027 | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4109586 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4122833 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4125801 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4127402 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4128446 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4128447 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4128545 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4133158 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4154425 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4154426 | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4157955 | 1976-01-01 | Paper |
Grammars on partial graphs | 1976-01-01 | Paper |
Systematic approach to reduction and minimization in automata and system theory | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4063357 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4068898 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4136600 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4140412 | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4144213 | 1975-01-01 | Paper |
Graph grammars and applications to specialization and evolution in biology | 1975-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4041460 | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4088970 | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4128724 | 1974-01-01 | Paper |
F‐Morphismen | 1974-01-01 | Paper |
Kategorielle Theorie der Reduktion, Minimierung und Äquivalenz von Automaten | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5639638 | 1972-01-01 | Paper |