Aaron Zhang
Orcid: 0000-0002-9812-5770
According to our database1,
Aaron Zhang
authored at least 6 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Bounds on the Total Coefficient Size of Nullstellensatz Proofs of the Pigeonhole Principle.
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024
2023
Proceedings of the 5th World Symposium on Software Engineering, 2023
2022
Bounds on the Total Coefficient Size of Nullstellensatz Proofs of the Pigeonhole Principle and the Ordering Principle.
CoRR, 2022
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2022
2019
Proceedings of the Social Robotics - 11th International Conference, 2019
Proceedings of the AI 2019: Advances in Artificial Intelligence, 2019