Login / Signup
Jaco C. van de Pol
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 0
Top Topics
Record Linkage
Social Network Analysis
Automated Verification
Breadth First Search
Top Venues
Euro-Par Workshops (2)
FMICS
</>
Publications
</>
Jaco C. van de Pol
Automated Verification of Nested DFS.
FMICS
(2015)
Tom van Dijk
,
Jaco C. van de Pol
Lace: Non-blocking Split Deque for Work-Stealing.
Euro-Par Workshops (2)
(2014)