Collaborated with:
H.Giese M.Maximova S.S.0001
Talks about:
graph (2) attribut (1) tempor (1) metric (1) logic (1) type (1)
Person: Lucas Sakizloglou
DBLP: Sakizloglou:Lucas
Contributed to:
Wrote 1 papers:
- FASE-2019-GieseMSS #graph #logic #metric
- Metric Temporal Graph Logic over Typed Attributed Graphs (HG, MM, LS, SS0), pp. 282–298.