The following pages link to R. Heckel (Q171480):
Displaying 50 items.
- Formal agent-oriented modeling with UML and graph transformation (Q701042) (← links)
- (Q861293) (redirect page) (← links)
- Structural and behavioural compatibility of graphical service specifications (Q861295) (← links)
- Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820) (← links)
- Unfolding graph grammars with negative application conditions (Q2292971) (← links)
- Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
- (Q2728878) (← links)
- Graph transformation and visual modeling techniques (Q2735957) (← links)
- (Q2754139) (← links)
- (Q2764113) (← links)
- (Q2766549) (← links)
- A formal approach to service specification and matching based on graph transformation (Q2847796) (← links)
- Transformation Systems with Incremental Negative Application Conditions (Q2848878) (← links)
- Parallelism and Concurrency of Stochastic Graph Transformations (Q2918975) (← links)
- DPO Transformation with Open Maps (Q2918982) (← links)
- Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems (Q2947220) (← links)
- Transformation and Refinement of Rigid Structures (Q3192233) (← links)
- Canonical Derivations with Negative Application Conditions (Q3192238) (← links)
- (Q3416073) (← links)
- Tutorial Introduction to Graph Transformation (Q3540418) (← links)
- Molecular Analysis of Metabolic Pathway with Graph Transformation (Q3541951) (← links)
- Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract (Q3541972) (← links)
- (Q3839056) (← links)
- (Q4222787) (← links)
- (Q4222796) (← links)
- (Q4222948) (← links)
- (Q4256315) (← links)
- (Q4411047) (← links)
- (Q4417830) (← links)
- (Q4435868) (← links)
- (Q4438774) (← links)
- (Q4438777) (← links)
- (Q4438799) (← links)
- (Q4438804) (← links)
- (Q4499230) (← links)
- (Q4502807) (← links)
- (Q4502817) (← links)
- Compositional semantics for open Petri nets based on deterministic processes (Q4657750) (← links)
- (Q4699298) (← links)
- (Q4738296) (← links)
- (Q4791852) (← links)
- Concurrency and loose semantics of open graph transformation systems (Q4792940) (← links)
- Relating functional requirements and software architecture: separation and consistency of concerns (Q4805234) (← links)
- (Q4814091) (← links)
- (Q4890712) (← links)
- Behavioral Constraints for Visual Models1 1Research partially supported by the ESPRIT Working Group APPLIGRAPH and the TMR network GETGRATS. (Q4921553) (← links)
- How to Specify a Graph Transformation Approach (Q4923507) (← links)
- Towards a Formal Framework for Inter-Enterprise Application Integration (Q4923536) (← links)
- Combining Termination Criteria by Isolating Deletion (Q4931316) (← links)
- Graph Transformation for Domain-Specific Discrete Event Time Simulation (Q4931320) (← links)
