Tom van Dijk
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j5]Tom van Dijk, Jaco van de Pol:
Multi-core symbolic bisimulation minimisation. STTT 20(2): 157-177 (2018) - [c11]
- [c10]Tom van Dijk:
Oink: An Implementation and Evaluation of Modern Parity Game Solvers. TACAS (1) 2018: 291-308 - [p1]Tom van Dijk, Jaco van de Pol:
Multi-core Decision Diagrams. Handbook of Parallel Constraint Reasoning 2018: 509-545 - [i4]Tom van Dijk:
Oink: an Implementation and Evaluation of Modern Parity Game Solvers. CoRR abs/1801.03859 (2018) - [i3]
- [i2]Tom van Dijk, Rüdiger Ehlers, Armin Biere:
Revisiting Decision Diagrams for SAT. CoRR abs/1805.03496 (2018) - [i1]
- 2017
- [j4]Tom van Dijk, Jaco van de Pol:
Sylvan: multi-core framework for decision diagrams. STTT 19(6): 675-696 (2017) - [c9]
- [c8]Tom van Dijk, Robert Wille, Robert Meolic:
Tagged BDDs: Combining reduction rules from different decision diagram types. FMCAD 2017: 108-115 - [c7]Wytse Oortwijn, Tom van Dijk, Jaco van de Pol:
Distributed binary decision diagrams for symbolic reachability. SPIN 2017: 21-30 - 2016
- [b1]Tom van Dijk:
Sylvan: multi-core decision diagrams. University of Twente, Enschede, Netherlands 2016 - [c6]
- 2015
- [j3]Tom van Dijk, Ton A. M. Spil, Sanne van der Burg, Ivo Wenzler, Simon Dalmolen:
Present or Play: The Effect of Serious Gaming on Demonstrated Behaviour. IJGBL 5(2): 55-69 (2015) - [c5]Wytse Oortwijn, Tom van Dijk, Jaco van de Pol:
A Distributed Hash Table for Shared Memory. PPAM (2) 2015: 15-24 - [c4]Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang:
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. SETTA 2015: 35-51 - [c3]
- [c2]Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk:
LTSmin: High-Performance Language-Independent Model Checking. TACAS 2015: 692-707 - 2014
- [c1]Tom van Dijk, Jaco C. van de Pol:
Lace: Non-blocking Split Deque for Work-Stealing. Euro-Par Workshops (2) 2014: 206-217 - 2013
- [j2]Tom van Dijk, Alfons Laarman, Jaco van de Pol:
Multi-Core BDD Operations for Symbolic Reachability. Electr. Notes Theor. Comput. Sci. 296: 127-143 (2013) - 2012
- [j1]Tom van Dijk, Alfons Laarman, Jaco van de Pol:
Multi-core and/or Symbolic Model Checking. ECEASST 53 (2012)
Coauthor Index
last updated on 2018-12-13 23:16 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint