Travelled to:1 × Denmark
1 × Finland
1 × USA
Collaborated with:G.Su C.Zhang Y.Li L.Zhou Nengkun Yu X.Wu S.Ying Y.Feng R.Duan G.Barthe J.Hsu Shih-Han Hung Kesha Hietala Shaopeng Zhu M.H.0001 J.Liu B.Zhan S.Wang T.Liu N.Zhan
Talks about:quantum (8) program (4) analysi (3) architectur (2) algorithm (2) logic (2) hoar (2) characteris (1) connector (1) approach (1)
Person: Mingsheng Ying
DBLP: Ying:Mingsheng
Contributed to:
2012
2011
2010
201920172018
201920192020Wrote 9 papers:
- WICSA-ECSA-2012-SuYZ #analysis #architecture #component #semantics
- Semantic Analysis of Component-aspect Dynamism for Connector-based Architecture Styles (GS, MY, CZ), pp. 151–160.
- POPL-2011-FengDY #bisimulation #process #quantum
- Bisimulation for quantum processes (YF, RD, MY), pp. 523–534.
- ECSA-2010-SuYZ #architecture #specification
- An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection (GS, MY, CZ), pp. 8–23.
- CAV-2019-LiuZWYLLYZ #algorithm #hoare #logic #quantum #using #verification
- Formal Verification of Quantum Algorithms Using Quantum Hoare Logic (JL, BZ, SW, SY, TL, YL, MY, NZ), pp. 187–207.
- POPL-2017-YingYW #generative #invariant #quantum #source code
- Invariants of quantum programs: characterisations and generation (MY, SY, XW), pp. 818–832.
- POPL-2018-LiY #algorithm #analysis #problem #quantum #source code #termination
- Algorithmic analysis of termination problems for quantum programs (YL, MY), p. 29.
- PLDI-2019-ZhouYY #hoare #logic #quantum
- An applied quantum Hoare logic (LZ, NY, MY), pp. 1149–1162.
- POPL-2019-HungHZYHW #analysis #quantum #robust #source code
- Quantitative robustness analysis of quantum programs (SHH, KH, SZ, MY, MH0, XW), p. 29.
- POPL-2020-BartheHYYZ #proving #quantum #relational #source code
- Relational proofs for quantum programs (GB, JH, MY, NY, LZ), p. 29.