Följ
Matthew L. Daggitt
Matthew L. Daggitt
Verifierad e-postadress på uwa.edu.au
Titel
Citeras av
Citeras av
År
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
582014
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
442016
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
312022
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
242018
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
162022
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
102021
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
82018
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
72023
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
62023
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
52018
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
42023
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
32022
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
32022
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
32022
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
22023
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
22022
Agda Routing Library.(2018)
ML Daggitt, R Zmigrod, TG Griffin
22018
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
12024
Formally verified convergence of policy-rich dbf routing protocols
ML Daggitt, TG Griffin
IEEE/ACM Transactions on Networking, 2023
12023
Dynamic asynchronous iterations
ML Daggitt, TG Griffin
Journal of Parallel and Distributed Computing 164, 168-177, 2022
12022
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20