scientific article; zbMATH DE number 7456054
From MaRDI portal
Publication:5021224
Reiko Heckel, Nicolas Behr, Maryam Ghaffari Saadat
Publication date: 12 January 2022
Full work available at URL: https://arxiv.org/abs/2003.11010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Formal molecular biology
- Constructing optimized validity-preserving application conditions for graph transformation rules
- Specifying graph languages with type graphs
- Termination Criteria for DPO Transformations with Injective Matches
- ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
- Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
- Sound and Complete Abstract Graph Transformation
- A Software Package for Chemically Inspired Graph Transformation
- Transformation and Refinement of Rigid Structures
- Rule Algebras for Adhesive Categories
- Rule-Based Modelling, Symmetries, Refinements
- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
- Sesqui-Pushout Rewriting
- Correctness of high-level transformation systems relative to nested conditions
- Stochastic mechanics of graph rewriting
- Graph Transformation Units Guided by a SAT Solver
- Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics
- Intrinsic information carriers in combinatorial dynamical systems
- Adhesive and quasiadhesive categories
- Computational Methods in Systems Biology
- Finitary -adhesive categories
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
This page was built for publication:
