[  publications | papers | office | address ]

Dr. Tom van Dijk

Since August 2016 Dr. Tom van Dijk is a Post-Doc at JKU with Prof. Armin Biere within National Research Network (NFN) on Rigorous Systems Engineering (RiSE).

Additional information on the external page: http://www.tvandijk.nl.

Publications

Best paper
Wytse Oortwijn, Tom van Dijk and Jaco van de Pol. Distributed Binary Decision Diagrams for Symbolic Reachability. In SPIN 2017, pages 21-30, ACM 2017.
[ paper | bibtex | DOI ]

Tom van Dijk, Robert Wille and Robert Meolic. Tagged BDDs: Combining reduction rules from different decision diagram types. In: FMCAD 2017, pages 108-115, IEEE 2017.
[ paper | bibtex | DOI ]

Office

Science Park 3 (SCP3), 2nd Floor
Room S3 0257

Address

Institute for Formal Models and Verification
Johannes Kepler University
Altenbergerstr. 69
4040 Linz
Austria