Calvin Chau

According to our database, Calvin Chau authored at least 2 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks.

Calvin Chau, Jan Kretínský, Stefanie Mohr

Proceedings of the Automated Technology for Verification and Analysis, 2023

2020

SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks.

Milan Ceska, Calvin Chau, Jan Kretínský

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020