John Hester
Orcid: 0009-0007-7032-0340
According to our database1,
John Hester
authored at least 4 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
2023
CoRR, 2023
An Augmented MetiTarski Dataset for Real Quantifier Elimination Using Machine Learning.
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023
2019