| 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 | 504 | 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 | 396 | 2001 |
| Solving MAXSAT by solving a sequence of simpler SAT instances J Davies, F Bacchus International conference on principles and practice of constraint …, 2011 | 230 | 2011 |
| Exploiting the Power of mip Solvers in maxsat J Davies, F Bacchus Theory and Applications of Satisfiability Testing–SAT 2013: 16th …, 2013 | 146 | 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 | 102 | 2014 |
| Postponing optimization to speed up MAXSAT solving J Davies, F Bacchus Principles and Practice of Constraint Programming: 19th International …, 2013 | 101 | 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 | 85 | 2017 |
| Preprocessing qbf H Samulowitz, J Davies, F Bacchus Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006 | 61 | 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 | 58 | 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 | 56 | 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 | 51 | 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 | 50 | 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 | 50 | 1999 |
| Solving MaxSAT by decoupling optimization and satisfaction J Davies | 46 | 2014 |
| 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 | 41 | 2010 |
| Scholarly communication trends—Voices from the vortex: A summary of specialist opinion JE Davies, H Greenwood Learned publishing 17 (2), 157-167, 2004 | 33 | 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 | 23 | 2012 |
| Deep learning-based propensity scores for confounding control in comparative effectiveness research: A large-scale, real-world data study J Weberpals, T Becker, J Davies, F Schmich, D Rüttinger, FJ Theis, ... Epidemiology 32 (3), 378-388, 2021 | 21 | 2021 |
| 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 |
