


Остановите войну!
for scientists:


default search action
Mingsheng Ying
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j91]Qisheng Wang
, Mingsheng Ying
:
Quantum random access stored-program machines. J. Comput. Syst. Sci. 131: 13-63 (2023) - [j90]Li Zhou
, Gilles Barthe
, Pierre-Yves Strub
, Junyi Liu
, Mingsheng Ying
:
CoqQ: Foundational Verification of Quantum Programs. Proc. ACM Program. Lang. 7(POPL): 833-865 (2023) - [j89]Qisheng Wang
, Zhicheng Zhang
, Kean Chen
, Ji Guan
, Wang Fang
, Junyi Liu
, Mingsheng Ying
:
Quantum Algorithm for Fidelity Estimation. IEEE Trans. Inf. Theory 69(1): 273-282 (2023) - [j88]Jingzhe Guo
, Mingsheng Ying
:
Software Pipelining for Quantum Loop Programs. IEEE Trans. Software Eng. 49(4): 2815-2828 (2023) - 2022
- [j87]Qisheng Wang
, Riling Li
, Mingsheng Ying
:
Equivalence Checking of Sequential Quantum Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(9): 3143-3156 (2022) - [j86]Mingsheng Ying
, Li Zhou, Yangjia Li, Yuan Feng
:
A proof system for disjoint parallel quantum programs. Theor. Comput. Sci. 897: 164-184 (2022) - [j85]Yuan Feng
, Sanjiang Li
, Mingsheng Ying
:
Verification of Distributed Quantum Programs. ACM Trans. Comput. Log. 23(3): 19:1-19:40 (2022) - [j84]Xin Hong
, Xiangzhen Zhou, Sanjiang Li
, Yuan Feng
, Mingsheng Ying:
A Tensor Network based Decision Diagram for Representation of Quantum Circuits. ACM Trans. Design Autom. Electr. Syst. 27(6): 60:1-60:30 (2022) - [c29]Ji Guan, Wang Fang, Mingsheng Ying
:
Verifying Fairness in Quantum Machine Learning. CAV (2) 2022: 408-429 - [c28]Xin Hong, Yuan Feng
, Sanjiang Li
, Mingsheng Ying:
Equivalence Checking of Dynamic Quantum Circuits. ICCAD 2022: 127 - [c27]Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying:
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs. LICS 2022: 4:1-4:13 - [c26]Yuxiang Peng, Mingsheng Ying
, Xiaodi Wu:
Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra. PLDI 2022: 657-670 - [i63]Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, Mingsheng Ying:
New Quantum Algorithms for Computing Quantum Entropies and Distances. CoRR abs/2203.13522 (2022) - [i62]Mingsheng Ying:
Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum Programs. CoRR abs/2205.01959 (2022) - [i61]Ji Guan, Wang Fang, Mingsheng Ying:
Verifying Fairness in Quantum Machine Learning. CoRR abs/2207.11173 (2022) - [i60]Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying:
CoqQ: Foundational Verification of Quantum Programs. CoRR abs/2207.11350 (2022) - [i59]Wang Fang, Mingsheng Ying, Xiaodi Wu:
Differentiable Quantum Programming with Unbounded Loops. CoRR abs/2211.04507 (2022) - [i58]Qifan Huang, Boxi Li, Minbo Gao, Mingsheng Ying:
Fault Models in Superconducting quantum circuits. CoRR abs/2212.00337 (2022) - 2021
- [j83]Mingsheng Ying
, Yuan Feng
, Shenggang Ying
:
Optimal Policies for Quantum Markov Decision Processes. Int. J. Autom. Comput. 18(3): 410-421 (2021) - [j82]Qisheng Wang
, Junyi Liu, Mingsheng Ying
:
Equivalence checking of quantum finite-state machines. J. Comput. Syst. Sci. 116: 1-21 (2021) - [j81]Ji Guan, Qisheng Wang, Mingsheng Ying
:
quantum walks. Quantum Inf. Comput. 21(5&6): 395-408 (2021) - [c25]Ji Guan, Wang Fang, Mingsheng Ying
:
Robustness Verification of Quantum Classifiers. CAV (1) 2021: 151-174 - [c24]Xin Hong, Mingsheng Ying
, Yuan Feng
, Xiangzhen Zhou, Sanjiang Li
:
Approximate Equivalence Checking of Noisy Quantum Circuits. DAC 2021: 637-642 - [c23]Mingsheng Ying
:
Model Checking for Verification of Quantum Circuits. FM 2021: 23-39 - [c22]Li Zhou
, Gilles Barthe, Justin Hsu, Mingsheng Ying
, Nengkun Yu
:
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic. LICS 2021: 1-14 - [i57]Li Zhou, Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu:
A Quantum Interpretation of Bunched Logic for Quantum Separation Logic. CoRR abs/2102.00329 (2021) - [i56]Xin Hong, Mingsheng Ying, Yuan Feng, Xiangzhen Zhou, Sanjiang Li:
Approximate Equivalence Checking of Noisy Quantum Circuits. CoRR abs/2103.11595 (2021) - [i55]Mingsheng Ying:
Model Checking for Verification of Quantum Circuits. CoRR abs/2104.11359 (2021) - [i54]Yuan Feng, Sanjiang Li, Mingsheng Ying:
Verification of Distributed Quantum Programs. CoRR abs/2104.14796 (2021) - [i53]Zhaowei Xu, Mingsheng Ying, Benoît Valiron:
Reasoning about Recursive Quantum Programs. CoRR abs/2107.11679 (2021) - [i52]Yuxiang Peng, Mingsheng Ying, Xiaodi Wu:
Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra. CoRR abs/2110.07018 (2021) - 2020
- [j80]Gushu Li
, Li Zhou
, Nengkun Yu
, Yufei Ding, Mingsheng Ying
, Yuan Xie:
Projection-based runtime assertions for testing and debugging Quantum programs. Proc. ACM Program. Lang. 4(OOPSLA): 150:1-150:29 (2020) - [j79]Gilles Barthe, Justin Hsu
, Mingsheng Ying
, Nengkun Yu
, Li Zhou
:
Relational proofs for quantum programs. Proc. ACM Program. Lang. 4(POPL): 21:1-21:29 (2020) - [j78]Li Zhou
, Shenggang Ying, Nengkun Yu
, Mingsheng Ying
:
Strassen's theorem for quantum couplings. Theor. Comput. Sci. 802: 67-76 (2020) - [j77]Riling Li
, Bujiao Wu
, Mingsheng Ying
, Xiaoming Sun
, Guangwen Yang:
Quantum Supremacy Circuit Simulation on Sunway TaihuLight. IEEE Trans. Parallel Distributed Syst. 31(4): 805-816 (2020) - [i51]Qisheng Wang, Mingsheng Ying:
Quantum Random Access Stored-Program Machines. CoRR abs/2003.03514 (2020) - [i50]Yuan Feng, Mingsheng Ying:
Quantum Hoare logic with classical variables. CoRR abs/2008.06812 (2020) - [i49]Ji Guan, Wang Fang, Mingsheng Ying:
Robustness Verification of Quantum Machine Learning. CoRR abs/2008.07230 (2020) - [i48]Xin Hong, Xiangzhen Zhou, Sanjiang Li, Yuan Feng, Mingsheng Ying:
A Tensor Network based Decision Diagram for Representation of Quantum Circuits. CoRR abs/2009.02618 (2020) - [i47]Mingsheng Ying, Zhengfeng Ji:
Symbolic Verification of Quantum Circuits. CoRR abs/2010.03032 (2020) - [i46]Qisheng Wang, Mingsheng Ying:
Quantum Algorithm for Lexicographically Minimal String Rotation. CoRR abs/2012.09376 (2020) - [i45]Jingzhe Guo, Mingsheng Ying:
Software Pipelining for Quantum Loop Programs. CoRR abs/2012.12700 (2020)
2010 – 2019
- 2019
- [j76]Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan:
Quantum Hoare Logic. Arch. Formal Proofs 2019 (2019) - [j75]Mingsheng Ying
:
Toward automatic verification of quantum programs. Formal Aspects Comput. 31(1): 3-25 (2019) - [j74]Shih-Han Hung, Kesha Hietala
, Shaopeng Zhu, Mingsheng Ying
, Michael Hicks, Xiaodi Wu:
Quantitative robustness analysis of quantum programs. Proc. ACM Program. Lang. 3(POPL): 31:1-31:29 (2019) - [c21]Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying
, Naijun Zhan:
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. CAV (2) 2019: 187-207 - [c20]Li Zhou
, Nengkun Yu
, Mingsheng Ying
:
An applied quantum Hoare logic. PLDI 2019: 1149-1162 - [i44]Qisheng Wang, Junyi Liu, Mingsheng Ying:
Equivalence Checking of Quantum Finite-State Machines. CoRR abs/1901.02173 (2019) - [i43]Gilles Barthe, Justin Hsu, Mingsheng Ying, Nengkun Yu, Li Zhou:
Coupling Techniques for Reasoning about Quantum Programs. CoRR abs/1901.05184 (2019) - [i42]Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying:
Model Checking Applied to Quantum Physics. CoRR abs/1902.03218 (2019) - [i41]Junyi Liu, Li Zhou, Mingsheng Ying:
Expected Runtime of Quantum Programs. CoRR abs/1911.12557 (2019) - [i40]Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie:
Poq: Projection-based Runtime Assertions for Debugging on a Quantum Computer. CoRR abs/1911.12855 (2019) - 2018
- [j73]Shenggang Ying, Mingsheng Ying
:
Reachability analysis of quantum Markov decision processes. Inf. Comput. 263: 31-51 (2018) - [j72]Ji Guan
, Yuan Feng
, Mingsheng Ying
:
Decomposition of quantum Markov chains and its applications. J. Comput. Syst. Sci. 95: 55-68 (2018) - [j71]Yangjia Li, Mingsheng Ying
:
Algorithmic analysis of termination problems for quantum programs. Proc. ACM Program. Lang. 2(POPL): 35:1-35:29 (2018) - [j70]Ji Guan, Yuan Feng, Mingsheng Ying
:
Super-activating quantum memory with entanglement. Quantum Inf. Comput. 18(13&14): 1115-1124 (2018) - [p1]Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying
:
Q|SI⟩ : A Quantum Programming Environment. Symposium on Real-Time and Hybrid Systems 2018: 133-164 - [i39]Li Zhou, Shenggang Ying, Nengkun Yu, Mingsheng Ying:
Quantum Coupling and Strassen Theorem. CoRR abs/1803.10393 (2018) - [i38]Qisheng Wang, Mingsheng Ying:
Quantum Büchi Automata. CoRR abs/1804.08982 (2018) - [i37]Mingsheng Ying, Yuan Feng:
Model Checking Quantum Systems - A Survey. CoRR abs/1807.09466 (2018) - [i36]Mingsheng Ying:
Toward Automatic Verification of Quantum Programs. CoRR abs/1807.11610 (2018) - [i35]Mingsheng Ying, Yangjia Li:
Reasoning about Parallel Quantum Programs. CoRR abs/1810.11334 (2018) - [i34]Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu:
Quantitative Robustness Analysis of Quantum Programs (Extended Version). CoRR abs/1811.03585 (2018) - 2017
- [c19]Li Zhou
, Mingsheng Ying
:
Differential Privacy in Quantum Computation. CSF 2017: 249-262 - [c18]Mingsheng Ying
, Shenggang Ying, Xiaodi Wu:
Invariants of quantum programs: characterisations and generation. POPL 2017: 818-832 - [i33]Shenggang Ying, Mingsheng Ying, Yuan Feng:
Quantum Privacy-Preserving Data Analytics. CoRR abs/1702.04420 (2017) - [i32]Shenggang Ying, Mingsheng Ying, Yuan Feng:
Quantum Privacy-Preserving Perceptron. CoRR abs/1707.09893 (2017) - [i31]Ji Guan, Yuan Feng, Mingsheng Ying:
Super-activating Quantum Memory with Entanglement. CoRR abs/1708.00700 (2017) - [i30]Shusen Liu, Xin Wang, Li Zhou, Ji Guan, Yinan Li, Yang He, Runyao Duan, Mingsheng Ying:
Q|SI〉: A Quantum Programming Environment. CoRR abs/1710.09500 (2017) - 2016
- [i29]Tao Liu, Yangjia Li, Shuling Wang, Mingsheng Ying, Naijun Zhan:
A Theorem Prover for Quantum Hoare Logic and Its Applications. CoRR abs/1601.03835 (2016) - 2015
- [c17]Yuan Feng
, Mingsheng Ying
:
Toward Automatic Verification of Quantum Cryptographic Protocols. CONCUR 2015: 441-455 - [i28]Yuan Feng, Mingsheng Ying:
Toward automatic verification of quantum cryptographic protocols. CoRR abs/1507.05278 (2015) - [i27]Shenggang Ying, Mingsheng Ying, Yuan Feng:
Quantum Privacy-Preserving Data Mining. CoRR abs/1512.04009 (2015) - 2014
- [j69]Yangjia Li, Nengkun Yu
, Mingsheng Ying
:
Termination of nondeterministic quantum programs. Acta Informatica 51(1): 1-24 (2014) - [j68]Nengkun Yu
, Runyao Duan, Mingsheng Ying
:
Distinguishability of Quantum States by Positive Operator-Valued Measures With Positive Partial Transpose. IEEE Trans. Inf. Theory 60(4): 2069-2079 (2014) - [j67]Yuan Feng
, Yuxin Deng
, Mingsheng Ying
:
Symbolic Bisimulation for Quantum Processes. ACM Trans. Comput. Log. 15(2): 14:1-14:32 (2014) - [j66]Mingsheng Ying
, Yangjia Li, Nengkun Yu
, Yuan Feng
:
Model-Checking Linear-Time Properties of Quantum Systems. ACM Trans. Comput. Log. 15(3): 22:1-22:31 (2014) - [c16]Yangjia Li, Mingsheng Ying
:
(Un)decidable Problems about Reachability of Quantum Systems. CONCUR 2014: 482-496 - [i26]Yangjia Li, Mingsheng Ying:
(Un)decidable Problems about Reachability of Quantum Systems. CoRR abs/1401.6249 (2014) - [i25]Mingsheng Ying, Nengkun Yu, Yuan Feng:
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs. CoRR abs/1402.5172 (2014) - [i24]Yangjia Li, Mingsheng Ying:
Debugging Quantum Processes Using Monitoring Measurements. CoRR abs/1403.4344 (2014) - [i23]Mingsheng Ying:
Quantum Recursion and Second Quantisation: Basic Ideas and Examples. CoRR abs/1405.4443 (2014) - [i22]Shenggang Ying, Mingsheng Ying:
Reachability Analysis of Quantum Markov Decision Processes. CoRR abs/1406.6146 (2014) - 2013
- [j65]Yongzhi Cao, Lirong Xia, Mingsheng Ying
:
Probabilistic automata for computing with words. J. Comput. Syst. Sci. 79(1): 152-172 (2013) - [j64]Yuan Feng
, Nengkun Yu
, Mingsheng Ying
:
Model checking quantum Markov chains. J. Comput. Syst. Sci. 79(7): 1181-1198 (2013) - [j63]Mingsheng Ying
, Nengkun Yu
, Yuan Feng
, Runyao Duan:
Verification of quantum programs. Sci. Comput. Program. 78(9): 1679-1700 (2013) - [c15]Shenggang Ying, Yuan Feng
, Nengkun Yu
, Mingsheng Ying
:
Reachability Probabilities of Quantum Markov Chains. CONCUR 2013: 334-348 - [c14]Mingsheng Ying
, Yuan Feng
, Nengkun Yu
:
Quantum Information-Flow Security: Noninterference and Access Control. CSF 2013: 130-144 - [c13]Yuan Feng
, Nengkun Yu
, Mingsheng Ying
:
Reachability Analysis of Recursive Quantum Markov Chains. MFCS 2013: 385-396 - [i21]Mingsheng Ying, Yuan Feng, Nengkun Yu:
Quantum Information-Flow Security: Noninterference and Access Control. CoRR abs/1301.6804 (2013) - 2012
- [j62]Chunlai Zhou, Mingsheng Ying
:
Approximating Markov processes through filtration. Theor. Comput. Sci. 446: 75-97 (2012) - [j61]Yuan Feng
, Runyao Duan, Mingsheng Ying
:
Bisimulation for Quantum Processes. ACM Trans. Program. Lang. Syst. 34(4): 17:1-17:43 (2012) - [c12]Nengkun Yu
, Mingsheng Ying
:
Reachability and Termination Analysis of Concurrent Quantum Programs. CONCUR 2012: 69-83 - [c11]Guoxin Su
, Mingsheng Ying
, Chengqi Zhang
:
Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles. WICSA/ECSA 2012: 151-160 - [i20]Yangjia Li, Nengkun Yu, Mingsheng Ying:
Termination of Nondeterministic Quantum Programs. CoRR abs/1201.0891 (2012) - [i19]Yuan Feng, Yuxin Deng, Mingsheng Ying:
Symbolic bisimulation for quantum processes. CoRR abs/1202.3484 (2012) - [i18]Yuan Feng, Nengkun Yu, Mingsheng Ying:
Model checking quantum Markov chains. CoRR abs/1205.2187 (2012) - [i17]Nengkun Yu, Mingsheng Ying:
Reachability and Termination Analysis of Concurrent Quantum Programs. CoRR abs/1206.1935 (2012) - [i16]Mingsheng Ying, Nengkun Yu, Yuan Feng:
Defining Quantum Control Flow. CoRR abs/1209.4379 (2012) - [i15]Guoxin Su, Mingsheng Ying, Chengqi Zhang:
Session Communication and Integration. CoRR abs/1210.2125 (2012) - 2011
- [j60]Mingsheng Ying
:
Floyd-hoare logic for quantum programs. ACM Trans. Program. Lang. Syst. 33(6): 19:1-19:49 (2011) - [j59]Mingsheng Ying
, Yuan Feng
:
A Flowchart Language for Quantum Programming. IEEE Trans. Software Eng. 37(4): 466-485 (2011) - [c10]Heng Zhang
, Yan Zhang, Mingsheng Ying
, Yi Zhou:
Translating First-Order Theories into Logic Programs. IJCAI 2011: 1126-1131 - [c9]Yuan Feng
, Runyao Duan, Mingsheng Ying
:
Bisimulation for quantum processes. POPL 2011: 523-534 - [i14]Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan:
Verification of Quantum Programs. CoRR abs/1106.4063 (2011) - 2010
- [j58]Mingsheng Ying
, Yuan Feng
:
Quantum loop programs. Acta Informatica 47(4): 221-250 (2010) - [j57]Mingsheng Ying
:
Quantum computation, quantum theory and AI. Artif. Intell. 174(2): 162-176 (2010) - [j56]Weiming Liu, Xiaotong Zhang, Sanjiang Li
, Mingsheng Ying
:
Reasoning about cardinal directions between extended objects. Artif. Intell. 174(12-13): 951-983 (2010) - [j55]Zheng-Feng Ji, Jianxin Chen, Zhaohui Wei, Mingsheng Ying
:
The LU-LC conjecture is false. Quantum Inf. Comput. 10(1&2): 97-108 (2010) - [j54]Jianxin Chen, Mingsheng Ying
:
Ancilla-assisted discrimination of quantum gates. Quantum Inf. Comput. 10(1&2): 160-177 (2010) - [c8]Heng Zhang, Mingsheng Ying:
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. AAAI 2010 - [c7]Mingsheng Ying
:
Foundations of Quantum Programming (Extended Abstract). APLAS 2010: 16-20 - [c6]Guoxin Su
, Mingsheng Ying
, Chengqi Zhang
:
An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection. ECSA 2010: 8-23 - [i13]Yuan Feng, Runyao Duan, Mingsheng Ying:
Bisimulation for quantum processes. CoRR abs/1007.2584 (2010)
2000 – 2009
- 2009
- [j53]Guoqing Chen, Mingsheng Ying
, Yingming Liu:
Dealing with uncertainty and fuzziness in intelligent systems. Int. J. Intell. Syst. 24(3): 223-225 (2009) - [j52]Yuan Feng
, Runyao Duan, Mingsheng Ying
:
Locally undetermined states, generalized schmidt decomposition, and application in deistributed comuting. Quantum Inf. Comput. 9(11&12): 997-1012 (2009) - [j51]Mingsheng Ying
, Yuan Feng
:
An Algebraic Language for Distributed Quantum Computing. IEEE Trans. Computers 58(6): 728-743 (2009) - [j50]Runyao Duan, Yuan Feng
, Yu Xin, Mingsheng Ying
:
Distinguishability of Quantum States by Separable Operations. IEEE Trans. Inf. Theory 55(3): 1320-1330 (2009) - [j49]Mingsheng Ying
, Yuan Feng
, Runyao Duan, Zheng-Feng Ji
:
An algebra of quantum processes. ACM Trans. Comput. Log. 10(3): 19:1-19:36 (2009) - [i12]Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying:
Reasoning about Cardinal Directions between Extended Objects. CoRR abs/0909.0138 (2009) - 2008
- [j48]Sanjiang Li
, Mingsheng Ying
:
Soft constraint abstraction based on semiring homomorphism. Theor. Comput. Sci. 403(2-3): 192-201 (2008) - [j47]Zheng-Feng Ji
, Guoming Wang, Runyao Duan, Yuan Feng
, Mingsheng Ying
:
Parameter Estimation of Quantum Channels. IEEE Trans. Inf. Theory 54(11): 5172-5185 (2008) - [c5]Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying:
Reasoning with Cardinal Directions: An Efficient Algorithm. AAAI 2008: 387-392 - 2007
- [j46]