On incorrectness logic for Quantum programs
Yan, Peng, Jiang, Hanru, Yu, Nengkun
Published in Proceedings of ACM on programming languages (29.04.2022)
Published in Proceedings of ACM on programming languages (29.04.2022)
Get full text
Journal Article
Symbolic Reasoning about Quantum Circuits in Coq
Shi, Wenjun, Cao, Qinxiang, Deng, Yuxin, Jiang, Hanru, Yuan, Feng
Published in arXiv.org (21.12.2021)
Published in arXiv.org (21.12.2021)
Get full text
Paper
Journal Article
Underwater waterproof socket
SHEN JING, WANG YANG, XU HAIHONG, JIANG HANRU, ZHAO DONG, CHEN XIAOLING
Year of Publication 04.07.2023
Get full text
Year of Publication 04.07.2023
Patent
Underwater waterproof socket
SHEN JING, WANG YANG, XU HAIHONG, JIANG HANRU, ZHAO DONG, CHEN XIAOLING
Year of Publication 05.08.2022
Get full text
Year of Publication 05.08.2022
Patent
Little current transformer
WANG LEI, SONG QIONG, LI ZHAOHUI, WEN FANG, ZENG YANLING, JIANG HANRU, SONG YONGHUA, LAN CHUN, XIE WEI
Year of Publication 10.02.2016
Get full text
Year of Publication 10.02.2016
Patent
Micro-current transformer
WANG LEI, SONG QIONG, LI ZHAOHUI, WEN FANG, ZENG YANLING, JIANG HANRU, SONG YONGHUA, LAN CHUN, XIE WEI
Year of Publication 18.11.2015
Get full text
Year of Publication 18.11.2015
Patent
765kV ultra high voltage current transformer error test apparatus
YI CANJIANG, SONG QIONG, LI ZHAOHUI, WEN FANG, LIU HUA, ZENG YANLING, JIANG HANRU, FU RUIYING
Year of Publication 04.11.2015
Get full text
Year of Publication 04.11.2015
Patent