21:30

[WQS24] Classical Simulation of Quantum Circuits with Partial Interference Effects

ACM SIGPLAN

20:16

[WQS24] Hybrid Quantum-Classical Machine Learning with String Diagrams

ACM SIGPLAN

20:49

[WQS24] Quantum Backtracking in Qrisp Applied to Sudoku Problems

ACM SIGPLAN

18:24

[WQS24] Verifying Quantum Circuits in GAP

ACM SIGPLAN

19:22

[WQS24] A Static Analysis for High-Level Quantum Programming Languages

ACM SIGPLAN

42:16

[WQS24] Quantum program analysis: Verification and Testing

ACM SIGPLAN

18:33

[WQS24] Towards an open-source framework to perform quantum calibration and characterization

ACM SIGPLAN

16:59

[WQS24] Dataflow-Based Optimization for QIR Programs

ACM SIGPLAN

19:23

[WQS24] Supporting End-Users in Realizing Quantum Computing Applications

ACM SIGPLAN

44:49

[WQS24] Quantum application development for multi-processor systems using CUDA-Q

ACM SIGPLAN

20:08

[WQS24] Fock, the rules (... or how to ZX-calculus for continuous variable quantum computation)

ACM SIGPLAN

48:35

[WQS24] From ZX to first order logic: a survey of string diagrammatic calculi

ACM SIGPLAN