Collaborated with:
H.Ehrig C.Ermel H.Giese L.Sakizloglou S.S.0001
Talks about:
graph (2) hypergraph (1) transform (1) attribut (1) functor (1) analysi (1) tempor (1) system (1) metric (1) logic (1)
Person: Maria Maximova
DBLP: Maximova:Maria
Contributed to:
Wrote 2 papers:
- GT-VMT-2013-MaximovaEE #analysis #graph transformation
- Analysis of Hypergraph Transformation Systems in AGG based on M-Functors (MM, HE, CE).
- FASE-2019-GieseMSS #graph #logic #metric
- Metric Temporal Graph Logic over Typed Attributed Graphs (HG, MM, LS, SS0), pp. 282–298.