SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks. - Milan Ceska 002; Calvin Chau; Jan Kretínský (CAV (1), 2020)

Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks. - Calvin Chau; Jan Kretínský; Stefanie Mohr (ATVA (1), 2023)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Zenodo, 2024)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Zenodo, 2024)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - QEST 2024 Artefact. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Zenodo, 2024)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Zenodo, 2024)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Zenodo, 2024)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Zenodo, 2024)

Certificates and witnesses for multi-objective queries in Markov decision processes. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Perform. Evaluation, 2025)

Certificates and Witnesses for Multi-Objective Queries in Markov Decision Processes - Artefact - PEVA. - Christel Baier; Calvin Chau; Sascha Klüppelholz (Zenodo, 2025)