| Atezolizumab with or without cobimetinib versus regorafenib in previously treated metastatic colorectal cancer (IMblaze370): a multicentre, open-label, phase 3, randomised … C Eng, TW Kim, J Bendell, G Argilés, NC Tebbutt, M Di Bartolomeo, ... The lancet oncology 20 (6), 849-861, 2019 | 438 | 2019 |
| Anderson–Fabry disease: clinical manifestations of disease in female heterozygotes C Whybra, CHR Kampmann, I Willers, J Davies, B Winchester, ... Journal of inherited metabolic disease 24, 715-724, 2001 | 380 | 2001 |
| Solving MAXSAT by solving a sequence of simpler SAT instances J Davies, F Bacchus International conference on principles and practice of constraint …, 2011 | 207 | 2011 |
| Exploiting the Power of mip Solvers in maxsat J Davies, F Bacchus Theory and Applications of Satisfiability Testing–SAT 2013: 16th …, 2013 | 136 | 2013 |
| Complexity of and algorithms for Borda manipulation J Davies, G Katsirelos, N Narodytska, T Walsh Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 657-662, 2011 | 105 | 2011 |
| Computational protein design as an optimization problem D Allouche, I André, S Barbe, J Davies, S de Givry, G Katsirelos, ... Artificial Intelligence 212, 59-79, 2014 | 95 | 2014 |
| Postponing optimization to speed up MAXSAT solving J Davies, F Bacchus Principles and Practice of Constraint Programming: 19th International …, 2013 | 92 | 2013 |
| Real-world treatment patterns for patients receiving second-line and third-line treatment for advanced non-small cell lung cancer: a systematic review of recently published studies J Davies, M Patel, C Gridelli, F de Marinis, D Waterkamp, ME McCusker PLoS One 12 (4), e0175679, 2017 | 84 | 2017 |
| Preprocessing qbf H Samulowitz, J Davies, F Bacchus Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006 | 60 | 2006 |
| Comparative effectiveness from a single-arm trial and real-world data: alectinib versus ceritinib J Davies, M Martinec, P Delmar, M Coudert, W Bordogna, S Golding, ... Journal of comparative effectiveness research 7 (09), 855-865, 2018 | 55 | 2018 |
| A symbolic SAT-based algorithm for almost-sure reachability with small strategies in POMDPs K Chatterjee, M Chmelik, J Davies Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016 | 52 | 2016 |
| Relaxation search: A simple way of managing optional clauses F Bacchus, J Davies, M Tsimpoukelli, G Katsirelos Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 48 | 2014 |
| Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules J Davies, G Katsirelos, N Narodytska, T Walsh, L Xia Artificial Intelligence 217, 20-42, 2014 | 47 | 2014 |
| Different phenotypic expression in relatives with Fabry disease caused by a W226X mutation IE Knol, M Ausems, D Lindhout, OP Van Diggelen, H Verwey, J Davies, ... American journal of medical genetics 82 (5), 436-439, 1999 | 47 | 1999 |
| Exploiting resolution proofs to speed up LTL vacuity detection for BMC J Simmonds, J Davies, A Gurfinkel, M Chechik International journal on software tools for technology transfer 12, 319-335, 2010 | 40 | 2010 |
| Solving MaxSAT by decoupling optimization and satisfaction J Davies University of Toronto, 2013 | 39 | 2013 |
| Scholarly communication trends—Voices from the vortex: A summary of specialist opinion JE Davies, H Greenwood Learned publishing 17 (2), 157-167, 2004 | 29 | 2004 |
| Eliminating the weakest link: Making manipulation intractable? J Davies, N Narodytska, T Walsh Proceedings of the AAAI Conference on Artificial Intelligence 26 (1), 1333-1339, 2012 | 22 | 2012 |
| Using more reasoning to improve# SAT solving J Davies, F Bacchus Proceedings of the national conference on artificial intelligence 22 (1), 185, 2007 | 20 | 2007 |
| Survival in elderly glioblastoma patients treated with bevacizumab-based regimens in the United States J Davies, I Reyes-Rivera, T Pattipaka, S Skirboll, B Ugiliweneza, S Woo, ... Neuro-Oncology Practice 5 (4), 251-261, 2018 | 18 | 2018 |
