Personensuche
X
?
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
5
Giallar: push-button verification for the qiskit Quantum co..:
, In:
?
Proceedings of the 24th Asia and South Pacific Design Automation Conference ,
12
Quantum circuit compilers using gate commutation rules:
, In:
?
2019 24th Asia and South Pacific Design Automation Conference (ASP-DAC) ,
14