Travelled to:1 × United Kingdom
Collaborated with:J.v.d.Pol ∅ G.Kant A.Laarman J.Meijer S.Blom
Talks about:independ (1) perform (1) languag (1) diagram (1) attract (1) sylvan (1) pariti (1) tangl (1) multi (1) model (1)
Person: Tom van Dijk
DBLP: Dijk:Tom_van
Contributed to:
2015
2018Wrote 3 papers:
- TACAS-2015-DijkP #diagrams #manycore #named
- Sylvan: Multi-Core Decision Diagrams (TvD, JvdP), pp. 677–691.
- TACAS-2015-KantLMPBD #independence #model checking #named
- LTSmin: High-Performance Language-Independent Model Checking (GK, AL, JM, JvdP, SB, TvD), pp. 692–707.
- CAV-2018-Dijk #game studies
- Attracting Tangles to Solve Parity Games (TvD), pp. 198–215.