Search results for: Freek Verbeek
IEEE Transactions on Computers > 2017 > 66 > 2 > 272 - 284
IEEE Transactions on Parallel and Distributed Systems > 2014 > 25 > 8 > 1935 - 1944
Journal of Automated Reasoning > 2012 > 48 > 4 > 419-439
IEEE Transactions on Parallel and Distributed Systems > 2011 > 22 > 10 > 1775 - 1776
IEEE Transactions on Parallel and Distributed Systems > 2011 > 22 > 12 > 2022 - 2032