| AshCalc–a new tool for the comparison of the exponential, power-law and Weibull models of tephra deposition ML Daggitt, TA Mather, DM Pyle, S Page Journal of Applied Volcanology 3 (1), 7, 2014 | 60 | 2014 |
| Tracking urban activity growth globally with big location data ML Daggitt, A Noulas, B Shaw, C Mascolo Royal Society open science 3 (4), 150688, 2016 | 44 | 2016 |
| Neural network robustness as a verification property: a principled case study M Casadio, E Komendantskaya, ML Daggitt, W Kokke, G Katz, G Amir, ... International Conference on Computer Aided Verification, 219-231, 2022 | 38 | 2022 |
| Asynchronous convergence of policy-rich distributed bellman-ford routing protocols ML Daggitt, AJT Gurney, TG Griffin Proceedings of the 2018 Conference of the ACM Special Interest Group on Data …, 2018 | 24 | 2018 |
| AnalyZr: A Python application for zircon grain image segmentation and shape analysis T Scharf, CL Kirkland, ML Daggitt, M Barham, V Puzyrev Computers & Geosciences 162, 105057, 2022 | 18 | 2022 |
| Logic of Differentiable Logics: Towards a Uniform Semantics of DL N Ślusarz, E Komendantskaya, ML Daggitt, R Stewart, K Stark arXiv preprint arXiv:2303.10650, 2023 | 10 | 2023 |
| Extracting meaningful U-Pb ages from core–rim mixtures HKH Olierook, CL Kirkland, M Barham, ML Daggitt, J Hollis, M Hartnady Gondwana Research 92, 102-112, 2021 | 10 | 2021 |
| Rate of convergence of increasing path-vector routing protocols ML Daggitt, TG Griffin 2018 IEEE 26th International Conference on Network Protocols (ICNP), 335-345, 2018 | 8 | 2018 |
| Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively ML Daggitt, R Atkey, W Kokke, E Komendantskaya, L Arnaboldi Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023 | 7 | 2023 |
| Marabou 2.0: A Versatile Formal Analyzer of Neural Networks H Wu, O Isac, A Zeljić, T Tagomori, M Daggitt, W Kokke, I Refaeli, G Amir, ... arXiv preprint arXiv:2401.14461, 2024 | 6 | 2024 |
| An Agda formalization of Üresin & Dubois’ asynchronous fixed-point theory R Zmigrod, ML Daggitt, TG Griffin Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018 | 5 | 2018 |
| The Vehicle Tutorial: Neural Network Verification with Vehicle ML Daggitt, W Kokke, E Komendantskaya, R Atkey, L Arnaboldi, ... Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous …, 2023 | 4 | 2023 |
| Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers ML Daggitt, W Kokke, R Atkey, L Arnaboldi, E Komendantskya arXiv preprint arXiv:2202.05207, 2022 | 4 | 2022 |
| CheckINN: Wide Range Neural Network Verification in Imandra R Desmartin, G Passmore, E Komendantskaya, M Daggit Proceedings of the 24th International Symposium on Principles and Practice …, 2022 | 3 | 2022 |
| Differentiable Logics for Neural Network Training and Verification N Ślusarz, E Komendantskaya, ML Daggitt, R Stewart International Workshop on Numerical Software Verification, 67-77, 2022 | 3 | 2022 |
| A new approach to SHRIMP II zircon U-Th disequilibrium dating RC Marsden, CL Kirkland, M Danišík, ML Daggitt, US Ahn, B Friedrichs, ... Computers & Geosciences 158, 104947, 2022 | 3 | 2022 |
| ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification M Casadio, L Arnaboldi, ML Daggitt, O Isac, T Dinkar, D Kienitz, V Rieser, ... arXiv preprint arXiv:2305.04003, 2023 | 2 | 2023 |
| Agda Routing Library.(2018) ML Daggitt, R Zmigrod, TG Griffin | 2 | 2018 |
| Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs ML Daggitt, W Kokke, R Atkey, N Slusarz, L Arnaboldi, ... arXiv preprint arXiv:2401.06379, 2024 | 1 | 2024 |
| Formally verified convergence of policy-rich dbf routing protocols ML Daggitt, TG Griffin IEEE/ACM Transactions on Networking, 2023 | 1 | 2023 |
Ekaterina KomendantskayaProfessor in Computer Science, Southampton University and Heriot-Watt University, UK在 hw.ac.uk 的电子邮件经过验证
