The following pages link to R. Heckel (Q171480):
Displaying 28 items.
- (Q4934317) (← links)
- (Q4941928) (← links)
- (Q4967206) (← links)
- Updating Probabilistic Knowledge on Condition/Event Nets using Bayesian Networks (Q5009443) (← links)
- (Q5020535) (← links)
- (Q5021222) (← links)
- (Q5021224) (← links)
- Unfolding Symbolic Attributed Graph Grammars (Q5100727) (← links)
- (Q5150077) (← links)
- (Q5150149) (← links)
- (Q5284549) (← links)
- Graph Transformations (Q5292597) (← links)
- Graph Transformations (Q5292604) (← links)
- Open Petri Nets as Semantic Model for Workflow Integration (Q5392166) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395092) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703986) (← links)
- Formal Methods in Software and Systems Modeling (Q5710423) (← links)
- Lectures on Concurrency and Petri Nets (Q5712284) (← links)
- Objects, Agents, and Features (Q5713991) (← links)
- Combining termination proofs in model transformation systems (Q5740376) (← links)
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets (Q5901470) (← links)
- Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets (Q5901534) (← links)
- Double-pullback transitions and coalgebraic loose semantics for graph transformation systems (Q5929740) (← links)
- A coalgebraic presentation of structured transition systems (Q5941158) (← links)
- Graph Rewriting Components (Q6487304) (← links)
- Stochastic decision Petri nets (Q6535196) (← links)
- Graph rewriting for graph neural networks (Q6535524) (← links)
- Stochastic graph transformation for social network modeling (Q6649535) (← links)
