Search results for: Thomas Grégoire
Journal of High Energy Physics > 2018 > 2018 > 8 > 1-29
Journal of Automated Reasoning > 2019 > 62 > 2 > 193-213
Journal of High Energy Physics > 2017 > 2017 > 6 > 1-46
Journal of High Energy Physics > 2016 > 2016 > 1 > 1-17
Journal of High Energy Physics > 2015 > 2015 > 8 > 1-24
Journal of High Energy Physics > 2015 > 2015 > 4 > 1-22
Journal of High Energy Physics > 2014 > 2014 > 5 > 1-18
Journal of High Energy Physics > 2013 > 2013 > 5 > 1-46
Journal of High Energy Physics > 2013 > 2013 > 3 > 1-47
Journal of High Energy Physics > 2012 > 2012 > 4 > 1-16
Journal of High Energy Physics > 2011 > 2011 > 6 > 1-24