The following pages link to Hartmut Ehrig (Q171481):
Displaying 50 items.
- (Q4790393) (← links)
- (Q4791852) (← links)
- Concurrency and loose semantics of open graph transformation systems (Q4792940) (← links)
- (Q4850736) (← links)
- Algebraic high-level net transformation systems (Q4856661) (← links)
- Compositionality and compatibility of parameterization and parameter passing in specification languages (Q4856663) (← links)
- (Q4904140) (← links)
- A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (Q4921549) (← links)
- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (Q4931310) (← links)
- Finitary $\mathcal{M}$ -Adhesive Categories (Q4931318) (← links)
- Local Confluence for Rules with Nested Application Conditions (Q4931325) (← links)
- Multi-Amalgamation in Adhesive Categories (Q4931326) (← links)
- (Q4940886) (← links)
- (Q4942095) (← links)
- Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722) (← links)
- Abstract graph derivations in the double pushout approach (Q5096276) (← links)
- Note on standard representation of graphs and graph derivations (Q5096277) (← links)
- Canonical derivations for high-level replacement systems (Q5096280) (← links)
- A decade of TAPSOFT (Q5096723) (← links)
- Algebraic methods in the compositional analysis of logic programs (Q5096873) (← links)
- Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation (Q5256370) (← links)
- (Q5284549) (← links)
- Graph Transformations (Q5292592) (← links)
- Graph Transformations (Q5292593) (← links)
- Graph Transformations (Q5292603) (← links)
- Foundations of Software Science and Computation Structures (Q5308448) (← links)
- Fundamental Approaches to Software Engineering (Q5316443) (← links)
- Petri Net Transformations in the ≫Petri Net Baukasten≪ (Q5392155) (← links)
- Generation of Animation Views for Petri Nets in GenGED (Q5392157) (← links)
- Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (Q5403459) (← links)
- Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (Q5404172) (← links)
- A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams (Q5404182) (← links)
- Fundamental Approaches to Software Engineering (Q5428887) (← links)
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (Q5458376) (← links)
- A Logic of Graph Constraints (Q5460000) (← links)
- (Q5472856) (← links)
- (Q5639638) (← links)
- <i>F</i>‐Morphismen (Q5639840) (← links)
- Kategorielle Theorie der Reduktion, Minimierung und Äquivalenz von Automaten (Q5661803) (← links)
- Lectures on Concurrency and Petri Nets (Q5712281) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713506) (← links)
- Finitary -adhesive categories (Q5740372) (← links)
- Multi-amalgamation of rules with application conditions in -adhesive categories (Q5740374) (← links)
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Q5740375) (← links)
- Formal analysis of model transformations based on triple graph grammars (Q5740377) (← links)
- Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions (Q5740378) (← links)
- Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations (Q5757943) (← links)
- Confluence in data reduction: bridging graph transformation and kernelization (Q5891215) (← links)
- Confluence in Data Reduction: Bridging Graph Transformation and Kernelization (Q5891701) (← links)
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets (Q5901470) (← links)
