Maryam Ghaffari Saadat | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Nicolas Behr
14 publications
Reiko Heckel
11 publications
Andrea Corradini
5 publications
Leen Lambers
2 publications

research

∙ 12/03/2020

Encoding Incremental NACs in Safe Graph Grammars using Complementation

In modelling complex systems with graph grammars (GGs), it is convenient...

0 Andrea Corradini, et al. ∙

research

∙ 03/24/2020

Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3

In the semantics of stochastic rewriting systems (SRSs) based on rule al...

0 Nicolas Behr, et al. ∙

research

∙ 12/20/2019

Analysis of Graph Transformation Systems: Native vs Translation-based Techniques

The paper summarises the contributions in a session at GCM 2019 presenti...

0 Reiko Heckel, et al. ∙