| Precise parameter synthesis for stochastic biochemical systems M Češka, F Dannenberg, N Paoletti, M Kwiatkowska, L Brim Acta Informatica 54, 589-623, 2017 | 120 | 2017 |
| 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 | 103 | 2017 |
| Neural simplex architecture DT Phan, R Grosu, N Jansen, N Paoletti, SA Smolka, SD Stoller NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020 | 77 | 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 |
| Efficient synthesis of robust models for stochastic systems R Calinescu, M Češka, S Gerasimou, M Kwiatkowska, N Paoletti Journal of Systems and Software 143, 140-158, 2018 | 62 | 2018 |
| Modelling osteomyelitis P Liò, N Paoletti, MA Moni, K Atwell, E Merelli, M Viceconti BMC bioinformatics 13, 1-14, 2012 | 50 | 2012 |
| Data-driven robust control for a closed-loop artificial pancreas N Paoletti, KS Liu, H Chen, SA Smolka, S Lin IEEE/ACM transactions on computational biology and bioinformatics 17 (6 …, 2019 | 46* | 2019 |
| On guaranteed optimal robust explanations for NLP models E La Malfa, A Zbrzezny, R Michelmore, N Paoletti, M Kwiatkowska arXiv preprint arXiv:2105.03640, 2021 | 45 | 2021 |
| PRISM-PSY: precise GPU-accelerated parameter synthesis for stochastic systems M Češka, P Pilař, N Paoletti, L Brim, M Kwiatkowska International Conference on Tools and Algorithms for the Construction and …, 2016 | 45 | 2016 |
| Syntax-guided optimal synthesis for chemical reaction networks L Cardelli, M Češka, M Fränzle, M Kwiatkowska, L Laurenti, N Paoletti, ... Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 35 | 2017 |
| Designing robust software systems through parametric Markov chain synthesis R Calinescu, M Češka, S Gerasimou, M Kwiatkowska, N Paoletti 2017 IEEE International Conference on Software Architecture (ICSA), 131-140, 2017 | 34 | 2017 |
| A deep reinforcement learning approach to concurrent bilateral negotiation P Bagga, N Paoletti, B Alrayes, K Stathis arXiv preprint arXiv:2001.11785, 2020 | 33 | 2020 |
| Neural predictive monitoring L Bortolussi, F Cairoli, N Paoletti, SA Smolka, SD Stoller Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019 | 32 | 2019 |
| Multilevel computational modeling and quantitative analysis of bone remodeling N Paoletti, P Lio, E Merelli, M Viceconti IEEE/ACM Transactions on Computational Biology and Bioinformatics 9 (5 …, 2012 | 29 | 2012 |
| Adaptability checking in complex systems E Merelli, N Paoletti, L Tesei Science of Computer Programming 115, 23-46, 2016 | 28 | 2016 |
| A multi-level model for self-adaptive systems E Merelli, N Paoletti, L Tesei arXiv preprint arXiv:1209.1628, 2012 | 28* | 2012 |
| Formal modelling and validation of rate-adaptive pacemakers M Kwiatkowska, H Lea-Banks, A Mereacre, N Paoletti 2014 IEEE International Conference on Healthcare Informatics, 23-32, 2014 | 26 | 2014 |
| Analyzing and Synthesizing Genomic Logic Functions N Paoletti, B Yordanov, Y Hamadi, CM Wintersteiger, H Kugler Computer Aided Verification, 343-357, 2014 | 26 | 2014 |
| Neural state classification for hybrid systems D Phan, N Paoletti, T Zhang, R Grosu, SA Smolka, SD Stoller Proceedings of the Fifth International Workshop on Symbolic-Numeric Methods …, 2019 | 25 | 2019 |
| Bioaccumulation modelling and sensitivity analysis for discovering key players in contaminated food webs: the case study of PCBs in the Adriatic Sea M Taffi, N Paoletti, P Lio, S Pucciarelli, M Marini Ecological Modelling 306, 205-215, 2015 | 24 | 2015 |
Marta KwiatkowskaProfessor of Computing Systems, University of Oxford在 comlab.ox.ac.uk 的电子邮件经过验证
