| Stableyolo: Optimizing image generation for large language models H Berger, A Dakhama, Z Ding, K Even-Mendoza, D Kelly, H Menendez, ... International Symposium on Search Based Software Engineering, 133-139, 2023 | 6 | 2023 |
| Multiple Different Explanations for Image Classifiers H Chockler, DA Kelly, D Kroening arXiv preprint arXiv:2309.14309, 2023 | 2 | 2023 |
| Real-time incremental explanations for object detectors S Calderón-Peña, H Chockler, DA Kelly arXiv preprint arXiv:2408.11963, 2024 | 1 | 2024 |
| Explainable AI for the classification of brain MRIs N Blake, D Kelly, S Peña, A Chanchal, H Chockler | 1 | 2024 |
| You Only Explain Once DA Kelly, H Chockler, D Kroening, N Blake, A Ramaswamy, ... arXiv preprint arXiv:2311.14081, 2023 | 1 | 2023 |
| Detecting and Predicting Smart Car Collisions in Hybrid Environments from Sensor Data HD Menendez, D Kelly World Conference on Information Systems and Technologies, 425-435, 2023 | 1 | 2023 |
| SafeStrings: Representing Strings as Structured Data D Kelly, M Marron, D Clark, ET Barr arXiv preprint arXiv:1904.11254, 2019 | 1 | 2019 |
| Causal Explanations for Image Classifiers H Chockler, DA Kelly, D Kroening, Y Sun arXiv preprint arXiv:2411.08875, 2024 | | 2024 |
| DiscreteEntropy. jl: Entropy Estimation of Discrete Random Variables with Julia DA Kelly, IP La Torre Journal of Open Source Software 9 (103), 7334, 2024 | | 2024 |
| MRxaI: Black-Box Explainability for Image Classifiers in a Medical Setting N Blake, H Chockler, DA Kelly, SC Pena, A Chanchal arXiv preprint arXiv:2311.14471, 2023 | | 2023 |
| June: A Type Testability Transformation for Improved ATG Performance D Bruce, D Kelly, H Menendez, ET Barr, D Clark Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | | 2023 |
| Software Engineering with Incomplete Information D Kelly UCL (University College London), 2022 | | 2022 |
| King’s Research Portal H Berger, A Dakhama, Z Ding, K Even-Mendoza, D Kelly, HD Menendez, ... | | |
Héctor D. MenéndezKing's College LondonDirección de correo verificada de kcl.ac.uk
