Cited By
View all- Chen YChung KLengál OLin JTsai WYen D(2023)An Automata-Based Framework for Verification and Bug Hunting in Quantum CircuitsProceedings of the ACM on Programming Languages10.1145/35912707:PLDI(1218-1243)Online publication date: 6-Jun-2023
- Jones BWhite DO'Brien GClark JCampbell EAuger AStützle T(2019)Optimising trotter-suzuki decompositions for quantum simulation using evolutionary strategiesProceedings of the Genetic and Evolutionary Computation Conference10.1145/3321707.3321835(1223-1231)Online publication date: 13-Jul-2019
- Barnes KGale MAuger AStützle T(2019)Meta-genetic programming for static quantum circuitsProceedings of the Genetic and Evolutionary Computation Conference Companion10.1145/3319619.3326907(2016-2019)Online publication date: 13-Jul-2019
- Show More Cited By