| Current state and future directions of technology-based ecological momentary assessment and intervention for major depressive disorder: a systematic review D Colombo, J Fernández-Álvarez, A Patané, M Semonella, ... Journal of clinical medicine 8 (4), 465, 2019 | 194 | 2019 |
| Broken hearted: How to attack ECG biometrics S Eberz, N Paoletti, M Roeschlin, M Kwiatkowska, I Martinovic, A Patané Network and Distributed System Security Symposium 2017, 2017 | 107 | 2017 |
| Robustness of bayesian neural networks to gradient-based attacks G Carbone, M Wicker, L Laurenti, A Patane, L Bortolussi, G Sanguinetti Advances in Neural Information Processing Systems 33, 15602-15613, 2020 | 86 | 2020 |
| Statistical guarantees for the robustness of bayesian neural networks L Cardelli, M Kwiatkowska, L Laurenti, N Paoletti, A Patane, M Wicker arXiv preprint arXiv:1903.01980, 2019 | 69 | 2019 |
| Robustness guarantees for Bayesian inference with Gaussian processes L Cardelli, M Kwiatkowska, L Laurenti, A Patane Proceedings of the AAAI conference on artificial intelligence 33 (01), 7759-7768, 2019 | 61 | 2019 |
| Probabilistic safety for bayesian neural networks M Wicker, L Laurenti, A Patane, M Kwiatkowska Conference on uncertainty in artificial intelligence, 1198-1207, 2020 | 59 | 2020 |
| Bayesian inference with certifiable adversarial robustness M Wicker, L Laurenti, A Patane, Z Chen, Z Zhang, M Kwiatkowska International Conference on Artificial Intelligence and Statistics, 2431-2439, 2021 | 41 | 2021 |
| When Your Fitness Tracker Betrays You: Quantifying the Predictability of Biometric Features Across Contexts IM S Eberz, G Lovisotto, A Patanč, M Kwiatkowska, V Lenders IEEE Symposium on Security and Privacy, 2018 | 35* | 2018 |
| Adversarial robustness guarantees for classification with gaussian processes A Blaas, L Laurenti, A Patane, L Cardelli, M Kwiatkowska, S Roberts International Conference on Artificial Intelligence and Statistics, 2019 | 29* | 2019 |
| Pareto optimal design for synthetic biology A Patane, A Santoro, J Costanza, G Carapezza, G Nicosia IEEE transactions on biomedical circuits and systems 9 (4), 555-571, 2015 | 25 | 2015 |
| Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques M Kwiatkowska, A Mereacre, N Paoletti, A Patanč Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid …, 2015 | 23 | 2015 |
| Individual fairness guarantees for neural networks E Benussi, A Patane, M Wicker, L Laurenti, M Kwiatkowska Proceedings of the 31st International Joint Conference on Artificial …, 2022 | 22 | 2022 |
| Safety guarantees for iterative predictions with Gaussian processes K Polymenakos, L Laurenti, A Patane, JP Calliess, L Cardelli, ... 2020 59th IEEE Conference on Decision and Control (CDC), 3187-3193, 2020 | 21* | 2020 |
| Multi-objective optimization of genome-scale metabolic models: the case of ethanol production A Patané, G Jansen, P Conca, G Carapezza, J Costanza, G Nicosia Annals of Operations Research 276, 211-227, 2019 | 21 | 2019 |
| Automated recognition of sleep arousal using multimodal and personalized deep ensembles of neural networks A Patane, S Ghiasi, EP Scilingo, M Kwiatkowska 2018 Computing in Cardiology Conference (CinC) 45, 1-4, 2018 | 17 | 2018 |
| Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG A Patane, M Kwiatkowska The Fourth International Conference on Machine Learning, Optimization, and …, 2018 | 17 | 2018 |
| Certification of iterative predictions in bayesian neural networks M Wicker, L Laurenti, A Patane, N Paoletti, A Abate, M Kwiatkowska Uncertainty in Artificial Intelligence, 1713-1723, 2021 | 15 | 2021 |
| Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers C Barker, M Kwiatkowska, A Mereacre, N Paoletti, A Patanč Engineering in Medicine and Biology Society (EMBC), 2015 37th Annual …, 2015 | 12 | 2015 |
| A Bayesian defect-based physics-guided neural network model for probabilistic fatigue endurance limit evaluation A Tognan, A Patanč, L Laurenti, E Salvati Computer Methods in Applied Mechanics and Engineering 418, 116521, 2024 | 11 | 2024 |
| Closed-loop quantitative verification of rate-adaptive pacemakers N Paoletti, A Patane, M Kwiatkowska ACM Transactions on Cyber-Physical Systems, to appear, 2018 | 10 | 2018 |
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordEmail verificata su comlab.ox.ac.uk
