Matthew L. Daggitt
Orcid: 0000-0002-2552-3671Affiliations:
- The University of Western Australia, Perth, Australia
According to our database1,
Matthew L. Daggitt
authored at least 24 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
Efficient compilation of expressive problem space specifications to neural network solvers.
CoRR, 2024
CoRR, 2024
2023
CoRR, 2023
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023
Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively.
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023
2022
AnalyZr: A Python application for zircon grain image segmentation and shape analysis.
Comput. Geosci., 2022
CoRR, 2022
Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022
Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
2021
Proceedings of the TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, 2021
2020
J. Autom. Reason., 2020
2018
Proceedings of the 2018 Conference of the ACM Special Interest Group on Data Communication, 2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
Proceedings of the 2018 IEEE 26th International Conference on Network Protocols, 2018
2015