default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMingsheng Ying
Person information
- affiliation: Centre for Quantum Software and Information, University of Technology Sydney, Australia
- affiliation (former): Chinese Academy of Sciences, State Key Laboratory of Computer Science, Institute of Software, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2001
[b1]Mingsheng Ying:
Topology in process calculus - approximate correctness and infinite evolution of concurrent programs. Springer 2001, ISBN 978-0-387-95092-1, pp. I-VIII, 1-220
Journal Articles
- 2024
- [j98]Qisheng Wang
, Mingsheng Ying:
Quantum Algorithm for Lexicographically Minimal String Rotation. Theory Comput. Syst. 68(1): 29-74 (2024) - [j97]Wang Fang, Mingsheng Ying:
Symbolic Execution for Quantum Error Correction Programs. Proc. ACM Program. Lang. 8(PLDI): 1040-1065 (2024) - [j96]Zhicheng Zhang, Qisheng Wang, Mingsheng Ying:
Parallel Quantum Algorithm for Hamiltonian Simulation. Quantum 8: 1228 (2024) - [j95]Qisheng Wang, Mingsheng Ying:
Quantum Büchi automata. Theor. Comput. Sci. 1012: 114740 (2024) - [j94]Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, Mingsheng Ying:
New Quantum Algorithms for Computing Quantum Entropies and Distances. IEEE Trans. Inf. Theory 70(8): 5653-5680 (2024) - [j93]Wang Fang, Mingsheng Ying, Xiaodi Wu:
Differentiable Quantum Programming with Unbounded Loops. ACM Trans. Softw. Eng. Methodol. 33(1): 19:1-19:63 (2024) - 2023
- [j92]Qisheng Wang, Mingsheng Ying:
Quantum random access stored-program machines. J. Comput. Syst. Sci. 131: 13-63 (2023) - [j91]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) - [j90]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) - [j89]Kean Chen, Qisheng Wang, Peixun Long, Mingsheng Ying:
Unitarity Estimation for Quantum Channels. IEEE Trans. Inf. Theory 69(8): 5116-5134 (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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 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) - 2007
- [j46]Yingming Liu, Mingsheng Ying, Guoqing Chen:
On fundamentals of fuzzy logic and soft computing and some applications. Fuzzy Sets Syst. 158(9): 927-928 (2007) - [j45]Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying:
Probabilistic bisimulations for quantum processes. Inf. Comput. 205(11): 1608-1639 (2007) - [j44]Mingsheng Ying, Jianxin Chen, Yuan Feng, Runyao Duan:
Commutativity of quantum weakest preconditions. Inf. Process. Lett. 104(4): 152-158 (2007) - [j43]Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying:
Proof rules for the correctness of quantum programs. Theor. Comput. Sci. 386(1-2): 151-166 (2007) - [j42]Yongzhi Cao, Mingsheng Ying, Guoqing Chen:
Retraction and Generalized Extension of Computing With Words. IEEE Trans. Fuzzy Syst. 15(6): 1238-1250 (2007) - [j41]Yongzhi Cao, Mingsheng Ying, Guoqing Chen:
State-Based Control of Fuzzy Discrete-Event Systems. IEEE Trans. Syst. Man Cybern. Part B 37(2): 410-424 (2007) - 2006
- [j40]Mingsheng Ying:
Linguistic quantifiers modeled by Sugeno integrals. Artif. Intell. 170(6-7): 581-606 (2006) - [j39]Runyao Duan, Zheng-Feng Ji, Yuan Feng, Mingsheng Ying:
Some Issues in Quantum Information Theory. J. Comput. Sci. Technol. 21(5): 776-789 (2006) - [j38]Yongzhi Cao, Mingsheng Ying:
Similarity-based supervisory control of discrete-event systems. IEEE Trans. Autom. Control. 51(2): 325-330 (2006) - [j37]Yongzhi Cao, Mingsheng Ying:
Observability and Decentralized Control of Fuzzy Discrete-Event Systems. IEEE Trans. Fuzzy Syst. 14(2): 202-216 (2006) - [j36]Runyao Duan, Yuan Feng, Mingsheng Ying:
Partial Recovery of Quantum Entanglement. IEEE Trans. Inf. Theory 52(7): 3080-3104 (2006) - 2005
- [j35]Mingsheng Ying:
pi-calculus with noisy channels. Acta Informatica 41(9): 525-593 (2005) - [j34]Mingsheng Ying:
Knowledge transformation and fusion in diagnostic systems. Artif. Intell. 163(1): 1-45 (2005) - [j33]Sanjiang Li, Mingsheng Ying, Yongming Li:
On countable RCC models. Fundam. Informaticae 65(4): 329-351 (2005) - [j32]Mingsheng Ying:
A theory of computation based on quantum logic (I). Theor. Comput. Sci. 344(2-3): 134-207 (2005) - [j31]Xiaoming Sun, Runyao Duan, Mingsheng Ying:
The existence of quantum entanglement catalysts. IEEE Trans. Inf. Theory 51(1): 75-80 (2005) - [j30]Yuan Feng, Runyao Duan, Mingsheng Ying:
Catalyst-assisted probabilistic entanglement transformation. IEEE Trans. Inf. Theory 51(3): 1090-1101 (2005) - [j29]Yongzhi Cao, Mingsheng Ying:
Supervisory control of fuzzy discrete event systems. IEEE Trans. Syst. Man Cybern. Part B 35(2): 366-371 (2005) - 2004
- [j28]Sanjiang Li, Mingsheng Ying:
Generalized Region Connection Calculus. Artif. Intell. 160(1-2): 1-34 (2004) - [j27]Yuan Feng, Mingsheng Ying:
Process Algebra Approach to Reasoning About Concurrent Actions. J. Comput. Sci. Technol. 19(3): 364-373 (2004) - [j26]Daowen Qiu, Mingsheng Ying:
Characterizations of quantum automata. Theor. Comput. Sci. 312(2-3): 479-489 (2004) - 2003
- [j25]Mingsheng Ying:
Reasoning about probabilistic sequential programs in a probabilistic logic. Acta Informatica 39(5): 315-389 (2003) - [j24]Sanjiang Li, Mingsheng Ying:
Region Connection Calculus: Its models and composition table. Artif. Intell. 145(1-2): 121-146 (2003) - [j23]Sanjiang Li, Mingsheng Ying:
Extensionality of the RCC8 Composition Table. Fundam. Informaticae 55(3-4): 363-385 (2003) - 2002
- [j22]Mingsheng Ying, Huaiqing Wang:
Lattice-theoretic models of conjectures, hypotheses and consequences. Artif. Intell. 139(2): 253-267 (2002) - [j21]Mingsheng Ying:
Bisimulation indexes and their applications. Theor. Comput. Sci. 275(1-2): 1-68 (2002) - [j20]Mingsheng Ying:
Additive models of probabilistic processes. Theor. Comput. Sci. 275(1-2): 481-519 (2002) - [j19]Mingsheng Ying:
Implication operators in fuzzy logic. IEEE Trans. Fuzzy Syst. 10(1): 88-91 (2002) - [j18]Mingsheng Ying:
A formal model of computing with words. IEEE Trans. Fuzzy Syst. 10(5): 640-652 (2002) - 2001
- [j17]Mingsheng Ying, Martin Wirsing:
Recursive equations in higher-order process calculi. Theor. Comput. Sci. 266(1-2): 839-852 (2001) - 2000
- [j16]Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying:
Approximate Reasoning Based on Similarity. Math. Log. Q. 46(1): 77-86 (2000) - [j15]Mingsheng Ying:
Weak confluence and tau-inertness. Theor. Comput. Sci. 238(1-2): 465-475 (2000) - 1999
- [j14]Mingsheng Ying:
Phase semantics for a pure noncommutative linear propositional logic. J. Comput. Sci. Technol. 14(2): 135-139 (1999) - [j13]Mingsheng Ying:
Topology in process calculus (I): Limit behaviour of agents. J. Comput. Sci. Technol. 14(4): 328-336 (1999) - [j12]Mingsheng Ying:
A Shorter Proof to Uniqueness of Solutions of Equations. Theor. Comput. Sci. 216(1-2): 395-397 (1999) - [j11]Mingsheng Ying:
Perturbation of fuzzy reasoning. IEEE Trans. Fuzzy Syst. 7(5): 625-629 (1999) - 1998
- [j10]Mingsheng Ying, Bernadette Bouchon-Meunier:
Approximate reasoning with linguistic modifiers. Int. J. Intell. Syst. 13(5): 403-418 (1998) - 1997
- [j9]Mingsheng Ying, Bernadette Bouchon-Meunier:
Quantifiers, modifiers and qualifiers in fuzzy logic. J. Appl. Non Class. Logics 7(3): 335-342 (1997) - 1996
- [j8]Mingsheng Ying:
When is the Ideal Completion of Abstract Basis Algebraic. Theor. Comput. Sci. 159(2): 355-356 (1996) - 1995
- [j7]Mingsheng Ying:
Putting consistent theories together in institutions. J. Comput. Sci. Technol. 10(3): 260-266 (1995) - [j6]Mingsheng Ying:
Institutions of variable truth values: An approach in the ordered style. J. Comput. Sci. Technol. 10(3): 267-273 (1995) - 1994
- [j5]Mingsheng Ying:
A Logic for Approximate Reasoning. J. Symb. Log. 59(3): 830-837 (1994) - 1992
- [j4]Mingsheng Ying:
The Fundamental Theorem of Ultraproduct in Pavelka's Logic. Math. Log. Q. 38(1): 197-201 (1992) - [j3]Mingsheng Ying:
Compactness, the LöWenheim-Skolem Property and the Direct Product of Lattices of Truth Values. Math. Log. Q. 38(1): 521-524 (1992) - 1991
- [j2]Mingsheng Ying:
Deduction Theorem for Many-Valued Inference. Math. Log. Q. 37(33-35): 533-537 (1991) - 1987
- [j1]Mingsheng Ying:
Fuzzy semilattices. Inf. Sci. 43(3): 155-159 (1987)
Conference and Workshop Papers
- 2024
- [c35]Aochu Dai, Mingsheng Ying:
QReach: A Reachability Analysis Tool for Quantum Markov Chains. CAV (3) 2024: 520-532 - [c34]Ji Guan, Yuan Feng, Andrea Turrini, Mingsheng Ying:
Measurement-Based Verification of Quantum Markov Chains. CAV (3) 2024: 533-554 - [c33]Mingyu Huang, Ji Guan, Wang Fang, Mingsheng Ying:
Approximation Algorithm for Noisy Quantum Circuit Simulation. DATE 2024: 1-6 - [c32]Yanling Lin, Ji Guan, Wang Fang, Mingsheng Ying, Zhaofeng Su:
VeriQR: A Robustness Verification Tool for quantum Machine Learning Models. FM (1) 2024: 403-421 - 2023
- [c31]Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying:
Detecting Violations of Differential Privacy for Quantum Algorithms. CCS 2023: 2277-2291 - [c30]Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh, Mingsheng Ying:
Decision Diagrams for Symbolic Verification of Quantum Circuits. QCE 2023: 970-977 - 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:1-127:8 - [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 - 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 - 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 - 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 - 2015
- [c17]Yuan Feng, Mingsheng Ying:
Toward Automatic Verification of Quantum Cryptographic Protocols. CONCUR 2015: 441-455 - 2014
- [c16]Yangjia Li, Mingsheng Ying:
(Un)decidable Problems about Reachability of Quantum Systems. CONCUR 2014: 482-496 - 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 - 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 - 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 - 2010
- [c8]Heng Zhang, Mingsheng Ying:
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription. AAAI 2010: 375-380 - [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 - 2008
- [c5]Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying:
Reasoning with Cardinal Directions: An Efficient Algorithm. AAAI 2008: 387-392 - 2007
- [c4]Lirong Xia, Jérôme Lang, Mingsheng Ying:
Strongly Decomposable Voting Rules on Multiattribute Domains. AAAI 2007: 776-781 - [c3]Lirong Xia, Jérôme Lang, Mingsheng Ying:
Sequential voting rules and multiple elections paradoxes. TARK 2007: 279-288 - 2005
- [c2]Mingsheng Ying:
A theory of computation based on quantum logic (I). GrC 2005: 91 - 2000
- [c1]Mingsheng Ying, Martin Wirsing:
Approximate Bisimilarity. AMAST 2000: 309-322
Parts in Books or Collections
- 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
Informal and Other Publications
- 2024
- [i69]Mingsheng Ying, Zhicheng Zhang:
Verification of Recursively Defined Quantum Circuits. CoRR abs/2404.05934 (2024) - [i68]Zhicheng Zhang, Mingsheng Ying:
Atomicity in Distributed Quantum Computing. CoRR abs/2404.18592 (2024) - 2023
- [i67]Ji Guan, Wang Fang, Mingyu Huang, Mingsheng Ying:
Detecting Violations of Differential Privacy for Quantum Algorithms. CoRR abs/2309.04819 (2023) - [i66]Mingsheng Ying, Zhicheng Zhang:
Quantum Recursive Programming with Quantum Case Statements. CoRR abs/2311.01725 (2023) - [i65]Wang Fang, Mingsheng Ying:
SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits. CoRR abs/2311.03906 (2023) - [i64]Wang Fang, Mingsheng Ying:
Symbolic Execution for Quantum Error Correction Programs. CoRR abs/2311.11313 (2023) - 2022
- [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
- [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
- [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) - 2019
- [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
- [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
- [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
- [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
- [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
- [i21]Mingsheng Ying, Yuan Feng, Nengkun Yu:
Quantum Information-Flow Security: Noninterference and Access Control. CoRR abs/1301.6804 (2013) - 2012
- [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
- [i14]Mingsheng Ying, Nengkun Yu, Yuan Feng, Runyao Duan:
Verification of Quantum Programs. CoRR abs/1106.4063 (2011) - 2010
- [i13]Yuan Feng, Runyao Duan, Mingsheng Ying:
Bisimulation for quantum processes. CoRR abs/1007.2584 (2010) - 2009
- [i12]Xiaotong Zhang, Weiming Liu, Sanjiang Li, Mingsheng Ying:
Reasoning about Cardinal Directions between Extended Objects. CoRR abs/0909.0138 (2009) - 2007
- [i11]Sanjiang Li, Mingsheng Ying:
Soft constraint abstraction based on semiring homomorphism. CoRR abs/0705.0734 (2007) - 2006
- [i10]Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying:
Probabilistic bisimilarities between quantum processes. CoRR abs/cs/0601014 (2006) - [i9]Yongzhi Cao, Mingsheng Ying, Guoqing Chen:
Retraction and Generalized Extension of Computing with Words. CoRR abs/cs/0604070 (2006) - [i8]Yongzhi Cao, Lirong Xia, Mingsheng Ying:
Probabilistic Automata for Computing with Words. CoRR abs/cs/0604087 (2006) - 2005
- [i7]Yongming Li, Sanjiang Li, Mingsheng Ying:
Relational reasoning in the region connection calculus. CoRR abs/cs/0505041 (2005) - [i6]Yuan Feng, Runyao Duan, Zheng-Feng Ji, Mingsheng Ying:
Proof rules for purely quantum programs. CoRR abs/cs/0507043 (2005) - [i5]Yongzhi Cao, Mingsheng Ying, Guoqing Chen:
State-Based Control of Fuzzy Discrete Event Systems. CoRR abs/cs/0509099 (2005) - 2004
- [i4]Yongzhi Cao, Mingsheng Ying:
Supervisory Control of Fuzzy Discrete Event Systems. CoRR cs.DM/0405040 (2004) - [i3]Yongzhi Cao, Mingsheng Ying:
Observability and Decentralized Control of Fuzzy Discrete Event Systems. CoRR cs.DM/0405068 (2004) - [i2]Yongzhi Cao, Mingsheng Ying:
Similarity-Based Supervisory Control of Discrete Event Systems. CoRR cs.DM/0410031 (2004) - [i1]Mingsheng Ying:
A Theory of Computation Based on Quantum Logic (I). CoRR cs.LO/0403041 (2004)
Coauthor Index
[j86] [j85] [j84] [j83] [j72] [j70] [j67] [j66] [j64] [j63] [j61] [j59] [j58] [j52] [j51] [j50] [j49] [j47] [j45] [j44] [j43] [j39] [j36] [j30] [j27] [c34] [c30] [c28] [c24] [c17] [c15] [c14] [c13] [c9] [i56] [i54] [i50] [i48] [i42] [i37] [i33] [i32] [i31] [i28] [i27] [i25] [i21] [i19] [i18] [i16] [i14] [i13] [i10] [i6]
Fang Wang
aka: Wang Fang
aka: Wang Fang
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-19 00:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
