Calvin Chau
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Concurrent Permissive Strategy Templates. | Ashwani Anand, Christel Baier, Calvin Chau, Sascha Klppelholz, Ali Mirzaei, Satya Prakash Nayak, Anne-Kathrin Schmuck |
| 2025 | SEFM | Certificates and Witnesses for Multi-objective ω-Regular Queries in Markov Decision Processes. | Christel Baier, Calvin Chau, Volodymyr Drobitko, Simon Jantsch, Sascha Klppelholz |
| 2023 | ATVA | Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. | Calvin Chau, Jan Kretnsk, Stefanie Mohr |
| 2020 | CAV | SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks. | Milan Ceska, Calvin Chau, Jan Kretnsk |