Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Chenyi Zhang
@article{DBLP:journals/ijns/ZhangXNCS24,
author = {Chenyi Zhang and
Yu Xue and
Ferrante Neri and
Xu Cai and
Adam Slowik},
title = {Multi-Objective Self-Adaptive Particle Swarm Optimization for Large-Scale
Feature Selection in Classification},
journal = {Int. J. Neural Syst.},
volume = {34},
number = {3},
pages = {2450014:1--2450014:18},
year = {2024},
url = {https://doi.org/10.1142/S012906572450014X},
doi = {10.1142/S012906572450014X},
timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijns/ZhangXNCS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovations/AaronsonBFGVZZ24,
author = {Scott Aaronson and
Adam Bouland and
Bill Fefferman and
Soumik Ghosh and
Umesh V. Vazirani and
Chenyi Zhang and
Zixin Zhou},
editor = {Venkatesan Guruswami},
title = {Quantum Pseudoentanglement},
booktitle = {15th Innovations in Theoretical Computer Science Conference, {ITCS}
2024, January 30 to February 2, 2024, Berkeley, CA, {USA}},
series = {LIPIcs},
volume = {287},
pages = {2:1--2:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ITCS.2024.2},
doi = {10.4230/LIPICS.ITCS.2024.2},
timestamp = {Wed, 24 Jan 2024 15:25:09 +0100},
biburl = {https://dblp.org/rec/conf/innovations/AaronsonBFGVZZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-12745,
author = {Hao Wang and
Chenyi Zhang and
Tongyang Li},
title = {Near-Optimal Quantum Algorithm for Minimizing the Maximal Loss},
journal = {CoRR},
volume = {abs/2402.12745},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.12745},
doi = {10.48550/ARXIV.2402.12745},
eprinttype = {arXiv},
eprint = {2402.12745},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-12745.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-01791,
author = {Shuai Ma and
Chenyi Zhang and
Xinru Wang and
Xiaojuan Ma and
Ming Yin},
title = {Beyond Recommender: An Exploratory Study of the Effects of Different
{AI} Roles in AI-Assisted Decision Making},
journal = {CoRR},
volume = {abs/2403.01791},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.01791},
doi = {10.48550/ARXIV.2403.01791},
eprinttype = {arXiv},
eprint = {2403.01791},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-01791.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijprai/ZhaoZDL23,
author = {Fangzhen Zhao and
Chenyi Zhang and
Naipeng Dong and
Ming Li},
title = {Adversarial Detection from Derived Models},
journal = {Int. J. Pattern Recognit. Artif. Intell.},
volume = {37},
number = {15},
pages = {2350031:1--2350031:30},
year = {2023},
url = {https://doi.org/10.1142/S0218001423500313},
doi = {10.1142/S0218001423500313},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijprai/ZhaoZDL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/LiZLC23,
author = {Ming Li and
Chenyi Zhang and
Qin Li and
Shuangqin Cheng},
title = {Monotonic learning with hypothesis evolution},
journal = {Inf. Sci.},
volume = {647},
pages = {119455},
year = {2023},
url = {https://doi.org/10.1016/j.ins.2023.119455},
doi = {10.1016/J.INS.2023.119455},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/LiZLC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/XueZNGZ23,
author = {Yu Xue and
Chenyi Zhang and
Ferrante Neri and
Moncef Gabbouj and
Yong Zhang},
title = {An external attention-based feature ranker for large-scale feature
selection},
journal = {Knowl. Based Syst.},
volume = {281},
pages = {111084},
year = {2023},
url = {https://doi.org/10.1016/j.knosys.2023.111084},
doi = {10.1016/J.KNOSYS.2023.111084},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/kbs/XueZNGZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icml/ZhangL23a,
author = {Chenyi Zhang and
Tongyang Li},
editor = {Andreas Krause and
Emma Brunskill and
Kyunghyun Cho and
Barbara Engelhardt and
Sivan Sabato and
Jonathan Scarlett},
title = {Quantum Lower Bounds for Finding Stationary Points of Nonconvex Functions},
booktitle = {International Conference on Machine Learning, {ICML} 2023, 23-29 July
2023, Honolulu, Hawaii, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {202},
pages = {41268--41299},
publisher = {{PMLR}},
year = {2023},
url = {https://proceedings.mlr.press/v202/zhang23u.html},
timestamp = {Mon, 28 Aug 2023 17:23:08 +0200},
biburl = {https://dblp.org/rec/conf/icml/ZhangL23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/SidfordZ23,
author = {Aaron Sidford and
Chenyi Zhang},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {Quantum speedups for stochastic optimization},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/6ed9931d6e1fb6a85efa1b2c014a47e1-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/SidfordZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-01582,
author = {Aaron Sidford and
Chenyi Zhang},
title = {Quantum speedups for stochastic optimization},
journal = {CoRR},
volume = {abs/2308.01582},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.01582},
doi = {10.48550/ARXIV.2308.01582},
eprinttype = {arXiv},
eprint = {2308.01582},
timestamp = {Thu, 24 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-01582.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-12017,
author = {Adam Bouland and
Bill Fefferman and
Soumik Ghosh and
Tony Metger and
Umesh V. Vazirani and
Chenyi Zhang and
Zixin Zhou},
title = {Public-key pseudoentanglement and the hardness of learning ground
state entanglement structure},
journal = {CoRR},
volume = {abs/2311.12017},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.12017},
doi = {10.48550/ARXIV.2311.12017},
eprinttype = {arXiv},
eprint = {2311.12017},
timestamp = {Thu, 23 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-12017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/XuZZF22,
author = {Weizhen Xu and
Chenyi Zhang and
Fangzhen Zhao and
Liangda Fang},
title = {A Mask-Based Adversarial Defense Scheme},
journal = {Algorithms},
volume = {15},
number = {12},
pages = {461},
year = {2022},
url = {https://doi.org/10.3390/a15120461},
doi = {10.3390/A15120461},
timestamp = {Thu, 05 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/algorithms/XuZZF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/npl/ZhaoZDYW22,
author = {Fangzhen Zhao and
Chenyi Zhang and
Naipeng Dong and
Zefeng You and
Zhenxin Wu},
title = {A Uniform Framework for Anomaly Detection in Deep Neural Networks},
journal = {Neural Process. Lett.},
volume = {54},
number = {4},
pages = {3467--3488},
year = {2022},
url = {https://doi.org/10.1007/s11063-022-10776-y},
doi = {10.1007/S11063-022-10776-Y},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/npl/ZhaoZDYW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/quantum/ChildsLLLZ22,
author = {Andrew M. Childs and
Jiaqi Leng and
Tongyang Li and
Jin{-}Peng Liu and
Chenyi Zhang},
title = {Quantum simulation of real-space dynamics},
journal = {Quantum},
volume = {6},
pages = {860},
year = {2022},
url = {https://doi.org/10.22331/q-2022-11-17-860},
doi = {10.22331/Q-2022-11-17-860},
timestamp = {Tue, 02 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/quantum/ChildsLLLZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhangP22,
author = {Chenyi Zhang and
Jun Pang},
title = {Modal characterisation of simulation relations in probabilistic concurrent
games},
journal = {Sci. Comput. Program.},
volume = {215},
pages = {102762},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2021.102762},
doi = {10.1016/J.SCICO.2021.102762},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZhangP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BaoZZW22,
author = {Yulin Bao and
Chenyi Zhang and
Xilong Zhuo and
Yongliang Wang},
title = {Parameter Sensitive Pointer Analysis for Java},
booktitle = {26th International Conference on Engineering of Complex Computer Systems,
{ICECCS} 2022, Hiroshima, Japan, March 26-30, 2022},
pages = {162--167},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICECCS54210.2022.00027},
doi = {10.1109/ICECCS54210.2022.00027},
timestamp = {Thu, 12 May 2022 09:47:03 +0200},
biburl = {https://dblp.org/rec/conf/iceccs/BaoZZW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaims/Zhang22a,
author = {Chenyi Zhang},
title = {Comparison Between Montelukast Sodium and Tiotropium Bromide for Asthma
Treatment},
booktitle = {3rd International Symposium on Artificial Intelligence for Medicine
Sciences, {ISAIMS} 2022, Amsterdam, The Netherlands, October 13-15,
2022},
pages = {263--268},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3570773.3570848},
doi = {10.1145/3570773.3570848},
timestamp = {Sun, 25 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaims/Zhang22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/LiZL22,
author = {Yaju Li and
Chenyi Zhang and
Qin Li},
editor = {Rong Peng and
Carlos Eduardo Pantoja and
Pankaj Kamthan},
title = {Taint Trace Analysis For Java Web Applications},
booktitle = {The 34th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2022, {KSIR} Virtual Conference Center, USA, July
1 - July 10, 2022},
pages = {184--189},
publisher = {{KSI} Research Inc.},
year = {2022},
url = {https://doi.org/10.18293/SEKE2022-161},
doi = {10.18293/SEKE2022-161},
timestamp = {Wed, 21 Sep 2022 17:47:56 +0200},
biburl = {https://dblp.org/rec/conf/seke/LiZL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-17006,
author = {Andrew M. Childs and
Jiaqi Leng and
Tongyang Li and
Jin{-}Peng Liu and
Chenyi Zhang},
title = {Quantum simulation of real-space dynamics},
journal = {CoRR},
volume = {abs/2203.17006},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.17006},
doi = {10.48550/ARXIV.2203.17006},
eprinttype = {arXiv},
eprint = {2203.17006},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-17006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-11837,
author = {Weizhen Xu and
Chenyi Zhang and
Fangzhen Zhao and
Liangda Fang},
title = {A Mask-Based Adversarial Defense Scheme},
journal = {CoRR},
volume = {abs/2204.11837},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.11837},
doi = {10.48550/ARXIV.2204.11837},
eprinttype = {arXiv},
eprint = {2204.11837},
timestamp = {Thu, 28 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-11837.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-02548,
author = {Weiyuan Gong and
Chenyi Zhang and
Tongyang Li},
title = {Robustness of Quantum Algorithms for Nonconvex Optimization},
journal = {CoRR},
volume = {abs/2212.02548},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.02548},
doi = {10.48550/ARXIV.2212.02548},
eprinttype = {arXiv},
eprint = {2212.02548},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-02548.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-03906,
author = {Chenyi Zhang and
Tongyang Li},
title = {Quantum Lower Bounds for Finding Stationary Points of Nonconvex Functions},
journal = {CoRR},
volume = {abs/2212.03906},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.03906},
doi = {10.48550/ARXIV.2212.03906},
eprinttype = {arXiv},
eprint = {2212.03906},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-03906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/quantum/ZhangLL21,
author = {Chenyi Zhang and
Jiaqi Leng and
Tongyang Li},
title = {Quantum algorithms for escaping from saddle points},
journal = {Quantum},
volume = {5},
pages = {529},
year = {2021},
url = {https://doi.org/10.22331/q-2021-08-20-529},
doi = {10.22331/Q-2021-08-20-529},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/quantum/ZhangLL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/ZhangL21,
author = {Chenyi Zhang and
Tongyang Li},
editor = {Marc'Aurelio Ranzato and
Alina Beygelzimer and
Yann N. Dauphin and
Percy Liang and
Jennifer Wortman Vaughan},
title = {Escape saddle points by a simple gradient-descent based algorithm},
booktitle = {Advances in Neural Information Processing Systems 34: Annual Conference
on Neural Information Processing Systems 2021, NeurIPS 2021, December
6-14, 2021, virtual},
pages = {8545--8556},
year = {2021},
url = {https://proceedings.neurips.cc/paper/2021/hash/47bd8ac1becf213f155a82244b4a696a-Abstract.html},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nips/ZhangL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-03092,
author = {Fangzhen Zhao and
Chenyi Zhang and
Naipeng Dong and
Zefeng You and
Zhenxin Wu},
title = {A Uniform Framework for Anomaly Detection in Deep Neural Networks},
journal = {CoRR},
volume = {abs/2110.03092},
year = {2021},
url = {https://arxiv.org/abs/2110.03092},
eprinttype = {arXiv},
eprint = {2110.03092},
timestamp = {Thu, 21 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-03092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-14069,
author = {Chenyi Zhang and
Tongyang Li},
title = {Escape saddle points by a simple gradient-descent based algorithm},
journal = {CoRR},
volume = {abs/2111.14069},
year = {2021},
url = {https://arxiv.org/abs/2111.14069},
eprinttype = {arXiv},
eprint = {2111.14069},
timestamp = {Thu, 02 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-14069.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Zhang20,
author = {Chenyi Zhang},
title = {Minimal consistent {DFA} from sample strings},
journal = {Acta Informatica},
volume = {57},
number = {3-5},
pages = {657--670},
year = {2020},
url = {https://doi.org/10.1007/s00236-020-00365-8},
doi = {10.1007/S00236-020-00365-8},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Zhang20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ZhuoZ20,
author = {Xilong Zhuo and
Chenyi Zhang},
title = {{TFA:} an efficient and precise virtual method call resolution for
Java},
journal = {Formal Aspects Comput.},
volume = {32},
number = {4-6},
pages = {395--416},
year = {2020},
url = {https://doi.org/10.1007/s00165-020-00518-z},
doi = {10.1007/S00165-020-00518-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ZhuoZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhangP20,
author = {Chenyi Zhang and
Jun Pang},
title = {Preface for the special issue of the 12th International Symposium
on Theoretical Aspects of Software Engineering {(TASE} 2018)},
journal = {Sci. Comput. Program.},
volume = {187},
pages = {102375},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2019.102375},
doi = {10.1016/J.SCICO.2019.102375},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/ZhangP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/0003Z20,
author = {Yi Lu and
Chenyi Zhang},
title = {Nontransitive Security Types for Coarse-grained Information Flow Control},
booktitle = {33rd {IEEE} Computer Security Foundations Symposium, {CSF} 2020, Boston,
MA, USA, June 22-26, 2020},
pages = {199--213},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CSF49147.2020.00022},
doi = {10.1109/CSF49147.2020.00022},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/0003Z20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/ChuZ00ZXZ20,
author = {Deming Chu and
Fan Zhang and
Xuemin Lin and
Wenjie Zhang and
Ying Zhang and
Yinglong Xia and
Chenyi Zhang},
title = {Finding the Best k in Core Decomposition: {A} Time and Space Optimal
Solution},
booktitle = {36th {IEEE} International Conference on Data Engineering, {ICDE} 2020,
Dallas, TX, USA, April 20-24, 2020},
pages = {685--696},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICDE48307.2020.00065},
doi = {10.1109/ICDE48307.2020.00065},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/ChuZ00ZXZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Zhang020,
author = {Chenyi Zhang and
Jun Pang},
editor = {Toshiaki Aoki and
Qin Li},
title = {Characterising Probabilistic Alternating Simulation for Concurrent
Games},
booktitle = {International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2020, Hangzhou, China, December 11-13, 2020},
pages = {121--128},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/TASE49443.2020.00025},
doi = {10.1109/TASE49443.2020.00025},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/Zhang020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-10253,
author = {Chenyi Zhang and
Jiaqi Leng and
Tongyang Li},
title = {Quantum Algorithms for Escaping from Saddle Points},
journal = {CoRR},
volume = {abs/2007.10253},
year = {2020},
url = {https://arxiv.org/abs/2007.10253},
eprinttype = {arXiv},
eprint = {2007.10253},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-10253.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ZhuoZ19,
author = {Xilong Zhuo and
Chenyi Zhang},
editor = {Yamine A{\"{\i}}t Ameur and
Shengchao Qin},
title = {A Relational Static Semantics for Call Graph Construction},
booktitle = {Formal Methods and Software Engineering - 21st International Conference
on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
5-9, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11852},
pages = {322--335},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32409-4\_20},
doi = {10.1007/978-3-030-32409-4\_20},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/ZhuoZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-03928,
author = {Chenyi Zhang and
Jun Pang},
title = {Characterising Probabilistic Alternating Simulation for Concurrent
Games},
journal = {CoRR},
volume = {abs/1907.03928},
year = {2019},
url = {http://arxiv.org/abs/1907.03928},
eprinttype = {arXiv},
eprint = {1907.03928},
timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-03928.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-06522,
author = {Xilong Zhuo and
Chenyi Zhang},
title = {A Relational Static Semantics for Call Graph Construction},
journal = {CoRR},
volume = {abs/1907.06522},
year = {2019},
url = {http://arxiv.org/abs/1907.06522},
eprinttype = {arXiv},
eprint = {1907.06522},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-06522.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AmadiniGGJSSSZ18,
author = {Roberto Amadini and
Graeme Gange and
Fran{\c{c}}ois Gauthier and
Alexander Jordan and
Peter Schachte and
Harald S{\o}ndergaard and
Peter J. Stuckey and
Chenyi Zhang},
title = {Reference Abstract Domains and Applications to String Analysis},
journal = {Fundam. Informaticae},
volume = {158},
number = {4},
pages = {297--326},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1650},
doi = {10.3233/FI-2018-1650},
timestamp = {Fri, 24 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/AmadiniGGJSSSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tase/2018,
editor = {Jun Pang and
Chenyi Zhang and
Jifeng He and
Jian Weng},
title = {2018 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2018, Guangzhou, China, August 29-31, 2018},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://ieeexplore.ieee.org/xpl/conhome/8558619/proceeding},
isbn = {978-1-5386-7305-8},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DoolanSZK17,
author = {Patrick Doolan and
Graeme Smith and
Chenyi Zhang and
Padmanabhan Krishnan},
editor = {Zhenhua Duan and
Luke Ong},
title = {Improving the Scalability of Automatic Linearizability Checking in
{SPIN}},
booktitle = {Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
13-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10610},
pages = {105--121},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68690-5\_7},
doi = {10.1007/978-3-319-68690-5\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/DoolanSZK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AmadiniJGGSSSZ17,
author = {Roberto Amadini and
Alexander Jordan and
Graeme Gange and
Fran{\c{c}}ois Gauthier and
Peter Schachte and
Harald S{\o}ndergaard and
Peter J. Stuckey and
Chenyi Zhang},
editor = {Axel Legay and
Tiziana Margaria},
title = {Combining String Abstract Domains for JavaScript Analysis: An Evaluation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {41--57},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_3},
doi = {10.1007/978-3-662-54577-5\_3},
timestamp = {Fri, 24 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AmadiniJGGSSSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/ZhangW16,
author = {Chenyi Zhang and
Ke Wang},
title = {{POI} recommendation through cross-region collaborative filtering},
journal = {Knowl. Inf. Syst.},
volume = {46},
number = {2},
pages = {369--387},
year = {2016},
url = {https://doi.org/10.1007/s10115-015-0825-8},
doi = {10.1007/S10115-015-0825-8},
timestamp = {Thu, 24 Aug 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kais/ZhangW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CassezMZ16,
author = {Franck Cassez and
Ron van der Meyden and
Chenyi Zhang},
title = {The complexity of synchronous notions of information flow security},
journal = {Theor. Comput. Sci.},
volume = {631},
pages = {16--42},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2016.03.011},
doi = {10.1016/J.TCS.2016.03.011},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/CassezMZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tois/ZhangLW16,
author = {Chenyi Zhang and
Hongwei Liang and
Ke Wang},
title = {Trip Recommendation Meets Real-World Constraints: {POI} Availability,
Diversity, and Traveling Time Uncertainty},
journal = {{ACM} Trans. Inf. Syst.},
volume = {35},
number = {1},
pages = {5:1--5:28},
year = {2016},
url = {https://doi.org/10.1145/2948065},
doi = {10.1145/2948065},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tois/ZhangLW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmir/ZhaoZZ15,
author = {Xueyi Zhao and
Chenyi Zhang and
Zhongfei Zhang},
title = {Distributed cross-media multiple binary subspace learning},
journal = {Int. J. Multim. Inf. Retr.},
volume = {4},
number = {2},
pages = {153--164},
year = {2015},
url = {https://doi.org/10.1007/s13735-015-0081-4},
doi = {10.1007/S13735-015-0081-4},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmir/ZhaoZZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WuSCZZW15,
author = {Lijun Wu and
Kaile Su and
Shaowei Cai and
Xiaosong Zhang and
Chenyi Zhang and
Shupeng Wang},
title = {An {I/O} Efficient Approach for Detecting All Accepting Cycles},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {8},
pages = {730--744},
year = {2015},
url = {https://doi.org/10.1109/TSE.2015.2411284},
doi = {10.1109/TSE.2015.2411284},
timestamp = {Fri, 17 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/WuSCZZW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhangWLXSY15,
author = {Chenyi Zhang and
Ke Wang and
Ee{-}Peng Lim and
Qinneng Xu and
Jianling Sun and
Hongkun Yu},
editor = {Blai Bonet and
Sven Koenig},
title = {Are Features Equally Representative? {A} Feature-Centric Recommendation},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {389--395},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9150},
doi = {10.1609/AAAI.V29I1.9150},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/ZhangWLXSY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/ZhangLWS15,
author = {Chenyi Zhang and
Hongwei Liang and
Ke Wang and
Jianling Sun},
editor = {James Bailey and
Alistair Moffat and
Charu C. Aggarwal and
Maarten de Rijke and
Ravi Kumar and
Vanessa Murdock and
Timos K. Sellis and
Jeffrey Xu Yu},
title = {Personalized Trip Recommendation with {POI} Availability and Uncertain
Traveling Time},
booktitle = {Proceedings of the 24th {ACM} International Conference on Information
and Knowledge Management, {CIKM} 2015, Melbourne, VIC, Australia,
October 19 - 23, 2015},
pages = {911--920},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2806416.2806558},
doi = {10.1145/2806416.2806558},
timestamp = {Mon, 26 Apr 2021 09:27:03 +0200},
biburl = {https://dblp.org/rec/conf/cikm/ZhangLWS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecir/ZhangZWS14,
author = {Chenyi Zhang and
Xueyi Zhao and
Ke Wang and
Jianling Sun},
editor = {Maarten de Rijke and
Tom Kenter and
Arjen P. de Vries and
ChengXiang Zhai and
Franciska de Jong and
Kira Radinsky and
Katja Hofmann},
title = {Content + Attributes: {A} Latent Factor Model for Recommending Scientific
Papers in Heterogeneous Academic Networks},
booktitle = {Advances in Information Retrieval - 36th European Conference on {IR}
Research, {ECIR} 2014, Amsterdam, The Netherlands, April 13-16, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8416},
pages = {39--50},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06028-6\_4},
doi = {10.1007/978-3-319-06028-6\_4},
timestamp = {Tue, 21 Mar 2023 20:52:33 +0100},
biburl = {https://dblp.org/rec/conf/ecir/ZhangZWS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmcs/ZhaoZZ14,
author = {Xueyi Zhao and
Chenyi Zhang and
Zhongfei Zhang},
title = {Distributed Binary Subspace Learning on large-scale cross media data},
booktitle = {{IEEE} International Conference on Multimedia and Expo, {ICME} 2014,
Chengdu, China, July 14-18, 2014},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICME.2014.6890192},
doi = {10.1109/ICME.2014.6890192},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmcs/ZhaoZZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/XiaLWZW14,
author = {Xin Xia and
David Lo and
Xingen Wang and
Chenyi Zhang and
Xinyu Wang},
editor = {Chanchal K. Roy and
Andrew Begel and
Leon Moonen},
title = {Cross-language bug localization},
booktitle = {22nd International Conference on Program Comprehension, {ICPC} 2014,
Hyderabad, India, June 2-3, 2014},
pages = {275--278},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2597008.2597788},
doi = {10.1145/2597008.2597788},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iwpc/XiaLWZW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdm/ZhangWYSL14,
author = {Chenyi Zhang and
Ke Wang and
Hongkun Yu and
Jianling Sun and
Ee{-}Peng Lim},
editor = {Mohammed Javeed Zaki and
Zoran Obradovic and
Pang{-}Ning Tan and
Arindam Banerjee and
Chandrika Kamath and
Srinivasan Parthasarathy},
title = {Latent Factor Transition for Dynamic Collaborative Filtering},
booktitle = {Proceedings of the 2014 {SIAM} International Conference on Data Mining,
Philadelphia, Pennsylvania, USA, April 24-26, 2014},
pages = {452--460},
publisher = {{SIAM}},
year = {2014},
url = {https://doi.org/10.1137/1.9781611973440.52},
doi = {10.1137/1.9781611973440.52},
timestamp = {Mon, 04 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sdm/ZhangWYSL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lnsn/ZhangSW14,
author = {Chenyi Zhang and
Jianling Sun and
Ke Wang},
editor = {Rokia Missaoui and
Idrissa Sarr},
title = {Latent Tunnel Based Information Propagation in Microblog Networks},
booktitle = {Social Network Analysis - Community Detection and Evolution},
series = {Lecture Notes in Social Networks},
pages = {219--241},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12188-8\_10},
doi = {10.1007/978-3-319-12188-8\_10},
timestamp = {Sat, 19 Oct 2019 19:02:25 +0200},
biburl = {https://dblp.org/rec/series/lnsn/ZhangSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CassezMZ14,
author = {Franck Cassez and
Ron van der Meyden and
Chenyi Zhang},
title = {The Complexity of Synchronous Notions of Information Flow Security},
journal = {CoRR},
volume = {abs/1402.0601},
year = {2014},
url = {http://arxiv.org/abs/1402.0601},
eprinttype = {arXiv},
eprint = {1402.0601},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CassezMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/LiuPZ13,
author = {Zhiyuan Liu and
Jun Pang and
Chenyi Zhang},
title = {Design and formal verification of a {CEM} protocol with transparent
{TTP}},
journal = {Frontiers Comput. Sci.},
volume = {7},
number = {2},
pages = {279--297},
year = {2013},
url = {https://doi.org/10.1007/s11704-013-1268-6},
doi = {10.1007/S11704-013-1268-6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fcsc/LiuPZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MeydenZ13,
author = {Ron van der Meyden and
Chenyi Zhang},
title = {Information flow in systems with schedulers, Part {I:} Definitions},
journal = {Theor. Comput. Sci.},
volume = {467},
pages = {68--88},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2012.10.047},
doi = {10.1016/J.TCS.2012.10.047},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MeydenZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MeydenZ13a,
author = {Ron van der Meyden and
Chenyi Zhang},
title = {Information flow in systems with schedulers, Part {II:} Refinement},
journal = {Theor. Comput. Sci.},
volume = {484},
pages = {70--92},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2013.01.002},
doi = {10.1016/J.TCS.2013.01.002},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MeydenZ13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asunam/ZhangSW13,
author = {Chenyi Zhang and
Jianling Sun and
Ke Wang},
editor = {Jon G. Rokne and
Christos Faloutsos},
title = {Information propagation in microblog networks},
booktitle = {Advances in Social Networks Analysis and Mining 2013, {ASONAM} '13,
Niagara, ON, Canada - August 25 - 29, 2013},
pages = {190--196},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2492517.2492608},
doi = {10.1145/2492517.2492608},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/asunam/ZhangSW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WinterZHKCL13,
author = {Kirsten Winter and
Chenyi Zhang and
Ian J. Hayes and
Nathan Keynes and
Cristina Cifuentes and
Lian Li},
editor = {Lindsay Groves and
Jing Sun},
title = {Path-Sensitive Data Flow Analysis Simplified},
booktitle = {Formal Methods and Software Engineering - 15th International Conference
on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand,
October 29 - November 1, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8144},
pages = {415--430},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41202-8\_27},
doi = {10.1007/978-3-642-41202-8\_27},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/WinterZHKCL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/ZhangZPM12,
author = {Ying Zhang and
Chenyi Zhang and
Jun Pang and
Sjouke Mauw},
title = {Game-based verification of contract signing protocols with minimal
messages},
journal = {Innov. Syst. Softw. Eng.},
volume = {8},
number = {2},
pages = {111--124},
year = {2012},
url = {https://doi.org/10.1007/s11334-012-0180-9},
doi = {10.1007/S11334-012-0180-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/ZhangZPM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/SunZPAM12,
author = {Yanjie Sun and
Chenyi Zhang and
Jun Pang and
Baptiste Alcalde and
Sjouke Mauw},
title = {A trust-augmented voting scheme for collaborative privacy management},
journal = {J. Comput. Secur.},
volume = {20},
number = {4},
pages = {437--459},
year = {2012},
url = {https://doi.org/10.3233/JCS-2012-0453},
doi = {10.3233/JCS-2012-0453},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/SunZPAM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HuangSZ12,
author = {Xiaowei Huang and
Kaile Su and
Chenyi Zhang},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Probabilistic Alternating-Time Temporal Logic of Incomplete Information
and Synchronous Perfect Recall},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {765--771},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8214},
doi = {10.1609/AAAI.V26I1.8214},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HuangSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/EngelhardtMZ12,
author = {Kai Engelhardt and
Ron van der Meyden and
Chenyi Zhang},
editor = {Ting Yu and
George Danezis and
Virgil D. Gligor},
title = {Intransitive noninterference in nondeterministic systems},
booktitle = {the {ACM} Conference on Computer and Communications Security, CCS'12,
Raleigh, NC, USA, October 16-18, 2012},
pages = {869--880},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2382196.2382288},
doi = {10.1145/2382196.2382288},
timestamp = {Tue, 12 Apr 2022 13:28:49 +0200},
biburl = {https://dblp.org/rec/conf/ccs/EngelhardtMZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LuPZX12,
author = {Yi Lu and
John Potter and
Chenyi Zhang and
Jingling Xue},
editor = {Helmut Seidl},
title = {A Type and Effect System for Determinism in Multithreaded Programs},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {518--538},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_26},
doi = {10.1007/978-3-642-28869-2\_26},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/LuPZX12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/JainZS12,
author = {Surinder Kumar Jain and
Chenyi Zhang and
Bernhard Scholz},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {Translating flowcharts to non-deterministic languages},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {155--162},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103775},
doi = {10.1145/2103746.2103775},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/JainZS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ZhangP12,
author = {Chenyi Zhang and
Jun Pang},
editor = {M{\'{a}}ria Bielikov{\'{a}} and
Gerhard Friedrich and
Georg Gottlob and
Stefan Katzenbeisser and
Gy{\"{o}}rgy Tur{\'{a}}n},
title = {An Algorithm for Probabilistic Alternating Simulation},
booktitle = {{SOFSEM} 2012: Theory and Practice of Computer Science - 38th Conference
on Current Trends in Theory and Practice of Computer Science, {\v{S}}pindler{\r{u}}v
Ml{\'{y}}n, Czech Republic, January 21-27, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7147},
pages = {431--442},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27660-6\_35},
doi = {10.1007/978-3-642-27660-6\_35},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/ZhangP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/ZhangS12,
author = {Chenyi Zhang and
Jianling Sun},
editor = {Alain Mille and
Fabien Gandon and
Jacques Misselis and
Michael Rabinovich and
Steffen Staab},
title = {Large scale microblog mining using distributed {MB-LDA}},
booktitle = {Proceedings of the 21st World Wide Web Conference, {WWW} 2012, Lyon,
France, April 16-20, 2012 (Companion Volume)},
pages = {1035--1042},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2187980.2188238},
doi = {10.1145/2187980.2188238},
timestamp = {Fri, 16 Apr 2021 10:04:12 +0200},
biburl = {https://dblp.org/rec/conf/www/ZhangS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/Zhang11,
author = {Chenyi Zhang},
editor = {Roberto Bruni and
Vladimiro Sassone},
title = {Conditional Information Flow Policies and Unwinding Relations},
booktitle = {Trustworthy Global Computing - 6th International Symposium, {TGC}
2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7173},
pages = {227--241},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-30065-3\_14},
doi = {10.1007/978-3-642-30065-3\_14},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/Zhang11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-1978,
author = {Chenyi Zhang and
Jun Pang},
title = {An Algorithm for Probabilistic Alternating Simulation},
journal = {CoRR},
volume = {abs/1106.1978},
year = {2011},
url = {http://arxiv.org/abs/1106.1978},
eprinttype = {arXiv},
eprint = {1106.1978},
timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-1978.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MeydenZ10,
author = {Ron van der Meyden and
Chenyi Zhang},
title = {A comparison of semantic models for noninterference},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {47},
pages = {4123--4147},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2010.08.013},
doi = {10.1016/J.TCS.2010.08.013},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/MeydenZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euc/LiuPZ10,
author = {Zhiyuan Liu and
Jun Pang and
Chenyi Zhang},
title = {Extending a Key-Chain Based Certified Email Protocol with Transparent
{TTP}},
booktitle = {{IEEE/IFIP} 8th International Conference on Embedded and Ubiquitous
Computing, {EUC} 2010, Hong Kong, China, 11-13 December 2010},
pages = {630--636},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/EUC.2010.101},
doi = {10.1109/EUC.2010.101},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euc/LiuPZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CassezMZ10,
author = {Franck Cassez and
Ron van der Meyden and
Chenyi Zhang},
editor = {C.{-}H. Luke Ong},
title = {The Complexity of Synchronous Notions of Information Flow Security},
booktitle = {Foundations of Software Science and Computational Structures, 13th
International Conference, {FOSSACS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6014},
pages = {282--296},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12032-9\_20},
doi = {10.1007/978-3-642-12032-9\_20},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/CassezMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/ZhangP10,
author = {Chenyi Zhang and
Jun Pang},
editor = {Cristian S. Calude and
Vladimiro Sassone},
title = {On Probabilistic Alternating Simulations},
booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {323},
pages = {71--85},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15240-5\_6},
doi = {10.1007/978-3-642-15240-5\_6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/ZhangP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/SunZPAM10,
author = {Yanjie Sun and
Chenyi Zhang and
Jun Pang and
Baptiste Alcalde and
Sjouke Mauw},
editor = {Jorge Cu{\'{e}}llar and
Gilles Barthe and
Alexander Pretschner},
title = {A Trust-Augmented Voting Scheme for Collaborative Privacy Management},
booktitle = {Security and Trust Management - 6th International Workshop, {STM}
2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6710},
pages = {132--146},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-22444-7\_9},
doi = {10.1007/978-3-642-22444-7\_9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/SunZPAM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LiuPZ11,
author = {Zhiyuan Liu and
Jun Pang and
Chenyi Zhang},
editor = {Min Zhang and
Volker Stolz},
title = {Verification of {A} Key Chain Based {TTP} Transparent {CEM} Protocol},
booktitle = {4th International Workshop on Harnessing Theories for Tool Support
in Software, {TTSS} 2010, Shanghai, China, November 15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {274},
pages = {51--65},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.07.006},
doi = {10.1016/J.ENTCS.2011.07.006},
timestamp = {Fri, 10 Mar 2023 14:58:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LiuPZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-0788,
author = {Chenyi Zhang and
Jun Pang},
title = {On Probabilistic Alternating Simulations},
journal = {CoRR},
volume = {abs/1003.0788},
year = {2010},
url = {http://arxiv.org/abs/1003.0788},
eprinttype = {arXiv},
eprint = {1003.0788},
timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-0788.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-3893,
author = {Chenyi Zhang},
title = {Unwinding Conditional Noninterference},
journal = {CoRR},
volume = {abs/1003.3893},
year = {2010},
url = {http://arxiv.org/abs/1003.3893},
eprinttype = {arXiv},
eprint = {1003.3893},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-3893.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Zhang09b,
author = {Chenyi Zhang},
title = {Information flow security - models, verification and schedulers},
school = {University of New South Wales, Sydney, Australia},
year = {2009},
url = {http://handle.unsw.edu.au/1959.4/43410},
timestamp = {Thu, 15 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/basesearch/Zhang09b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/ZhangZPM09,
author = {Ying Zhang and
Chenyi Zhang and
Jun Pang and
Sjouke Mauw},
editor = {Pierpaolo Degano and
Joshua D. Guttman},
title = {Game-Based Verification of Multi-Party Contract Signing Protocols},
booktitle = {Formal Aspects in Security and Trust, 6th International Workshop,
{FAST} 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5983},
pages = {186--200},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12459-4\_14},
doi = {10.1007/978-3-642-12459-4\_14},
timestamp = {Sat, 31 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/ZhangZPM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-0910-4044,
author = {Jun Pang and
Chenyi Zhang},
editor = {Michele Boreale and
Steve Kremer},
title = {How to Work with Honest but Curious Judges? (Preliminary Report)},
booktitle = {Proceedings 7th International Workshop on Security Issues in Concurrency,
{SECCO} 2009, Bologna, Italy, 5th September 2009},
series = {{EPTCS}},
volume = {7},
pages = {31--45},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.7.3},
doi = {10.4204/EPTCS.7.3},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-4044.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/MeydenZ08,
author = {Ron van der Meyden and
Chenyi Zhang},
title = {Information Flow in Systems with Schedulers},
booktitle = {Proceedings of the 21st {IEEE} Computer Security Foundations Symposium,
{CSF} 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008},
pages = {301--312},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CSF.2008.13},
doi = {10.1109/CSF.2008.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/MeydenZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/ScholzZC08,
author = {Bernhard Scholz and
Chenyi Zhang and
Cristina Cifuentes},
title = {User-Input Dependence Analysis via Graph Reachability},
booktitle = {Eighth {IEEE} International Working Conference on Source Code Analysis
and Manipulation {(SCAM} 2008), 28-29 September 2008, Beijing, China},
pages = {25--34},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SCAM.2008.22},
doi = {10.1109/SCAM.2008.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/ScholzZC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DengGMZ07,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Carroll Morgan and
Chenyi Zhang},
editor = {Rocco De Nicola},
title = {Scalar Outcomes Suffice for Finitary Probabilistic Testing},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {363--378},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_25},
doi = {10.1007/978-3-540-71316-6\_25},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/DengGMZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/DengGHMZ07,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Matthew Hennessy and
Carroll Morgan and
Chenyi Zhang},
title = {Characterising Testing Preorders for Finite Probabilistic Processes},
booktitle = {22nd {IEEE} Symposium on Logic in Computer Science {(LICS} 2007),
10-12 July 2007, Wroclaw, Poland, Proceedings},
pages = {313--325},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/LICS.2007.15},
doi = {10.1109/LICS.2007.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/DengGHMZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DengGHMZ07,
author = {Yuxin Deng and
Rob J. van Glabbeek and
Matthew Hennessy and
Carroll Morgan and
Chenyi Zhang},
editor = {Luca Cardelli and
Marcelo Fiore and
Glynn Winskel},
title = {Remarks on Testing Probabilistic Processes},
booktitle = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
series = {Electronic Notes in Theoretical Computer Science},
volume = {172},
pages = {359--397},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.013},
doi = {10.1016/J.ENTCS.2007.02.013},
timestamp = {Tue, 24 Jan 2023 11:36:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DengGHMZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/MeydenZ06,
author = {Ron van der Meyden and
Chenyi Zhang},
editor = {Theodosis Dimitrakos and
Fabio Martinelli and
Peter Y. A. Ryan and
Steve A. Schneider},
title = {A Comparison of Semantic Models for Noninterference},
booktitle = {Formal Aspects in Security and Trust, Fourth International Workshop,
{FAST} 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4691},
pages = {235--249},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75227-1\_16},
doi = {10.1007/978-3-540-75227-1\_16},
timestamp = {Sun, 02 Oct 2022 16:07:30 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/MeydenZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MeydenZ07,
author = {Ron van der Meyden and
Chenyi Zhang},
editor = {Maurice H. ter Beek and
Fabio Gadducci},
title = {Algorithmic Verification of Noninterference Properties},
booktitle = {Proceedings of the Second International Workshop on Views on Designing
Complex Architectures, VODCA@FOSAD 2006, Bertinoro, Italy, September
16-17, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {168},
pages = {61--75},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.11.002},
doi = {10.1016/J.ENTCS.2006.11.002},
timestamp = {Tue, 24 Jan 2023 11:14:31 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MeydenZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-21 18:08 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:
