Chris Hathhorn
Orcid: 0000-0002-6277-3987
According to our database1,
Chris Hathhorn
authored at least 9 papers
between 2012 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
2022
Proceedings of the 2022 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2022
2021
Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021
2019
2016
Proceedings of the Runtime Verification - 16th International Conference, 2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016
2015
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
2012
ACM SIGSOFT Softw. Eng. Notes, 2012
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012