logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Mingsheng Ying

university of technology sydney

47H指数
416论文数
7.0K被引数
收录论文 19
发表时间
logo
An Expressive Assertion Language for Quantum Programs量子程序的可表达断言语言
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errSu, Bonan; Feng, Yuan; Ying, Mingsheng; Zhou, Li
err分享
err收藏
Approximation Methods for Simulation and Equivalence Checking of Noisy Quantum Circuits噪声量子电路的模拟与等价性检查的近似方法
errIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IF2.9
err2025-10-20
err0
PREAI
errMingyu Huang; Ji Guan; Wang Fang; Mingsheng Ying
err分享
err收藏
A Divide-And-Conquer Pebbling Strategy for Oracle Synthesis in Quantum Computing量子计算中用于Oracle合成的分治式布石策略
errIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IF2.9
err2025-05-15
err0
errOAAI
errKezhen Zhang; Riling Li; Mingsheng Ying
err分享
err收藏
Differentiable Quantum Programming with Unbounded Loops
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2023-11-23
err0
errOAAI
errFang, Wang; Ying, Mingsheng; Wu, Xiaodi
err分享
err收藏
Software Pipelining for Quantum Loop Programs
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2023-04-01
err2
errOAAI
errGuo, Jingzhe; Ying, Mingsheng
err分享
err收藏
Quantum Hoare Logic with Classical Variables
errACM TRANSACTIONS ON QUANTUM COMPUTING
IF6.8
err2021-12-21
err10
errOAAI
errFeng, Yuan; Ying, Mingsheng
err分享
err收藏
Editorial on CelebratingQuantum Computing with ACM
errACM TRANSACTIONS ON QUANTUM COMPUTING
IF6.8
err2021-12-21
err0
PREAI
errHumble, Travis S.; Ying, Mingsheng
err分享
err收藏
Optimal Policies for Quantum Markov Decision Processes
errINTERNATIONAL JOURNAL OF AUTOMATION AND COMPUTING
IF3.7
err2021-03-20
err12
errOAAI
errYing, Ming-Sheng; Feng, Yuan; Ying, Sheng-Gang
err分享
err收藏
Inaugural Issue Editorial for ACM Transactions on Quantum Computing关于量子计算的ACM交易的首期社论
errACM TRANSACTIONS ON QUANTUM COMPUTING
IF6.8
err2020-12-09
err0
errOAAI
errHumble, Travis S.; Ying, Mingsheng
err分享
err收藏
Quantum Supremacy Circuit Simulation on Sunway TaihuLightSunway taihullight上的量子至上电路模拟
errIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF6
err2020-04-01
err36
errOAAI
errLi, Riling; Wu, Bujiao; Ying, Mingsheng; Sun, Xiaoming; Yang, Guangwen
err分享
err收藏
Preface to special topic on quantum computing
errNATIONAL SCIENCE REVIEW
IF17.1
err2019-02-14
err0
errOAAI
errGuo, Guang-Can; Ying, Mingsheng
err分享
err收藏
Model-checking quantum systems
errNATIONAL SCIENCE REVIEW
IF17.1
err2018-10-12
err3
errOAAI
errYing, Mingsheng; Feng, Yuan
err分享
err收藏
A Flowchart Language for Quantum Programming
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2011-07-01
err20
PREAI
errYing, Mingsheng; Feng, Yuan
err分享
err收藏
Reasoning about cardinal directions between extended objects
errartificial intelligence review
IF4.6
err2010-08-01
err35
errOAAI
errLiu, Weiming; Zhang, Xiaotong; Li, Sanjiang; Ying, Mingsheng
err分享
err收藏
Quantum computation, quantum theory and AI量子计算、量子理论与人工智能
errartificial intelligence review
IF4.6
err2010-02-01
err63
errOAAI
errYing, Mingsheng
err分享
err收藏
An Algebraic Language for Distributed Quantum Computing一种分布式量子计算的代数语言
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2009-06-01
err35
errOAAI
errYing, Mingsheng; Feng, Yuan
err分享
err收藏
Dealing with Uncertainty and Fuzziness in Intelligent Systems
errINTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS
IF3.7
err2009-03-01
err3
errOAAI
errChen, Guoqing; Ying, Mingsheng; Liu, Yingming
err分享
err收藏
Retraction and generalized extension of computing with words
errIEEE TRANSACTIONS ON FUZZY SYSTEMS
IF11.9
err2007-12-01
err33
errOAAI
errCao, Yongzhi; Ying, Mingsheng; Chen, Guoqing
err分享
err收藏
On fundamentals of fuzzy logic and soft computing and some applications
errFUZZY SETS AND SYSTEMS
IF2.7
err2007-05-01
err1
PREAI
errLiu, Yingming; Ying, Mingsheng; Chen, Guoqing
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
G
Guang‐Can Guo
H 指数: 91 · 论文数: 1.8K
Y
Yuan Feng
H 指数: 35 · 论文数: 342
陈国青 封面图
陈国青 (Guoqing Chen)
H 指数: 33 · 论文数: 248
T
Travis S. Humble
H 指数: 29 · 论文数: 298
陈国青 封面图
陈国青 (Guoqing Chen)
H 指数: 28 · 论文数: 336
查看更多