Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Li, Sanjiang
104  Ergebnisse:
Personensuche X
?
1

Supervised Learning Enhanced Quantum Circuit Transformation:

Zhou, Xiangzhen ; Feng, Yuan ; Li, Sanjiang
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  42 (2023)  2 - p. 437-447 , 2023
Link: https://doi.org/10.1109/..
 
?
2

Abstract interpretation, Hoare logic, and incorrectness log..:

Feng, Yuan ; Li, Sanjiang
Information and Computation.  294 (2023)  - p. 105077 , 2023
Link: https://doi.org/10.1016/..
 
?
3

Decision Diagrams for Symbolic Verification of Quantum Circ..:

, In: 2023 IEEE International Conference on Quantum Computing and Engineering (QCE),
Hong, Xin ; Huang, Wei-Jia ; Chien, Wei-Chen... - p. 970-977 , 2023
Link: https://doi.org/10.1109/..
 
?
4

Single-Qubit Gates Matter for Optimising Quantum Circuit De..:

, In: 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD),
Li, Sanjiang ; Nguyen, Ky Dan ; Clare, Zachary. - p. 1-9 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Verification of Distributed Quantum Programs:

Feng, Yuan ; Li, Sanjiang ; Ying, Mingsheng
ACM Transactions on Computational Logic.  23 (2022)  3 - p. 1-40 , 2022
Link: https://doi.org/10.1145/..
 
?
6

Equivalence Checking of Dynamic Quantum Circuits:

, In: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design,
Hong, Xin ; Feng, Yuan ; Li, Sanjiang. - p. 1-8 , 2022
Link: https://dl.acm.org/doi/1..
 
?
7

Quantum Circuit Transformation: A Monte Carlo Tree Search F..:

Zhou, Xiangzhen ; Feng, Yuan ; Li, Sanjiang
ACM Transactions on Design Automation of Electronic Systems.  27 (2022)  6 - p. 1-27 , 2022
Link: https://doi.org/10.1145/..
 
?
8

Verification of Distributed Quantum Programs:

Feng, Yuan ; Li, Sanjiang ; Ying, Mingsheng
ACM Transactions on Computational Logic (TOCL).  23 (2022)  3 - p. 1-40 , 2022
Link: https://dl.acm.org/doi/1..
 
?
9

On quotients of formal power series:

Li, Yongming ; Wang, Qian ; Li, Sanjiang
Information and Computation.  285 (2022)  - p. 104874 , 2022
Link: https://doi.org/10.1016/..
 
?
10

A Tensor Network based Decision Diagram for Representation ..:

Hong, Xin ; Zhou, Xiangzhen ; Li, Sanjiang..
ACM Transactions on Design Automation of Electronic Systems.  27 (2022)  6 - p. 1-30 , 2022
Link: https://doi.org/10.1145/..
 
?
11

Qubit Mapping Based on Subgraph Isomorphism and Filtered De..:

Li, Sanjiang ; Zhou, Xiangzhen ; Feng, Yuan
IEEE Transactions on Computers.  70 (2021)  11 - p. 1777-1788 , 2021
Link: https://doi.org/10.1109/..
 
?
12

A monte carlo tree search framework for quantum circuit tra..:

, In: Proceedings of the 39th International Conference on Computer-Aided Design,
Zhou, Xiangzhen ; Feng, Yuan ; Li, Sanjiang - p. 1-7 , 2020
Link: https://dl.acm.org/doi/1..
 
?
13

On constructing the largest and smallest uninorms on bounde..:

Xie, Aifang ; Li, Sanjiang
Fuzzy Sets and Systems.  386 (2020)  - p. 95-104 , 2020
Link: https://doi.org/10.1016/..
 
?
14

Compact geometric representation of qualitative directional..:

Long, Zhiguo ; Meng, Hua ; Li, Tianrui.
Knowledge-Based Systems.  195 (2020)  - p. 105616 , 2020
Link: https://doi.org/10.1016/..
 
?
15

Computation tree logic model checking based on multi-valued..:

Li, Yongming ; Lei, Lihui ; Li, Sanjiang
Information Sciences.  485 (2019)  - p. 87-113 , 2019
Link: https://doi.org/10.1016/..
 
1-15