Calvin Chau
Orcid: 0000-0002-3437-0240
According to our database1,
Calvin Chau
authored at least 3 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
2023
Proceedings of the Automated Technology for Verification and Analysis, 2023
2020
SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020