Collaborated with:L.Lambers F.Orejas H.Giese M.Maximova L.Sakizloglou
Talks about:graph (4) logic (2) increment (1) properti (1) attribut (1) approach (1) generat (1) tempor (1) symbol (1) repair (1)
Person: Sven Schneider 0001
DBLP: 0001:Sven_Schneider
Contributed to:
20172019Wrote 3 papers:
- FASE-2017-SchneiderLO #generative #graph
- Symbolic Model Generation for Graph Properties (SS0, LL, FO), pp. 226–243.
- FASE-2019-GieseMSS #graph #logic #metric
- Metric Temporal Graph Logic over Typed Attributed Graphs (HG, MM, LS, SS0), pp. 282–298.
- FASE-2019-SchneiderLO #approach #graph #incremental
- A Logic-Based Incremental Approach to Graph Repair (SS0, LL, FO), pp. 151–167.