Matthew Doty
According to our database1,
Matthew Doty
authored at least 6 papers
between 2022 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Arch. Formal Proofs, 2023
2022
CoRR, 2022
Arch. Formal Proofs, 2022