"AutoQ: An Automata-Based Quantum Circuit Verifier", ACM 35th International Conference on Computer Aided Verification, Paris, 2023/07/17
"An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Extended Abstract)", 20th International Conference on Quantum Physics and Logic, Paris, 2023/07/17
"An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits", 44th ACM SIGPLAN Conference on Programming Language Design and Implementation, Florida, 2023/06/17
