BibTeX records: Shenggang Ying

download as .bib file

@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/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/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}
}

@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}
}

@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/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}
}

@inproceedings{DBLP:conf/concur/FengHTY17,
  author       = {Yuan Feng and
                  Ernst Moritz Hahn and
                  Andrea Turrini and
                  Shenggang Ying},
  editor       = {Roland Meyer and
                  Uwe Nestmann},
  title        = {Model Checking Omega-regular Properties for Quantum Markov Chains},
  booktitle    = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
                  September 5-8, 2017, Berlin, Germany},
  series       = {LIPIcs},
  volume       = {85},
  pages        = {35:1--35:16},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.35},
  doi          = {10.4230/LIPICS.CONCUR.2017.35},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/FengHTY17.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/iandc/AbramskyCY16,
  author       = {Samson Abramsky and
                  Carmen M. Constantin and
                  Shenggang Ying},
  title        = {Hardy is (almost) everywhere: Nonlocality without inequalities for
                  almost all entangled multipartite states},
  journal      = {Inf. Comput.},
  volume       = {250},
  pages        = {3--14},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.ic.2015.09.003},
  doi          = {10.1016/J.IC.2015.09.003},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/AbramskyCY16.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/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}
}

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.