default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mingsheng Ying
@article{DBLP:journals/mst/WangY24,
author = {Qisheng Wang and
Mingsheng Ying},
title = {Quantum Algorithm for Lexicographically Minimal String Rotation},
journal = {Theory Comput. Syst.},
volume = {68},
number = {1},
pages = {29--74},
year = {2024},
url = {https://doi.org/10.1007/s00224-023-10146-8},
doi = {10.1007/S00224-023-10146-8},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/WangY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FangY24,
author = {Wang Fang and
Mingsheng Ying},
title = {Symbolic Execution for Quantum Error Correction Programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{PLDI}},
pages = {1040--1065},
year = {2024},
url = {https://doi.org/10.1145/3656419},
doi = {10.1145/3656419},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/FangY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/quantum/ZhangWY24,
author = {Zhicheng Zhang and
Qisheng Wang and
Mingsheng Ying},
title = {Parallel Quantum Algorithm for Hamiltonian Simulation},
journal = {Quantum},
volume = {8},
pages = {1228},
year = {2024},
url = {https://doi.org/10.22331/q-2024-01-15-1228},
doi = {10.22331/Q-2024-01-15-1228},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/quantum/ZhangWY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WangY24a,
author = {Qisheng Wang and
Mingsheng Ying},
title = {Quantum B{\"{u}}chi automata},
journal = {Theor. Comput. Sci.},
volume = {1012},
pages = {114740},
year = {2024},
url = {https://doi.org/10.1016/j.tcs.2024.114740},
doi = {10.1016/J.TCS.2024.114740},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/WangY24a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/WangGLZY24,
author = {Qisheng Wang and
Ji Guan and
Junyi Liu and
Zhicheng Zhang and
Mingsheng Ying},
title = {New Quantum Algorithms for Computing Quantum Entropies and Distances},
journal = {{IEEE} Trans. Inf. Theory},
volume = {70},
number = {8},
pages = {5653--5680},
year = {2024},
url = {https://doi.org/10.1109/TIT.2024.3399014},
doi = {10.1109/TIT.2024.3399014},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tit/WangGLZY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FangYW24,
author = {Wang Fang and
Mingsheng Ying and
Xiaodi Wu},
title = {Differentiable Quantum Programming with Unbounded Loops},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {33},
number = {1},
pages = {19:1--19:63},
year = {2024},
url = {https://doi.org/10.1145/3617178},
doi = {10.1145/3617178},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/FangYW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DaiY24,
author = {Aochu Dai and
Mingsheng Ying},
editor = {Arie Gurfinkel and
Vijay Ganesh},
title = {QReach: {A} Reachability Analysis Tool for Quantum Markov Chains},
booktitle = {Computer Aided Verification - 36th International Conference, {CAV}
2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {14683},
pages = {520--532},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65633-0\_23},
doi = {10.1007/978-3-031-65633-0\_23},
timestamp = {Fri, 02 Aug 2024 12:00:01 +0200},
biburl = {https://dblp.org/rec/conf/cav/DaiY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GuanFTY24,
author = {Ji Guan and
Yuan Feng and
Andrea Turrini and
Mingsheng Ying},
editor = {Arie Gurfinkel and
Vijay Ganesh},
title = {Measurement-Based Verification of Quantum Markov Chains},
booktitle = {Computer Aided Verification - 36th International Conference, {CAV}
2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {14683},
pages = {533--554},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-65633-0\_24},
doi = {10.1007/978-3-031-65633-0\_24},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GuanFTY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HuangGFY24,
author = {Mingyu Huang and
Ji Guan and
Wang Fang and
Mingsheng Ying},
title = {Approximation Algorithm for Noisy Quantum Circuit Simulation},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2024, Valencia, Spain, March 25-27, 2024},
pages = {1--6},
publisher = {{IEEE}},
year = {2024},
url = {https://ieeexplore.ieee.org/document/10546657},
timestamp = {Fri, 28 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/HuangGFY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LinGFYS24,
author = {Yanling Lin and
Ji Guan and
Wang Fang and
Mingsheng Ying and
Zhaofeng Su},
editor = {Andr{\'{e}} Platzer and
Kristin Yvonne Rozier and
Matteo Pradella and
Matteo Rossi},
title = {VeriQR: {A} Robustness Verification Tool for quantum Machine Learning
Models},
booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy,
September 9-13, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14933},
pages = {403--421},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71162-6\_21},
doi = {10.1007/978-3-031-71162-6\_21},
timestamp = {Fri, 20 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LinGFYS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-05934,
author = {Mingsheng Ying and
Zhicheng Zhang},
title = {Verification of Recursively Defined Quantum Circuits},
journal = {CoRR},
volume = {abs/2404.05934},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.05934},
doi = {10.48550/ARXIV.2404.05934},
eprinttype = {arXiv},
eprint = {2404.05934},
timestamp = {Wed, 29 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-05934.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-18592,
author = {Zhicheng Zhang and
Mingsheng Ying},
title = {Atomicity in Distributed Quantum Computing},
journal = {CoRR},
volume = {abs/2404.18592},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.18592},
doi = {10.48550/ARXIV.2404.18592},
eprinttype = {arXiv},
eprint = {2404.18592},
timestamp = {Wed, 29 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-18592.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/WangY23,
author = {Qisheng Wang and
Mingsheng Ying},
title = {Quantum random access stored-program machines},
journal = {J. Comput. Syst. Sci.},
volume = {131},
pages = {13--63},
year = {2023},
url = {https://doi.org/10.1016/j.jcss.2022.08.002},
doi = {10.1016/J.JCSS.2022.08.002},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/WangY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ZhouBSLY23,
author = {Li Zhou and
Gilles Barthe and
Pierre{-}Yves Strub and
Junyi Liu and
Mingsheng Ying},
title = {CoqQ: Foundational Verification of Quantum Programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {833--865},
year = {2023},
url = {https://doi.org/10.1145/3571222},
doi = {10.1145/3571222},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ZhouBSLY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/WangZCGFLY23,
author = {Qisheng Wang and
Zhicheng Zhang and
Kean Chen and
Ji Guan and
Wang Fang and
Junyi Liu and
Mingsheng Ying},
title = {Quantum Algorithm for Fidelity Estimation},
journal = {{IEEE} Trans. Inf. Theory},
volume = {69},
number = {1},
pages = {273--282},
year = {2023},
url = {https://doi.org/10.1109/TIT.2022.3203985},
doi = {10.1109/TIT.2022.3203985},
timestamp = {Fri, 28 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tit/WangZCGFLY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/ChenWLY23,
author = {Kean Chen and
Qisheng Wang and
Peixun Long and
Mingsheng Ying},
title = {Unitarity Estimation for Quantum Channels},
journal = {{IEEE} Trans. Inf. Theory},
volume = {69},
number = {8},
pages = {5116--5134},
year = {2023},
url = {https://doi.org/10.1109/TIT.2023.3263645},
doi = {10.1109/TIT.2023.3263645},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tit/ChenWLY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GuoY23,
author = {Jingzhe Guo and
Mingsheng Ying},
title = {Software Pipelining for Quantum Loop Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {4},
pages = {2815--2828},
year = {2023},
url = {https://doi.org/10.1109/TSE.2022.3232623},
doi = {10.1109/TSE.2022.3232623},
timestamp = {Sat, 29 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GuoY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/GuanFHY23,
author = {Ji Guan and
Wang Fang and
Mingyu Huang and
Mingsheng Ying},
editor = {Weizhi Meng and
Christian Damsgaard Jensen and
Cas Cremers and
Engin Kirda},
title = {Detecting Violations of Differential Privacy for Quantum Algorithms},
booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2023, Copenhagen, Denmark, November
26-30, 2023},
pages = {2277--2291},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576915.3623108},
doi = {10.1145/3576915.3623108},
timestamp = {Fri, 28 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/GuanFHY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qce/HongHCFHLYY23,
author = {Xin Hong and
Wei{-}Jia Huang and
Wei{-}Chen Chien and
Yuan Feng and
Min{-}Hsiu Hsieh and
Sanjiang Li and
Chia{-}Shun Yeh and
Mingsheng Ying},
editor = {Brian La Cour and
Lia Yeh and
Marek Osinski},
title = {Decision Diagrams for Symbolic Verification of Quantum Circuits},
booktitle = {{IEEE} International Conference on Quantum Computing and Engineering,
{QCE} 2023, Bellevue, WA, USA, September 17-22, 2023},
pages = {970--977},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/QCE57702.2023.00111},
doi = {10.1109/QCE57702.2023.00111},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qce/HongHCFHLYY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-04819,
author = {Ji Guan and
Wang Fang and
Mingyu Huang and
Mingsheng Ying},
title = {Detecting Violations of Differential Privacy for Quantum Algorithms},
journal = {CoRR},
volume = {abs/2309.04819},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.04819},
doi = {10.48550/ARXIV.2309.04819},
eprinttype = {arXiv},
eprint = {2309.04819},
timestamp = {Fri, 28 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-04819.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-01725,
author = {Mingsheng Ying and
Zhicheng Zhang},
title = {Quantum Recursive Programming with Quantum Case Statements},
journal = {CoRR},
volume = {abs/2311.01725},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.01725},
doi = {10.48550/ARXIV.2311.01725},
eprinttype = {arXiv},
eprint = {2311.01725},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-01725.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-03906,
author = {Wang Fang and
Mingsheng Ying},
title = {SymPhase: Phase Symbolization for Fast Simulation of Stabilizer Circuits},
journal = {CoRR},
volume = {abs/2311.03906},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.03906},
doi = {10.48550/ARXIV.2311.03906},
eprinttype = {arXiv},
eprint = {2311.03906},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-03906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-11313,
author = {Wang Fang and
Mingsheng Ying},
title = {Symbolic Execution for Quantum Error Correction Programs},
journal = {CoRR},
volume = {abs/2311.11313},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.11313},
doi = {10.48550/ARXIV.2311.11313},
eprinttype = {arXiv},
eprint = {2311.11313},
timestamp = {Thu, 23 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-11313.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/WangLY22,
author = {Qisheng Wang and
Riling Li and
Mingsheng Ying},
title = {Equivalence Checking of Sequential Quantum Circuits},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {41},
number = {9},
pages = {3143--3156},
year = {2022},
url = {https://doi.org/10.1109/TCAD.2021.3117506},
doi = {10.1109/TCAD.2021.3117506},
timestamp = {Sat, 10 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/WangLY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/YingZL022,
author = {Mingsheng Ying and
Li Zhou and
Yangjia Li and
Yuan Feng},
title = {A proof system for disjoint parallel quantum programs},
journal = {Theor. Comput. Sci.},
volume = {897},
pages = {164--184},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2021.10.025},
doi = {10.1016/J.TCS.2021.10.025},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/YingZL022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/FengLY22,
author = {Yuan Feng and
Sanjiang Li and
Mingsheng Ying},
title = {Verification of Distributed Quantum Programs},
journal = {{ACM} Trans. Comput. Log.},
volume = {23},
number = {3},
pages = {19:1--19:40},
year = {2022},
url = {https://doi.org/10.1145/3517145},
doi = {10.1145/3517145},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/FengLY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/HongZLFY22,
author = {Xin Hong and
Xiangzhen Zhou and
Sanjiang Li and
Yuan Feng and
Mingsheng Ying},
title = {A Tensor Network based Decision Diagram for Representation of Quantum
Circuits},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {27},
number = {6},
pages = {60:1--60:30},
year = {2022},
url = {https://doi.org/10.1145/3514355},
doi = {10.1145/3514355},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/HongZLFY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GuanFY22,
author = {Ji Guan and
Wang Fang and
Mingsheng Ying},
editor = {Sharon Shoham and
Yakir Vizel},
title = {Verifying Fairness in Quantum Machine Learning},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13372},
pages = {408--429},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13188-2\_20},
doi = {10.1007/978-3-031-13188-2\_20},
timestamp = {Fri, 28 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GuanFY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/Hong0LY22,
author = {Xin Hong and
Yuan Feng and
Sanjiang Li and
Mingsheng Ying},
editor = {Tulika Mitra and
Evangeline F. Y. Young and
Jinjun Xiong},
title = {Equivalence Checking of Dynamic Quantum Circuits},
booktitle = {Proceedings of the 41st {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 2022, San Diego, California, USA, 30 October 2022
- 3 November 2022},
pages = {127:1--127:8},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3508352.3549479},
doi = {10.1145/3508352.3549479},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/Hong0LY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/LiuZBY22,
author = {Junyi Liu and
Li Zhou and
Gilles Barthe and
Mingsheng Ying},
editor = {Christel Baier and
Dana Fisman},
title = {Quantum Weakest Preconditions for Reasoning about Expected Runtimes
of Quantum Programs},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {4:1--4:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533327},
doi = {10.1145/3531130.3533327},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/LiuZBY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PengYW22,
author = {Yuxiang Peng and
Mingsheng Ying and
Xiaodi Wu},
editor = {Ranjit Jhala and
Isil Dillig},
title = {Algebraic reasoning of Quantum programs via non-idempotent Kleene
algebra},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {657--670},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523713},
doi = {10.1145/3519939.3523713},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/PengYW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-13522,
author = {Qisheng Wang and
Ji Guan and
Junyi Liu and
Zhicheng Zhang and
Mingsheng Ying},
title = {New Quantum Algorithms for Computing Quantum Entropies and Distances},
journal = {CoRR},
volume = {abs/2203.13522},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.13522},
doi = {10.48550/ARXIV.2203.13522},
eprinttype = {arXiv},
eprint = {2203.13522},
timestamp = {Fri, 28 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-13522.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-01959,
author = {Mingsheng Ying},
title = {Birkhoff-von Neumann Quantum Logic as an Assertion Language for Quantum
Programs},
journal = {CoRR},
volume = {abs/2205.01959},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.01959},
doi = {10.48550/ARXIV.2205.01959},
eprinttype = {arXiv},
eprint = {2205.01959},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-01959.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-11173,
author = {Ji Guan and
Wang Fang and
Mingsheng Ying},
title = {Verifying Fairness in Quantum Machine Learning},
journal = {CoRR},
volume = {abs/2207.11173},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.11173},
doi = {10.48550/ARXIV.2207.11173},
eprinttype = {arXiv},
eprint = {2207.11173},
timestamp = {Fri, 28 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-11173.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-11350,
author = {Li Zhou and
Gilles Barthe and
Pierre{-}Yves Strub and
Junyi Liu and
Mingsheng Ying},
title = {CoqQ: Foundational Verification of Quantum Programs},
journal = {CoRR},
volume = {abs/2207.11350},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.11350},
doi = {10.48550/ARXIV.2207.11350},
eprinttype = {arXiv},
eprint = {2207.11350},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-11350.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-04507,
author = {Wang Fang and
Mingsheng Ying and
Xiaodi Wu},
title = {Differentiable Quantum Programming with Unbounded Loops},
journal = {CoRR},
volume = {abs/2211.04507},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.04507},
doi = {10.48550/ARXIV.2211.04507},
eprinttype = {arXiv},
eprint = {2211.04507},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-04507.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-00337,
author = {Qifan Huang and
Boxi Li and
Minbo Gao and
Mingsheng Ying},
title = {Fault Models in Superconducting quantum circuits},
journal = {CoRR},
volume = {abs/2212.00337},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.00337},
doi = {10.48550/ARXIV.2212.00337},
eprinttype = {arXiv},
eprint = {2212.00337},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-00337.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijautcomp/YingFY21,
author = {Mingsheng Ying and
Yuan Feng and
Shenggang Ying},
title = {Optimal Policies for Quantum Markov Decision Processes},
journal = {Int. J. Autom. Comput.},
volume = {18},
number = {3},
pages = {410--421},
year = {2021},
url = {https://doi.org/10.1007/s11633-021-1278-z},
doi = {10.1007/S11633-021-1278-Z},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijautcomp/YingFY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/WangLY21,
author = {Qisheng Wang and
Junyi Liu and
Mingsheng Ying},
title = {Equivalence checking of quantum finite-state machines},
journal = {J. Comput. Syst. Sci.},
volume = {116},
pages = {1--21},
year = {2021},
url = {https://doi.org/10.1016/j.jcss.2020.08.004},
doi = {10.1016/J.JCSS.2020.08.004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/WangLY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qic/GuanWY21,
author = {Ji Guan and
Qisheng Wang and
Mingsheng Ying},
title = {quantum walks},
journal = {Quantum Inf. Comput.},
volume = {21},
number = {5{\&}6},
pages = {395--408},
year = {2021},
url = {https://doi.org/10.26421/QIC21.5-6-4},
doi = {10.26421/QIC21.5-6-4},
timestamp = {Fri, 28 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qic/GuanWY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GuanFY21,
author = {Ji Guan and
Wang Fang and
Mingsheng Ying},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Robustness Verification of Quantum Classifiers},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12759},
pages = {151--174},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81685-8\_7},
doi = {10.1007/978-3-030-81685-8\_7},
timestamp = {Fri, 28 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GuanFY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HongY0ZL21,
author = {Xin Hong and
Mingsheng Ying and
Yuan Feng and
Xiangzhen Zhou and
Sanjiang Li},
title = {Approximate Equivalence Checking of Noisy Quantum Circuits},
booktitle = {58th {ACM/IEEE} Design Automation Conference, {DAC} 2021, San Francisco,
CA, USA, December 5-9, 2021},
pages = {637--642},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/DAC18074.2021.9586214},
doi = {10.1109/DAC18074.2021.9586214},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/HongY0ZL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Ying21,
author = {Mingsheng Ying},
editor = {Marieke Huisman and
Corina S. Pasareanu and
Naijun Zhan},
title = {Model Checking for Verification of Quantum Circuits},
booktitle = {Formal Methods - 24th International Symposium, {FM} 2021, Virtual
Event, November 20-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13047},
pages = {23--39},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-90870-6\_2},
doi = {10.1007/978-3-030-90870-6\_2},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Ying21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ZhouBHYY21,
author = {Li Zhou and
Gilles Barthe and
Justin Hsu and
Mingsheng Ying and
Nengkun Yu},
title = {A Quantum Interpretation of Bunched Logic {\&} Quantum Separation
Logic},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--14},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470673},
doi = {10.1109/LICS52264.2021.9470673},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ZhouBHYY21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-00329,
author = {Li Zhou and
Gilles Barthe and
Justin Hsu and
Mingsheng Ying and
Nengkun Yu},
title = {A Quantum Interpretation of Bunched Logic for Quantum Separation Logic},
journal = {CoRR},
volume = {abs/2102.00329},
year = {2021},
url = {https://arxiv.org/abs/2102.00329},
eprinttype = {arXiv},
eprint = {2102.00329},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-00329.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-11595,
author = {Xin Hong and
Mingsheng Ying and
Yuan Feng and
Xiangzhen Zhou and
Sanjiang Li},
title = {Approximate Equivalence Checking of Noisy Quantum Circuits},
journal = {CoRR},
volume = {abs/2103.11595},
year = {2021},
url = {https://arxiv.org/abs/2103.11595},
eprinttype = {arXiv},
eprint = {2103.11595},
timestamp = {Wed, 24 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-11595.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-11359,
author = {Mingsheng Ying},
title = {Model Checking for Verification of Quantum Circuits},
journal = {CoRR},
volume = {abs/2104.11359},
year = {2021},
url = {https://arxiv.org/abs/2104.11359},
eprinttype = {arXiv},
eprint = {2104.11359},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-11359.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-14796,
author = {Yuan Feng and
Sanjiang Li and
Mingsheng Ying},
title = {Verification of Distributed Quantum Programs},
journal = {CoRR},
volume = {abs/2104.14796},
year = {2021},
url = {https://arxiv.org/abs/2104.14796},
eprinttype = {arXiv},
eprint = {2104.14796},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-14796.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-11679,
author = {Zhaowei Xu and
Mingsheng Ying and
Beno{\^{\i}}t Valiron},
title = {Reasoning about Recursive Quantum Programs},
journal = {CoRR},
volume = {abs/2107.11679},
year = {2021},
url = {https://arxiv.org/abs/2107.11679},
eprinttype = {arXiv},
eprint = {2107.11679},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-11679.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-07018,
author = {Yuxiang Peng and
Mingsheng Ying and
Xiaodi Wu},
title = {Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene
Algebra},
journal = {CoRR},
volume = {abs/2110.07018},
year = {2021},
url = {https://arxiv.org/abs/2110.07018},
eprinttype = {arXiv},
eprint = {2110.07018},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-07018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LiZYDY020,
author = {Gushu Li and
Li Zhou and
Nengkun Yu and
Yufei Ding and
Mingsheng Ying and
Yuan Xie},
title = {Projection-based runtime assertions for testing and debugging Quantum
programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{OOPSLA}},
pages = {150:1--150:29},
year = {2020},
url = {https://doi.org/10.1145/3428218},
doi = {10.1145/3428218},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LiZYDY020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BartheHYYZ20,
author = {Gilles Barthe and
Justin Hsu and
Mingsheng Ying and
Nengkun Yu and
Li Zhou},
title = {Relational proofs for quantum programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {21:1--21:29},
year = {2020},
url = {https://doi.org/10.1145/3371089},
doi = {10.1145/3371089},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BartheHYYZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ZhouYYY20,
author = {Li Zhou and
Shenggang Ying and
Nengkun Yu and
Mingsheng Ying},
title = {Strassen's theorem for quantum couplings},
journal = {Theor. Comput. Sci.},
volume = {802},
pages = {67--76},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2019.08.026},
doi = {10.1016/J.TCS.2019.08.026},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ZhouYYY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/LiWYSY20,
author = {Riling Li and
Bujiao Wu and
Mingsheng Ying and
Xiaoming Sun and
Guangwen Yang},
title = {Quantum Supremacy Circuit Simulation on Sunway TaihuLight},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {31},
number = {4},
pages = {805--816},
year = {2020},
url = {https://doi.org/10.1109/TPDS.2019.2947511},
doi = {10.1109/TPDS.2019.2947511},
timestamp = {Wed, 26 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/LiWYSY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-03514,
author = {Qisheng Wang and
Mingsheng Ying},
title = {Quantum Random Access Stored-Program Machines},
journal = {CoRR},
volume = {abs/2003.03514},
year = {2020},
url = {https://arxiv.org/abs/2003.03514},
eprinttype = {arXiv},
eprint = {2003.03514},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-03514.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-06812,
author = {Yuan Feng and
Mingsheng Ying},
title = {Quantum Hoare logic with classical variables},
journal = {CoRR},
volume = {abs/2008.06812},
year = {2020},
url = {https://arxiv.org/abs/2008.06812},
eprinttype = {arXiv},
eprint = {2008.06812},
timestamp = {Fri, 21 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-06812.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-07230,
author = {Ji Guan and
Wang Fang and
Mingsheng Ying},
title = {Robustness Verification of Quantum Machine Learning},
journal = {CoRR},
volume = {abs/2008.07230},
year = {2020},
url = {https://arxiv.org/abs/2008.07230},
eprinttype = {arXiv},
eprint = {2008.07230},
timestamp = {Fri, 28 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-07230.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-02618,
author = {Xin Hong and
Xiangzhen Zhou and
Sanjiang Li and
Yuan Feng and
Mingsheng Ying},
title = {A Tensor Network based Decision Diagram for Representation of Quantum
Circuits},
journal = {CoRR},
volume = {abs/2009.02618},
year = {2020},
url = {https://arxiv.org/abs/2009.02618},
eprinttype = {arXiv},
eprint = {2009.02618},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-02618.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-03032,
author = {Mingsheng Ying and
Zhengfeng Ji},
title = {Symbolic Verification of Quantum Circuits},
journal = {CoRR},
volume = {abs/2010.03032},
year = {2020},
url = {https://arxiv.org/abs/2010.03032},
eprinttype = {arXiv},
eprint = {2010.03032},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-03032.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-09376,
author = {Qisheng Wang and
Mingsheng Ying},
title = {Quantum Algorithm for Lexicographically Minimal String Rotation},
journal = {CoRR},
volume = {abs/2012.09376},
year = {2020},
url = {https://arxiv.org/abs/2012.09376},
eprinttype = {arXiv},
eprint = {2012.09376},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-09376.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-12700,
author = {Jingzhe Guo and
Mingsheng Ying},
title = {Software Pipelining for Quantum Loop Programs},
journal = {CoRR},
volume = {abs/2012.12700},
year = {2020},
url = {https://arxiv.org/abs/2012.12700},
eprinttype = {arXiv},
eprint = {2012.12700},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-12700.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/LiuZWYLLYZ19,
author = {Junyi Liu and
Bohua Zhan and
Shuling Wang and
Shenggang Ying and
Tao Liu and
Yangjia Li and
Mingsheng Ying and
Naijun Zhan},
title = {Quantum Hoare Logic},
journal = {Arch. Formal Proofs},
volume = {2019},
year = {2019},
url = {https://www.isa-afp.org/entries/QHLProver.html},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/LiuZWYLLYZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Ying19,
author = {Mingsheng Ying},
title = {Toward automatic verification of quantum programs},
journal = {Formal Aspects Comput.},
volume = {31},
number = {1},
pages = {3--25},
year = {2019},
url = {https://doi.org/10.1007/s00165-018-0465-3},
doi = {10.1007/S00165-018-0465-3},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Ying19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HungHZYHW19,
author = {Shih{-}Han Hung and
Kesha Hietala and
Shaopeng Zhu and
Mingsheng Ying and
Michael Hicks and
Xiaodi Wu},
title = {Quantitative robustness analysis of quantum programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {31:1--31:29},
year = {2019},
url = {https://doi.org/10.1145/3290344},
doi = {10.1145/3290344},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/HungHZYHW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LiuZWYLLYZ19,
author = {Junyi Liu and
Bohua Zhan and
Shuling Wang and
Shenggang Ying and
Tao Liu and
Yangjia Li and
Mingsheng Ying and
Naijun Zhan},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Formal Verification of Quantum Algorithms Using Quantum Hoare Logic},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11562},
pages = {187--207},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25543-5\_12},
doi = {10.1007/978-3-030-25543-5\_12},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/LiuZWYLLYZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZhouYY19,
author = {Li Zhou and
Nengkun Yu and
Mingsheng Ying},
editor = {Kathryn S. McKinley and
Kathleen Fisher},
title = {An applied quantum Hoare logic},
booktitle = {Proceedings of the 40th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2019, Phoenix, AZ, USA,
June 22-26, 2019},
pages = {1149--1162},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3314221.3314584},
doi = {10.1145/3314221.3314584},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZhouYY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-02173,
author = {Qisheng Wang and
Junyi Liu and
Mingsheng Ying},
title = {Equivalence Checking of Quantum Finite-State Machines},
journal = {CoRR},
volume = {abs/1901.02173},
year = {2019},
url = {http://arxiv.org/abs/1901.02173},
eprinttype = {arXiv},
eprint = {1901.02173},
timestamp = {Thu, 31 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-02173.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-05184,
author = {Gilles Barthe and
Justin Hsu and
Mingsheng Ying and
Nengkun Yu and
Li Zhou},
title = {Coupling Techniques for Reasoning about Quantum Programs},
journal = {CoRR},
volume = {abs/1901.05184},
year = {2019},
url = {http://arxiv.org/abs/1901.05184},
eprinttype = {arXiv},
eprint = {1901.05184},
timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-05184.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-03218,
author = {Ji Guan and
Yuan Feng and
Andrea Turrini and
Mingsheng Ying},
title = {Model Checking Applied to Quantum Physics},
journal = {CoRR},
volume = {abs/1902.03218},
year = {2019},
url = {http://arxiv.org/abs/1902.03218},
eprinttype = {arXiv},
eprint = {1902.03218},
timestamp = {Fri, 28 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-03218.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-12557,
author = {Junyi Liu and
Li Zhou and
Mingsheng Ying},
title = {Expected Runtime of Quantum Programs},
journal = {CoRR},
volume = {abs/1911.12557},
year = {2019},
url = {http://arxiv.org/abs/1911.12557},
eprinttype = {arXiv},
eprint = {1911.12557},
timestamp = {Wed, 08 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-12557.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-12855,
author = {Gushu Li and
Li Zhou and
Nengkun Yu and
Yufei Ding and
Mingsheng Ying and
Yuan Xie},
title = {Poq: Projection-based Runtime Assertions for Debugging on a Quantum
Computer},
journal = {CoRR},
volume = {abs/1911.12855},
year = {2019},
url = {http://arxiv.org/abs/1911.12855},
eprinttype = {arXiv},
eprint = {1911.12855},
timestamp = {Sat, 01 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-12855.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/YingY18,
author = {Shenggang Ying and
Mingsheng Ying},
title = {Reachability analysis of quantum Markov decision processes},
journal = {Inf. Comput.},
volume = {263},
pages = {31--51},
year = {2018},
url = {https://doi.org/10.1016/j.ic.2018.09.001},
doi = {10.1016/J.IC.2018.09.001},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/YingY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/GuanFY18,
author = {Ji Guan and
Yuan Feng and
Mingsheng Ying},
title = {Decomposition of quantum Markov chains and its applications},
journal = {J. Comput. Syst. Sci.},
volume = {95},
pages = {55--68},
year = {2018},
url = {https://doi.org/10.1016/j.jcss.2018.01.005},
doi = {10.1016/J.JCSS.2018.01.005},
timestamp = {Fri, 28 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/GuanFY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LiY18,
author = {Yangjia Li and
Mingsheng Ying},
title = {Algorithmic analysis of termination problems for quantum programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {35:1--35:29},
year = {2018},
url = {https://doi.org/10.1145/3158123},
doi = {10.1145/3158123},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LiY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qic/GuanFY18,
author = {Ji Guan and
Yuan Feng and
Mingsheng Ying},
title = {Super-activating quantum memory with entanglement},
journal = {Quantum Inf. Comput.},
volume = {18},
number = {13{\&}14},
pages = {1115--1124},
year = {2018},
url = {https://doi.org/10.26421/QIC18.13-14-3},
doi = {10.26421/QIC18.13-14-3},
timestamp = {Fri, 28 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qic/GuanFY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/birthday/LiuWZGLHDY17,
author = {Shusen Liu and
Xin Wang and
Li Zhou and
Ji Guan and
Yinan Li and
Yang He and
Runyao Duan and
Mingsheng Ying},
editor = {Cliff B. Jones and
Ji Wang and
Naijun Zhan},
title = {Q{\(\vert\)}SI{\unicode{10217}} : {A} Quantum Programming Environment},
booktitle = {Symposium on Real-Time and Hybrid Systems - Essays Dedicated to Professor
Chaochen Zhou on the Occasion of His 80th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11180},
pages = {133--164},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01461-2\_8},
doi = {10.1007/978-3-030-01461-2\_8},
timestamp = {Tue, 20 Aug 2024 07:54:43 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LiuWZGLHDY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-10393,
author = {Li Zhou and
Shenggang Ying and
Nengkun Yu and
Mingsheng Ying},
title = {Quantum Coupling and Strassen Theorem},
journal = {CoRR},
volume = {abs/1803.10393},
year = {2018},
url = {http://arxiv.org/abs/1803.10393},
eprinttype = {arXiv},
eprint = {1803.10393},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10393.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08982,
author = {Qisheng Wang and
Mingsheng Ying},
title = {Quantum B{\"{u}}chi Automata},
journal = {CoRR},
volume = {abs/1804.08982},
year = {2018},
url = {http://arxiv.org/abs/1804.08982},
eprinttype = {arXiv},
eprint = {1804.08982},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-08982.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-09466,
author = {Mingsheng Ying and
Yuan Feng},
title = {Model Checking Quantum Systems - {A} Survey},
journal = {CoRR},
volume = {abs/1807.09466},
year = {2018},
url = {http://arxiv.org/abs/1807.09466},
eprinttype = {arXiv},
eprint = {1807.09466},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-09466.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-11610,
author = {Mingsheng Ying},
title = {Toward Automatic Verification of Quantum Programs},
journal = {CoRR},
volume = {abs/1807.11610},
year = {2018},
url = {http://arxiv.org/abs/1807.11610},
eprinttype = {arXiv},
eprint = {1807.11610},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-11610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-11334,
author = {Mingsheng Ying and
Yangjia Li},
title = {Reasoning about Parallel Quantum Programs},
journal = {CoRR},
volume = {abs/1810.11334},
year = {2018},
url = {http://arxiv.org/abs/1810.11334},
eprinttype = {arXiv},
eprint = {1810.11334},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-11334.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-03585,
author = {Shih{-}Han Hung and
Kesha Hietala and
Shaopeng Zhu and
Mingsheng Ying and
Michael Hicks and
Xiaodi Wu},
title = {Quantitative Robustness Analysis of Quantum Programs (Extended Version)},
journal = {CoRR},
volume = {abs/1811.03585},
year = {2018},
url = {http://arxiv.org/abs/1811.03585},
eprinttype = {arXiv},
eprint = {1811.03585},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-03585.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/ZhouY17,
author = {Li Zhou and
Mingsheng Ying},
title = {Differential Privacy in Quantum Computation},
booktitle = {30th {IEEE} Computer Security Foundations Symposium, {CSF} 2017, Santa
Barbara, CA, USA, August 21-25, 2017},
pages = {249--262},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/CSF.2017.23},
doi = {10.1109/CSF.2017.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/ZhouY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/YingYW17,
author = {Mingsheng Ying and
Shenggang Ying and
Xiaodi Wu},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Invariants of quantum programs: characterisations and generation},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {818--832},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009840},
doi = {10.1145/3009837.3009840},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/YingYW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YingYF17,
author = {Shenggang Ying and
Mingsheng Ying and
Yuan Feng},
title = {Quantum Privacy-Preserving Data Analytics},
journal = {CoRR},
volume = {abs/1702.04420},
year = {2017},
url = {http://arxiv.org/abs/1702.04420},
eprinttype = {arXiv},
eprint = {1702.04420},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/YingYF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YingYF17aa,
author = {Shenggang Ying and
Mingsheng Ying and
Yuan Feng},
title = {Quantum Privacy-Preserving Perceptron},
journal = {CoRR},
volume = {abs/1707.09893},
year = {2017},
url = {http://arxiv.org/abs/1707.09893},
eprinttype = {arXiv},
eprint = {1707.09893},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/YingYF17aa.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-00700,
author = {Ji Guan and
Yuan Feng and
Mingsheng Ying},
title = {Super-activating Quantum Memory with Entanglement},
journal = {CoRR},
volume = {abs/1708.00700},
year = {2017},
url = {http://arxiv.org/abs/1708.00700},
eprinttype = {arXiv},
eprint = {1708.00700},
timestamp = {Fri, 28 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-00700.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-09500,
author = {Shusen Liu and
Xin Wang and
Li Zhou and
Ji Guan and
Yinan Li and
Yang He and
Runyao Duan and
Mingsheng Ying},
title = {Q{\(\vert\)}SI{\unicode{12297}}: {A} Quantum Programming Environment},
journal = {CoRR},
volume = {abs/1710.09500},
year = {2017},
url = {http://arxiv.org/abs/1710.09500},
eprinttype = {arXiv},
eprint = {1710.09500},
timestamp = {Fri, 28 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-09500.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiuLWYZ16,
author = {Tao Liu and
Yangjia Li and
Shuling Wang and
Mingsheng Ying and
Naijun Zhan},
title = {A Theorem Prover for Quantum Hoare Logic and Its Applications},
journal = {CoRR},
volume = {abs/1601.03835},
year = {2016},
url = {http://arxiv.org/abs/1601.03835},
eprinttype = {arXiv},
eprint = {1601.03835},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiuLWYZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FengY15,
author = {Yuan Feng and
Mingsheng Ying},
editor = {Luca Aceto and
David de Frutos{-}Escrig},
title = {Toward Automatic Verification of Quantum Cryptographic Protocols},
booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015,
Madrid, Spain, September 1.4, 2015},
series = {LIPIcs},
volume = {42},
pages = {441--455},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.441},
doi = {10.4230/LIPICS.CONCUR.2015.441},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/FengY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FengY15,
author = {Yuan Feng and
Mingsheng Ying},
title = {Toward automatic verification of quantum cryptographic protocols},
journal = {CoRR},
volume = {abs/1507.05278},
year = {2015},
url = {http://arxiv.org/abs/1507.05278},
eprinttype = {arXiv},
eprint = {1507.05278},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/FengY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YingYF15,
author = {Shenggang Ying and
Mingsheng Ying and
Yuan Feng},
title = {Quantum Privacy-Preserving Data Mining},
journal = {CoRR},
volume = {abs/1512.04009},
year = {2015},
url = {http://arxiv.org/abs/1512.04009},
eprinttype = {arXiv},
eprint = {1512.04009},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/YingYF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LiYY14,
author = {Yangjia Li and
Nengkun Yu and
Mingsheng Ying},
title = {Termination of nondeterministic quantum programs},
journal = {Acta Informatica},
volume = {51},
number = {1},
pages = {1--24},
year = {2014},
url = {https://doi.org/10.1007/s00236-013-0185-3},
doi = {10.1007/S00236-013-0185-3},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LiYY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/YuDY14,
author = {Nengkun Yu and
Runyao Duan and
Mingsheng Ying},
title = {Distinguishability of Quantum States by Positive Operator-Valued Measures
With Positive Partial Transpose},
journal = {{IEEE} Trans. Inf. Theory},
volume = {60},
number = {4},
pages = {2069--2079},
year = {2014},
url = {https://doi.org/10.1109/TIT.2014.2307575},
doi = {10.1109/TIT.2014.2307575},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/YuDY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/FengDY14,
author = {Yuan Feng and
Yuxin Deng and
Mingsheng Ying},
title = {Symbolic Bisimulation for Quantum Processes},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {2},
pages = {14:1--14:32},
year = {2014},
url = {https://doi.org/10.1145/2579818},
doi = {10.1145/2579818},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/FengDY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/YingLYF14,
author = {Mingsheng Ying and
Yangjia Li and
Nengkun Yu and
Yuan Feng},
title = {Model-Checking Linear-Time Properties of Quantum Systems},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {3},
pages = {22:1--22:31},
year = {2014},
url = {https://doi.org/10.1145/2629680},
doi = {10.1145/2629680},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/YingLYF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LiY14,
author = {Yangjia Li and
Mingsheng Ying},
editor = {Paolo Baldan and
Daniele Gorla},
title = {(Un)decidable Problems about Reachability of Quantum Systems},
booktitle = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference,
{CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8704},
pages = {482--496},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44584-6\_33},
doi = {10.1007/978-3-662-44584-6\_33},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/LiY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiY14,
author = {Yangjia Li and
Mingsheng Ying},
title = {(Un)decidable Problems about Reachability of Quantum Systems},
journal = {CoRR},
volume = {abs/1401.6249},
year = {2014},
url = {http://arxiv.org/abs/1401.6249},
eprinttype = {arXiv},
eprint = {1401.6249},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YingYF14,
author = {Mingsheng Ying and
Nengkun Yu and
Yuan Feng},
title = {Alternation in Quantum Programming: From Superposition of Data to
Superposition of Programs},
journal = {CoRR},
volume = {abs/1402.5172},
year = {2014},
url = {http://arxiv.org/abs/1402.5172},
eprinttype = {arXiv},
eprint = {1402.5172},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/YingYF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiY14a,
author = {Yangjia Li and
Mingsheng Ying},
title = {Debugging Quantum Processes Using Monitoring Measurements},
journal = {CoRR},
volume = {abs/1403.4344},
year = {2014},
url = {http://arxiv.org/abs/1403.4344},
eprinttype = {arXiv},
eprint = {1403.4344},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiY14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Ying14,
author = {Mingsheng Ying},
title = {Quantum Recursion and Second Quantisation: Basic Ideas and Examples},
journal = {CoRR},
volume = {abs/1405.4443},
year = {2014},
url = {http://arxiv.org/abs/1405.4443},
eprinttype = {arXiv},
eprint = {1405.4443},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ying14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YingY14,
author = {Shenggang Ying and
Mingsheng Ying},
title = {Reachability Analysis of Quantum Markov Decision Processes},
journal = {CoRR},
volume = {abs/1406.6146},
year = {2014},
url = {http://arxiv.org/abs/1406.6146},
eprinttype = {arXiv},
eprint = {1406.6146},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/YingY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/CaoXY13,
author = {Yongzhi Cao and
Lirong Xia and
Mingsheng Ying},
title = {Probabilistic automata for computing with words},
journal = {J. Comput. Syst. Sci.},
volume = {79},
number = {1},
pages = {152--172},
year = {2013},
url = {https://doi.org/10.1016/j.jcss.2012.09.002},
doi = {10.1016/J.JCSS.2012.09.002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/CaoXY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FengYY13,
author = {Yuan Feng and
Nengkun Yu and
Mingsheng Ying},
title = {Model checking quantum Markov chains},
journal = {J. Comput. Syst. Sci.},
volume = {79},
number = {7},
pages = {1181--1198},
year = {2013},
url = {https://doi.org/10.1016/j.jcss.2013.04.002},
doi = {10.1016/J.JCSS.2013.04.002},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FengYY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/YingYFD13,
author = {Mingsheng Ying and
Nengkun Yu and
Yuan Feng and
Runyao Duan},
title = {Verification of quantum programs},
journal = {Sci. Comput. Program.},
volume = {78},
number = {9},
pages = {1679--1700},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2013.03.016},
doi = {10.1016/J.SCICO.2013.03.016},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/YingYFD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/YingFYY13,
author = {Shenggang Ying and
Yuan Feng and
Nengkun Yu and
Mingsheng Ying},
editor = {Pedro R. D'Argenio and
Hern{\'{a}}n C. Melgratti},
title = {Reachability Probabilities of Quantum Markov Chains},
booktitle = {{CONCUR} 2013 - Concurrency Theory - 24th International Conference,
{CONCUR} 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8052},
pages = {334--348},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40184-8\_24},
doi = {10.1007/978-3-642-40184-8\_24},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/YingFYY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/YingFY13,
author = {Mingsheng Ying and
Yuan Feng and
Nengkun Yu},
title = {Quantum Information-Flow Security: Noninterference and Access Control},
booktitle = {2013 {IEEE} 26th Computer Security Foundations Symposium, New Orleans,
LA, USA, June 26-28, 2013},
pages = {130--144},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CSF.2013.16},
doi = {10.1109/CSF.2013.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/YingFY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FengYY13,
author = {Yuan Feng and
Nengkun Yu and
Mingsheng Ying},
editor = {Krishnendu Chatterjee and
Jir{\'{\i}} Sgall},
title = {Reachability Analysis of Recursive Quantum Markov Chains},
booktitle = {Mathematical Foundations of Computer Science 2013 - 38th International
Symposium, {MFCS} 2013, Klosterneuburg, Austria, August 26-30, 2013.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8087},
pages = {385--396},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40313-2\_35},
doi = {10.1007/978-3-642-40313-2\_35},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/FengYY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-6804,
author = {Mingsheng Ying and
Yuan Feng and
Nengkun Yu},
title = {Quantum Information-Flow Security: Noninterference and Access Control},
journal = {CoRR},
volume = {abs/1301.6804},
year = {2013},
url = {http://arxiv.org/abs/1301.6804},
eprinttype = {arXiv},
eprint = {1301.6804},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-6804.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ZhouY12,
author = {Chunlai Zhou and
Mingsheng Ying},
title = {Approximating Markov processes through filtration},
journal = {Theor. Comput. Sci.},
volume = {446},
pages = {75--97},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.03.026},
doi = {10.1016/J.TCS.2012.03.026},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ZhouY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/FengDY12,
author = {Yuan Feng and
Runyao Duan and
Mingsheng Ying},
title = {Bisimulation for Quantum Processes},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {34},
number = {4},
pages = {17:1--17:43},
year = {2012},
url = {https://doi.org/10.1145/2400676.2400680},
doi = {10.1145/2400676.2400680},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/FengDY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/YuY12,
author = {Nengkun Yu and
Mingsheng Ying},
editor = {Maciej Koutny and
Irek Ulidowski},
title = {Reachability and Termination Analysis of Concurrent Quantum Programs},
booktitle = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference,
{CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7454},
pages = {69--83},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32940-1\_7},
doi = {10.1007/978-3-642-32940-1\_7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/YuY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/SuYZ12,
author = {Guoxin Su and
Mingsheng Ying and
Chengqi Zhang},
title = {Semantic Analysis of Component-aspect Dynamism for Connector-based
Architecture Styles},
booktitle = {2012 Joint Working {IEEE/IFIP} Conference on Software Architecture
and European Conference on Software Architecture, {WICSA/ECSA} 2012,
Helsinki, Finland, August 20-24, 2012},
pages = {151--160},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/WICSA-ECSA.212.23},
doi = {10.1109/WICSA-ECSA.212.23},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/wicsa/SuYZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-0891,
author = {Yangjia Li and
Nengkun Yu and
Mingsheng Ying},
title = {Termination of Nondeterministic Quantum Programs},
journal = {CoRR},
volume = {abs/1201.0891},
year = {2012},
url = {http://arxiv.org/abs/1201.0891},
eprinttype = {arXiv},
eprint = {1201.0891},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1201-0891.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-3484,
author = {Yuan Feng and
Yuxin Deng and
Mingsheng Ying},
title = {Symbolic bisimulation for quantum processes},
journal = {CoRR},
volume = {abs/1202.3484},
year = {2012},
url = {http://arxiv.org/abs/1202.3484},
eprinttype = {arXiv},
eprint = {1202.3484},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-3484.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-2187,
author = {Yuan Feng and
Nengkun Yu and
Mingsheng Ying},
title = {Model checking quantum Markov chains},
journal = {CoRR},
volume = {abs/1205.2187},
year = {2012},
url = {http://arxiv.org/abs/1205.2187},
eprinttype = {arXiv},
eprint = {1205.2187},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-2187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-1935,
author = {Nengkun Yu and
Mingsheng Ying},
title = {Reachability and Termination Analysis of Concurrent Quantum Programs},
journal = {CoRR},
volume = {abs/1206.1935},
year = {2012},
url = {http://arxiv.org/abs/1206.1935},
eprinttype = {arXiv},
eprint = {1206.1935},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-1935.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-4379,
author = {Mingsheng Ying and
Nengkun Yu and
Yuan Feng},
title = {Defining Quantum Control Flow},
journal = {CoRR},
volume = {abs/1209.4379},
year = {2012},
url = {http://arxiv.org/abs/1209.4379},
eprinttype = {arXiv},
eprint = {1209.4379},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-4379.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-2125,
author = {Guoxin Su and
Mingsheng Ying and
Chengqi Zhang},
title = {Session Communication and Integration},
journal = {CoRR},
volume = {abs/1210.2125},
year = {2012},
url = {http://arxiv.org/abs/1210.2125},
eprinttype = {arXiv},
eprint = {1210.2125},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2125.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Ying11,
author = {Mingsheng Ying},
title = {Floyd-hoare logic for quantum programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {33},
number = {6},
pages = {19:1--19:49},
year = {2011},
url = {https://doi.org/10.1145/2049706.2049708},
doi = {10.1145/2049706.2049708},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Ying11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YingF11,
author = {Mingsheng Ying and
Yuan Feng},
title = {A Flowchart Language for Quantum Programming},
journal = {{IEEE} Trans. Software Eng.},
volume = {37},
number = {4},
pages = {466--485},
year = {2011},
url = {https://doi.org/10.1109/TSE.2010.94},
doi = {10.1109/TSE.2010.94},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/YingF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangZYZ11,
author = {Heng Zhang and
Yan Zhang and
Mingsheng Ying and
Yi Zhou},
editor = {Toby Walsh},
title = {Translating First-Order Theories into Logic Programs},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1126--1131},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-192},
doi = {10.5591/978-1-57735-516-8/IJCAI11-192},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ZhangZYZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FengDY11,
author = {Yuan Feng and
Runyao Duan and
Mingsheng Ying},
editor = {Thomas Ball and
Mooly Sagiv},
title = {Bisimulation for quantum processes},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2011, Austin, TX, USA, January 26-28,
2011},
pages = {523--534},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926385.1926446},
doi = {10.1145/1926385.1926446},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/popl/FengDY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-4063,
author = {Mingsheng Ying and
Nengkun Yu and
Yuan Feng and
Runyao Duan},
title = {Verification of Quantum Programs},
journal = {CoRR},
volume = {abs/1106.4063},
year = {2011},
url = {http://arxiv.org/abs/1106.4063},
eprinttype = {arXiv},
eprint = {1106.4063},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/YingF10,
author = {Mingsheng Ying and
Yuan Feng},
title = {Quantum loop programs},
journal = {Acta Informatica},
volume = {47},
number = {4},
pages = {221--250},
year = {2010},
url = {https://doi.org/10.1007/s00236-010-0117-4},
doi = {10.1007/S00236-010-0117-4},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/YingF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Ying10,
author = {Mingsheng Ying},
title = {Quantum computation, quantum theory and {AI}},
journal = {Artif. Intell.},
volume = {174},
number = {2},
pages = {162--176},
year = {2010},
url = {https://doi.org/10.1016/j.artint.2009.11.009},
doi = {10.1016/J.ARTINT.2009.11.009},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Ying10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LiuZLY10,
author = {Weiming Liu and
Xiaotong Zhang and
Sanjiang Li and
Mingsheng Ying},
title = {Reasoning about cardinal directions between extended objects},
journal = {Artif. Intell.},
volume = {174},
number = {12-13},
pages = {951--983},
year = {2010},
url = {https://doi.org/10.1016/j.artint.2010.05.006},
doi = {10.1016/J.ARTINT.2010.05.006},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LiuZLY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qic/JiCWY10,
author = {Zheng{-}Feng Ji and
Jianxin Chen and
Zhaohui Wei and
Mingsheng Ying},
title = {The {LU-LC} conjecture is false},
journal = {Quantum Inf. Comput.},
volume = {10},
number = {1{\&}2},
pages = {97--108},
year = {2010},
url = {https://doi.org/10.26421/QIC10.1-2-8},
doi = {10.26421/QIC10.1-2-8},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qic/JiCWY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qic/ChenY10,
author = {Jianxin Chen and
Mingsheng Ying},
title = {Ancilla-assisted discrimination of quantum gates},
journal = {Quantum Inf. Comput.},
volume = {10},
number = {1{\&}2},
pages = {160--177},
year = {2010},
url = {https://doi.org/10.26421/QIC10.1-2-12},
doi = {10.26421/QIC10.1-2-12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/qic/ChenY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhangY10,
author = {Heng Zhang and
Mingsheng Ying},
editor = {Maria Fox and
David Poole},
title = {Decidable Fragments of First-Order Language Under Stable Model Semantics
and Circumscription},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {375--380},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7590},
doi = {10.1609/AAAI.V24I1.7590},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhangY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Ying10,
author = {Mingsheng Ying},
editor = {Kazunori Ueda},
title = {Foundations of Quantum Programming (Extended Abstract)},
booktitle = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010,
Shanghai, China, November 28 - December 1, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6461},
pages = {16--20},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17164-2\_2},
doi = {10.1007/978-3-642-17164-2\_2},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Ying10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/SuYZ10,
author = {Guoxin Su and
Mingsheng Ying and
Chengqi Zhang},
editor = {Muhammad Ali Babar and
Ian Gorton},
title = {An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural
Connection},
booktitle = {Software Architecture, 4th European Conference, {ECSA} 2010, Copenhagen,
Denmark, August 23-26, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6285},
pages = {8--23},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15114-9\_4},
doi = {10.1007/978-3-642-15114-9\_4},
timestamp = {Fri, 14 Apr 2023 23:05:45 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/SuYZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-2584,
author = {Yuan Feng and
Runyao Duan and
Mingsheng Ying},
title = {Bisimulation for quantum processes},
journal = {CoRR},
volume = {abs/1007.2584},
year = {2010},
url = {http://arxiv.org/abs/1007.2584},
eprinttype = {arXiv},
eprint = {1007.2584},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-2584.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/ChenYL09,
author = {Guoqing Chen and
Mingsheng Ying and
Yingming Liu},
title = {Dealing with uncertainty and fuzziness in intelligent systems},
journal = {Int. J. Intell. Syst.},
volume = {24},
number = {3},
pages = {223--225},
year = {2009},
url = {https://doi.org/10.1002/int.20333},
doi = {10.1002/INT.20333},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/ChenYL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qic/FengDY11,
author = {Yuan Feng and
Runyao Duan and
Mingsheng Ying},
title = {Locally undetermined states, generalized schmidt decomposition, and
application in deistributed comuting},
journal = {Quantum Inf. Comput.},
volume = {9},
number = {11{\&}12},
pages = {997--1012},
year = {2009},
url = {https://doi.org/10.26421/QIC9.11-12-5},
doi = {10.26421/QIC9.11-12-5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/qic/FengDY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/YingF09,
author = {Mingsheng Ying and
Yuan Feng},
title = {An Algebraic Language for Distributed Quantum Computing},
journal = {{IEEE} Trans. Computers},
volume = {58},
number = {6},
pages = {728--743},
year = {2009},
url = {https://doi.org/10.1109/TC.2009.13},
doi = {10.1109/TC.2009.13},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/YingF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/DuanFXY09,
author = {Runyao Duan and
Yuan Feng and
Yu Xin and
Mingsheng Ying},
title = {Distinguishability of Quantum States by Separable Operations},
journal = {{IEEE} Trans. Inf. Theory},
volume = {55},
number = {3},
pages = {1320--1330},
year = {2009},
url = {https://doi.org/10.1109/TIT.2008.2011524},
doi = {10.1109/TIT.2008.2011524},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/DuanFXY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/YingFDJ09,
author = {Mingsheng Ying and
Yuan Feng and
Runyao Duan and
Zheng{-}Feng Ji},
title = {An algebra of quantum processes},
journal = {{ACM} Trans. Comput. Log.},
volume = {10},
number = {3},
pages = {19:1--19:36},
year = {2009},
url = {https://doi.org/10.1145/1507244.1507249},
doi = {10.1145/1507244.1507249},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/YingFDJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0909-0138,
author = {Xiaotong Zhang and
Weiming Liu and
Sanjiang Li and
Mingsheng Ying},
title = {Reasoning about Cardinal Directions between Extended Objects},
journal = {CoRR},
volume = {abs/0909.0138},
year = {2009},
url = {http://arxiv.org/abs/0909.0138},
eprinttype = {arXiv},
eprint = {0909.0138},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0909-0138.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LiY08,
author = {Sanjiang Li and
Mingsheng Ying},
title = {Soft constraint abstraction based on semiring homomorphism},
journal = {Theor. Comput. Sci.},
volume = {403},
number = {2-3},
pages = {192--201},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.029},
doi = {10.1016/J.TCS.2008.03.029},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LiY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/JiWDFY08,
author = {Zheng{-}Feng Ji and
Guoming Wang and
Runyao Duan and
Yuan Feng and
Mingsheng Ying},
title = {Parameter Estimation of Quantum Channels},
journal = {{IEEE} Trans. Inf. Theory},
volume = {54},
number = {11},
pages = {5172--5185},
year = {2008},
url = {https://doi.org/10.1109/TIT.2008.929940},
doi = {10.1109/TIT.2008.929940},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/JiWDFY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhangLLY08,
author = {Xiaotong Zhang and
Weiming Liu and
Sanjiang Li and
Mingsheng Ying},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Reasoning with Cardinal Directions: An Efficient Algorithm},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {387--392},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-061.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhangLLY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/LiuYC07,
author = {Yingming Liu and
Mingsheng Ying and
Guoqing Chen},
title = {On fundamentals of fuzzy logic and soft computing and some applications},
journal = {Fuzzy Sets Syst.},
volume = {158},
number = {9},
pages = {927--928},
year = {2007},
url = {https://doi.org/10.1016/j.fss.2006.12.001},
doi = {10.1016/J.FSS.2006.12.001},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/LiuYC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FengDJY07,
author = {Yuan Feng and
Runyao Duan and
Zheng{-}Feng Ji and
Mingsheng Ying},
title = {Probabilistic bisimulations for quantum processes},
journal = {Inf. Comput.},
volume = {205},
number = {11},
pages = {1608--1639},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2007.08.001},
doi = {10.1016/J.IC.2007.08.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FengDJY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/YingCFD07,
author = {Mingsheng Ying and
Jianxin Chen and
Yuan Feng and
Runyao Duan},
title = {Commutativity of quantum weakest preconditions},
journal = {Inf. Process. Lett.},
volume = {104},
number = {4},
pages = {152--158},
year = {2007},
url = {https://doi.org/10.1016/j.ipl.2007.06.003},
doi = {10.1016/J.IPL.2007.06.003},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/YingCFD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FengDJY07,
author = {Yuan Feng and
Runyao Duan and
Zheng{-}Feng Ji and
Mingsheng Ying},
title = {Proof rules for the correctness of quantum programs},
journal = {Theor. Comput. Sci.},
volume = {386},
number = {1-2},
pages = {151--166},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.06.011},
doi = {10.1016/J.TCS.2007.06.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FengDJY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/CaoYC07,
author = {Yongzhi Cao and
Mingsheng Ying and
Guoqing Chen},
title = {Retraction and Generalized Extension of Computing With Words},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {15},
number = {6},
pages = {1238--1250},
year = {2007},
url = {https://doi.org/10.1109/TFUZZ.2007.896301},
doi = {10.1109/TFUZZ.2007.896301},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/CaoYC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/CaoYC07,
author = {Yongzhi Cao and
Mingsheng Ying and
Guoqing Chen},
title = {State-Based Control of Fuzzy Discrete-Event Systems},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
volume = {37},
number = {2},
pages = {410--424},
year = {2007},
url = {https://doi.org/10.1109/TSMCB.2006.883429},
doi = {10.1109/TSMCB.2006.883429},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/CaoYC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/XiaLY07,
author = {Lirong Xia and
J{\'{e}}r{\^{o}}me Lang and
Mingsheng Ying},
title = {Strongly Decomposable Voting Rules on Multiattribute Domains},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {776--781},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-123.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/XiaLY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/XiaLY07,
author = {Lirong Xia and
J{\'{e}}r{\^{o}}me Lang and
Mingsheng Ying},
editor = {Dov Samet},
title = {Sequential voting rules and multiple elections paradoxes},
booktitle = {Proceedings of the 11th Conference on Theoretical Aspects of Rationality
and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007},
pages = {279--288},
year = {2007},
url = {https://doi.org/10.1145/1324249.1324286},
doi = {10.1145/1324249.1324286},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tark/XiaLY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0705-0734,
author = {Sanjiang Li and
Mingsheng Ying},
title = {Soft constraint abstraction based on semiring homomorphism},
journal = {CoRR},
volume = {abs/0705.0734},
year = {2007},
url = {http://arxiv.org/abs/0705.0734},
eprinttype = {arXiv},
eprint = {0705.0734},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0705-0734.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Ying06,
author = {Mingsheng Ying},
title = {Linguistic quantifiers modeled by Sugeno integrals},
journal = {Artif. Intell.},
volume = {170},
number = {6-7},
pages = {581--606},
year = {2006},
url = {https://doi.org/10.1016/j.artint.2006.02.001},
doi = {10.1016/J.ARTINT.2006.02.001},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Ying06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/DuanJFY06,
author = {Runyao Duan and
Zheng{-}Feng Ji and
Yuan Feng and
Mingsheng Ying},
title = {Some Issues in Quantum Information Theory},
journal = {J. Comput. Sci. Technol.},
volume = {21},
number = {5},
pages = {776--789},
year = {2006},
url = {https://doi.org/10.1007/s11390-006-0776-3},
doi = {10.1007/S11390-006-0776-3},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcst/DuanJFY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/CaoY06,
author = {Yongzhi Cao and
Mingsheng Ying},
title = {Similarity-based supervisory control of discrete-event systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {51},
number = {2},
pages = {325--330},
year = {2006},
url = {https://doi.org/10.1109/TAC.2005.863515},
doi = {10.1109/TAC.2005.863515},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/CaoY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/CaoY06,
author = {Yongzhi Cao and
Mingsheng Ying},
title = {Observability and Decentralized Control of Fuzzy Discrete-Event Systems},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {14},
number = {2},
pages = {202--216},
year = {2006},
url = {https://doi.org/10.1109/TFUZZ.2005.864085},
doi = {10.1109/TFUZZ.2005.864085},
timestamp = {Thu, 30 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/CaoY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/DuanFY06,
author = {Runyao Duan and
Yuan Feng and
Mingsheng Ying},
title = {Partial Recovery of Quantum Entanglement},
journal = {{IEEE} Trans. Inf. Theory},
volume = {52},
number = {7},
pages = {3080--3104},
year = {2006},
url = {https://doi.org/10.1109/TIT.2006.876228},
doi = {10.1109/TIT.2006.876228},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/DuanFY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0601014,
author = {Yuan Feng and
Runyao Duan and
Zheng{-}Feng Ji and
Mingsheng Ying},
title = {Probabilistic bisimilarities between quantum processes},
journal = {CoRR},
volume = {abs/cs/0601014},
year = {2006},
url = {http://arxiv.org/abs/cs/0601014},
eprinttype = {arXiv},
eprint = {cs/0601014},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0601014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0604070,
author = {Yongzhi Cao and
Mingsheng Ying and
Guoqing Chen},
title = {Retraction and Generalized Extension of Computing with Words},
journal = {CoRR},
volume = {abs/cs/0604070},
year = {2006},
url = {http://arxiv.org/abs/cs/0604070},
eprinttype = {arXiv},
eprint = {cs/0604070},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0604070.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0604087,
author = {Yongzhi Cao and
Lirong Xia and
Mingsheng Ying},
title = {Probabilistic Automata for Computing with Words},
journal = {CoRR},
volume = {abs/cs/0604087},
year = {2006},
url = {http://arxiv.org/abs/cs/0604087},
eprinttype = {arXiv},
eprint = {cs/0604087},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0604087.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Ying05,
author = {Mingsheng Ying},
title = {pi-calculus with noisy channels},
journal = {Acta Informatica},
volume = {41},
number = {9},
pages = {525--593},
year = {2005},
url = {https://doi.org/10.1007/s00236-005-0168-0},
doi = {10.1007/S00236-005-0168-0},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Ying05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Ying05,
author = {Mingsheng Ying},
title = {Knowledge transformation and fusion in diagnostic systems},
journal = {Artif. Intell.},
volume = {163},
number = {1},
pages = {1--45},
year = {2005},
url = {https://doi.org/10.1016/j.artint.2004.10.008},
doi = {10.1016/J.ARTINT.2004.10.008},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Ying05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LiYL05,
author = {Sanjiang Li and
Mingsheng Ying and
Yongming Li},
title = {On countable {RCC} models},
journal = {Fundam. Informaticae},
volume = {65},
number = {4},
pages = {329--351},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi65-4-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LiYL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ying05,
author = {Mingsheng Ying},
title = {A theory of computation based on quantum logic {(I)}},
journal = {Theor. Comput. Sci.},
volume = {344},
number = {2-3},
pages = {134--207},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.04.001},
doi = {10.1016/J.TCS.2005.04.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ying05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/SunDY05,
author = {Xiaoming Sun and
Runyao Duan and
Mingsheng Ying},
title = {The existence of quantum entanglement catalysts},
journal = {{IEEE} Trans. Inf. Theory},
volume = {51},
number = {1},
pages = {75--80},
year = {2005},
url = {https://doi.org/10.1109/TIT.2004.839477},
doi = {10.1109/TIT.2004.839477},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tit/SunDY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tit/FengDY05,
author = {Yuan Feng and
Runyao Duan and
Mingsheng Ying},
title = {Catalyst-assisted probabilistic entanglement transformation},
journal = {{IEEE} Trans. Inf. Theory},
volume = {51},
number = {3},
pages = {1090--1101},
year = {2005},
url = {https://doi.org/10.1109/TIT.2004.842574},
doi = {10.1109/TIT.2004.842574},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tit/FengDY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/CaoY05,
author = {Yongzhi Cao and
Mingsheng Ying},
title = {Supervisory control of fuzzy discrete event systems},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
volume = {35},
number = {2},
pages = {366--371},
year = {2005},
url = {https://doi.org/10.1109/TSMCB.2004.842252},
doi = {10.1109/TSMCB.2004.842252},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/CaoY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grc/Ying05,
author = {Mingsheng Ying},
editor = {Xiaohua Hu and
Qing Liu and
Andrzej Skowron and
Tsau Young Lin and
Ronald R. Yager and
Bo Zhang},
title = {A theory of computation based on quantum logic {(I)}},
booktitle = {2005 {IEEE} International Conference on Granular Computing, Beijing,
China, July 25-27, 2005},
pages = {91},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/GRC.2005.1547240},
doi = {10.1109/GRC.2005.1547240},
timestamp = {Fri, 09 Apr 2021 17:11:12 +0200},
biburl = {https://dblp.org/rec/conf/grc/Ying05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0505041,
author = {Yongming Li and
Sanjiang Li and
Mingsheng Ying},
title = {Relational reasoning in the region connection calculus},
journal = {CoRR},
volume = {abs/cs/0505041},
year = {2005},
url = {http://arxiv.org/abs/cs/0505041},
eprinttype = {arXiv},
eprint = {cs/0505041},
timestamp = {Wed, 29 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0505041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507043,
author = {Yuan Feng and
Runyao Duan and
Zheng{-}Feng Ji and
Mingsheng Ying},
title = {Proof rules for purely quantum programs},
journal = {CoRR},
volume = {abs/cs/0507043},
year = {2005},
url = {http://arxiv.org/abs/cs/0507043},
eprinttype = {arXiv},
eprint = {cs/0507043},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0507043.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0509099,
author = {Yongzhi Cao and
Mingsheng Ying and
Guoqing Chen},
title = {State-Based Control of Fuzzy Discrete Event Systems},
journal = {CoRR},
volume = {abs/cs/0509099},
year = {2005},
url = {http://arxiv.org/abs/cs/0509099},
eprinttype = {arXiv},
eprint = {cs/0509099},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0509099.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LiY04,
author = {Sanjiang Li and
Mingsheng Ying},
title = {Generalized Region Connection Calculus},
journal = {Artif. Intell.},
volume = {160},
number = {1-2},
pages = {1--34},
year = {2004},
url = {https://doi.org/10.1016/j.artint.2004.05.012},
doi = {10.1016/J.ARTINT.2004.05.012},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LiY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/FengY04,
author = {Yuan Feng and
Mingsheng Ying},
title = {Process Algebra Approach to Reasoning About Concurrent Actions},
journal = {J. Comput. Sci. Technol.},
volume = {19},
number = {3},
pages = {364--373},
year = {2004},
url = {https://doi.org/10.1007/BF02944906},
doi = {10.1007/BF02944906},
timestamp = {Sun, 22 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcst/FengY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/QiuY04,
author = {Daowen Qiu and
Mingsheng Ying},
title = {Characterizations of quantum automata},
journal = {Theor. Comput. Sci.},
volume = {312},
number = {2-3},
pages = {479--489},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.08.007},
doi = {10.1016/J.TCS.2003.08.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/QiuY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DM-0405040,
author = {Yongzhi Cao and
Mingsheng Ying},
title = {Supervisory Control of Fuzzy Discrete Event Systems},
journal = {CoRR},
volume = {cs.DM/0405040},
year = {2004},
url = {http://arxiv.org/abs/cs/0405040},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DM-0405040.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DM-0405068,
author = {Yongzhi Cao and
Mingsheng Ying},
title = {Observability and Decentralized Control of Fuzzy Discrete Event Systems},
journal = {CoRR},
volume = {cs.DM/0405068},
year = {2004},
url = {http://arxiv.org/abs/cs/0405068},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DM-0405068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DM-0410031,
author = {Yongzhi Cao and
Mingsheng Ying},
title = {Similarity-Based Supervisory Control of Discrete Event Systems},
journal = {CoRR},
volume = {cs.DM/0410031},
year = {2004},
url = {http://arxiv.org/abs/cs.DM/0410031},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-DM-0410031.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0403041,
author = {Mingsheng Ying},
title = {A Theory of Computation Based on Quantum Logic {(I)}},
journal = {CoRR},
volume = {cs.LO/0403041},
year = {2004},
url = {http://arxiv.org/abs/cs/0403041},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0403041.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Ying03,
author = {Mingsheng Ying},
title = {Reasoning about probabilistic sequential programs in a probabilistic
logic},
journal = {Acta Informatica},
volume = {39},
number = {5},
pages = {315--389},
year = {2003},
url = {https://doi.org/10.1007/s00236-003-0113-z},
doi = {10.1007/S00236-003-0113-Z},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Ying03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LiY03,
author = {Sanjiang Li and
Mingsheng Ying},
title = {Region Connection Calculus: Its models and composition table},
journal = {Artif. Intell.},
volume = {145},
number = {1-2},
pages = {121--146},
year = {2003},
url = {https://doi.org/10.1016/S0004-3702(02)00372-7},
doi = {10.1016/S0004-3702(02)00372-7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LiY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LiY03,
author = {Sanjiang Li and
Mingsheng Ying},
title = {Extensionality of the {RCC8} Composition Table},
journal = {Fundam. Informaticae},
volume = {55},
number = {3-4},
pages = {363--385},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-3-4-07},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/LiY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/YingW02,
author = {Mingsheng Ying and
Huaiqing Wang},
title = {Lattice-theoretic models of conjectures, hypotheses and consequences},
journal = {Artif. Intell.},
volume = {139},
number = {2},
pages = {253--267},
year = {2002},
url = {https://doi.org/10.1016/S0004-3702(02)00225-4},
doi = {10.1016/S0004-3702(02)00225-4},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/YingW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ying02,
author = {Mingsheng Ying},
title = {Bisimulation indexes and their applications},
journal = {Theor. Comput. Sci.},
volume = {275},
number = {1-2},
pages = {1--68},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00124-4},
doi = {10.1016/S0304-3975(01)00124-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ying02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ying02a,
author = {Mingsheng Ying},
title = {Additive models of probabilistic processes},
journal = {Theor. Comput. Sci.},
volume = {275},
number = {1-2},
pages = {481--519},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00294-8},
doi = {10.1016/S0304-3975(01)00294-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ying02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/Ying02,
author = {Mingsheng Ying},
title = {Implication operators in fuzzy logic},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {10},
number = {1},
pages = {88--91},
year = {2002},
url = {https://doi.org/10.1109/91.983282},
doi = {10.1109/91.983282},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/Ying02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/Ying02a,
author = {Mingsheng Ying},
title = {A formal model of computing with words},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {10},
number = {5},
pages = {640--652},
year = {2002},
url = {https://doi.org/10.1109/TFUZZ.2002.803497},
doi = {10.1109/TFUZZ.2002.803497},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/Ying02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0007472,
author = {Mingsheng Ying},
title = {Topology in process calculus - approximate correctness and infinite
evolution of concurrent programs},
publisher = {Springer},
year = {2001},
url = {http://www.springer.com/computer/swe/book/978-0-387-95092-1},
isbn = {978-0-387-95092-1},
timestamp = {Fri, 15 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0007472.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/YingW01,
author = {Mingsheng Ying and
Martin Wirsing},
title = {Recursive equations in higher-order process calculi},
journal = {Theor. Comput. Sci.},
volume = {266},
number = {1-2},
pages = {839--852},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00378-9},
doi = {10.1016/S0304-3975(00)00378-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/YingW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/BiacinoGY00,
author = {Loredana Biacino and
Giangiacomo Gerla and
Mingsheng Ying},
title = {Approximate Reasoning Based on Similarity},
journal = {Math. Log. Q.},
volume = {46},
number = {1},
pages = {77--86},
year = {2000},
url = {https://doi.org/10.1002/(SICI)1521-3870(200001)46:1\&\#60;77::AID-MALQ77\&\#62;3.0.CO;2-X},
doi = {10.1002/(SICI)1521-3870(200001)46:1\&\#60;77::AID-MALQ77\&\#62;3.0.CO;2-X},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/BiacinoGY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ying00,
author = {Mingsheng Ying},
title = {Weak confluence and tau-inertness},
journal = {Theor. Comput. Sci.},
volume = {238},
number = {1-2},
pages = {465--475},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(99)00084-5},
doi = {10.1016/S0304-3975(99)00084-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ying00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/YingW00,
author = {Mingsheng Ying and
Martin Wirsing},
editor = {Teodor Rus},
title = {Approximate Bisimilarity},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference,
{AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1816},
pages = {309--322},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45499-3\_23},
doi = {10.1007/3-540-45499-3\_23},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/YingW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/Ying99,
author = {Mingsheng Ying},
title = {Phase semantics for a pure noncommutative linear propositional logic},
journal = {J. Comput. Sci. Technol.},
volume = {14},
number = {2},
pages = {135--139},
year = {1999},
url = {https://doi.org/10.1007/BF02946519},
doi = {10.1007/BF02946519},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/Ying99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/Ying99a,
author = {Mingsheng Ying},
title = {Topology in process calculus {(I):} Limit behaviour of agents},
journal = {J. Comput. Sci. Technol.},
volume = {14},
number = {4},
pages = {328--336},
year = {1999},
url = {https://doi.org/10.1007/BF02948735},
doi = {10.1007/BF02948735},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/Ying99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ying99,
author = {Mingsheng Ying},
title = {A Shorter Proof to Uniqueness of Solutions of Equations},
journal = {Theor. Comput. Sci.},
volume = {216},
number = {1-2},
pages = {395--397},
year = {1999},
url = {https://doi.org/10.1016/S0304-3975(98)00187-X},
doi = {10.1016/S0304-3975(98)00187-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ying99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tfs/Ying99,
author = {Mingsheng Ying},
title = {Perturbation of fuzzy reasoning},
journal = {{IEEE} Trans. Fuzzy Syst.},
volume = {7},
number = {5},
pages = {625--629},
year = {1999},
url = {https://doi.org/10.1109/91.797985},
doi = {10.1109/91.797985},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tfs/Ying99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/YingB98,
author = {Mingsheng Ying and
Bernadette Bouchon{-}Meunier},
title = {Approximate reasoning with linguistic modifiers},
journal = {Int. J. Intell. Syst.},
volume = {13},
number = {5},
pages = {403--418},
year = {1998},
url = {https://doi.org/10.1002/(SICI)1098-111X(199805)13:5\&\#60;403::AID-INT2\&\#62;3.0.CO;2-Q},
doi = {10.1002/(SICI)1098-111X(199805)13:5\&\#60;403::AID-INT2\&\#62;3.0.CO;2-Q},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/YingB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/YingB97,
author = {Mingsheng Ying and
Bernadette Bouchon{-}Meunier},
title = {Quantifiers, modifiers and qualifiers in fuzzy logic},
journal = {J. Appl. Non Class. Logics},
volume = {7},
number = {3},
pages = {335--342},
year = {1997},
url = {https://doi.org/10.1080/11663081.1997.10510918},
doi = {10.1080/11663081.1997.10510918},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/YingB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ying96,
author = {Mingsheng Ying},
title = {When is the Ideal Completion of Abstract Basis Algebraic},
journal = {Theor. Comput. Sci.},
volume = {159},
number = {2},
pages = {355--356},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00183-2},
doi = {10.1016/0304-3975(95)00183-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ying96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/Ying95,
author = {Mingsheng Ying},
title = {Putting consistent theories together in institutions},
journal = {J. Comput. Sci. Technol.},
volume = {10},
number = {3},
pages = {260--266},
year = {1995},
url = {https://doi.org/10.1007/BF02943493},
doi = {10.1007/BF02943493},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/Ying95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/Ying95a,
author = {Mingsheng Ying},
title = {Institutions of variable truth values: An approach in the ordered
style},
journal = {J. Comput. Sci. Technol.},
volume = {10},
number = {3},
pages = {267--273},
year = {1995},
url = {https://doi.org/10.1007/BF02943494},
doi = {10.1007/BF02943494},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/Ying95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ying94,
author = {Mingsheng Ying},
title = {A Logic for Approximate Reasoning},
journal = {J. Symb. Log.},
volume = {59},
number = {3},
pages = {830--837},
year = {1994},
url = {https://doi.org/10.2307/2275910},
doi = {10.2307/2275910},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ying94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ying92,
author = {Mingsheng Ying},
title = {The Fundamental Theorem of Ultraproduct in Pavelka's Logic},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {197--201},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380115},
doi = {10.1002/MALQ.19920380115},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ying92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ying92a,
author = {Mingsheng Ying},
title = {Compactness, the L{\"{o}}Wenheim-Skolem Property and the Direct
Product of Lattices of Truth Values},
journal = {Math. Log. Q.},
volume = {38},
number = {1},
pages = {521--524},
year = {1992},
url = {https://doi.org/10.1002/malq.19920380147},
doi = {10.1002/MALQ.19920380147},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ying92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Ying91,
author = {Mingsheng Ying},
title = {Deduction Theorem for Many-Valued Inference},
journal = {Math. Log. Q.},
volume = {37},
number = {33-35},
pages = {533--537},
year = {1991},
url = {https://doi.org/10.1002/malq.19910373304},
doi = {10.1002/MALQ.19910373304},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Ying91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/Ying87,
author = {Mingsheng Ying},
title = {Fuzzy semilattices},
journal = {Inf. Sci.},
volume = {43},
number = {3},
pages = {155--159},
year = {1987},
url = {https://doi.org/10.1016/0020-0255(87)90035-1},
doi = {10.1016/0020-0255(87)90035-1},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/Ying87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-09-21 02:34 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:
