Authors: Li, Zhen^{Aff1, Aff2}, Cao, Zining^{Aff1, Aff2, Aff3, Aff4, IDs11227023056693_cor2}, Xing, Chao

Superior Title: The Journal of Supercomputing: An International Journal of High-Performance Computer Design, Analysis, and Use. 80(4):5616-5653

Authors: Zhang, Songpeng^Aff14, Zhuang, Yi^Aff14, Cao, Zining^Aff14

Contributors: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Wang, Guojun, editor^Aff8, Chen, Bing, editor^Aff9, Li, Wei, editor^Aff10, Di Pietro, Roberto, editor^Aff11, Yan, Xuefeng, editor^Aff12, Han, Hao, editor^Aff13

Superior Title: Security, Privacy, and Anonymity in Computation, Communication, and Storage : 13th International Conference, SpaCCS 2020, Nanjing, China, December 18-20, 2020, Proceedings. 12382:356-366

Authors: Hu, Xinwen, Zhuang, Yi, Lin, Shang-Wei, Zhang, Fuyuan, Kan, Shuanglong, Cao, Zining

Superior Title: In Computers & Security September 2021 108

Authors: Li, Zhen^1,2 (AUTHOR) lz_6927@nuaa.edu.cn, Cao, Zining^1,2,3,4 (AUTHOR) caozn@nuaa.edu.cn, Wang, Fujun¹ (AUTHOR), Xing, Chao¹ (AUTHOR)

Superior Title: International Journal of Software Engineering & Knowledge Engineering. Jan2024, Vol. 34 Issue 1, p49-89. 41p.

Subject Terms: *CYBER physical systems, *ARTIFICIAL intelligence, *TELECOMMUNICATION systems, ALGEBRA, ARCHITECTURAL design, PROBABILISTIC number theory

Authors: Huang, Tao, Cao, Zining, Li, Qing

Superior Title: Journal of Physics: Conference Series ; volume 2261, issue 1, page 012014 ; ISSN 1742-6588 1742-6596

Availability: https://doi.org/10.1088/1742-6596/2261/1/012014

Authors: Zhang, Fugao^Aff17, Cao, Zining^Aff17

Contributors: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Sun, Xingming, editor^Aff13, Chao, Han-Chieh, editor^Aff14, You, Xingang, editor^Aff15, Bertino, Elisa, editor^Aff16

Superior Title: Cloud Computing and Security : Third International Conference, ICCCS 2017, Nanjing, China, June 16-18, 2017, Revised Selected Papers, Part II. 10603:816-822

Authors: Wang, Fujun, Cao, Zining, Tan, Lixing, Li, Zhen

Subject Terms: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science, F.4.3

Relation: http://arxiv.org/abs/2012.12716

Availability: http://arxiv.org/abs/2012.12716

Authors: Wang, Fujun, Cao, Zining, Tan, Lixing, Zong, Hui

Contributors: National Key Fundamental Research and Development Plans, Aviation Science Foundation of China, Fundamental Research Funds for the Central Universities, National Natural Science Foundation of China, Foundation

Superior Title: IEEE Access ; volume 8, page 108561-108578 ; ISSN 2169-3536

Subject Terms: General Engineering, General Materials Science, General Computer Science, Electrical and Electronic Engineering

Availability: https://doi.org/10.1109/access.2020.3000907
http://xplorestaging.ieee.org/ielx7/6287639/8948470/09110834.pdf?arnumber=9110834

Authors: Guo, Zhengling, Cao, Zining

Superior Title: Journal of Software ; page 185-199 ; ISSN 1796-217X

Availability: https://doi.org/10.17706/jsw.18.4.185-199
http://www.jsoftware.us/vol18/JSW-V18N4-489.pdf

Authors: Wang, Fujun¹ (AUTHOR) wangfj@nuaa.edu.cn, Cao, Zining^1,2,3,4 (AUTHOR) caozn@nuaa.edu.cn, Li, Zhen¹ (AUTHOR), Xing, Chao¹ (AUTHOR), Zong, Hui¹ (AUTHOR)

Superior Title: International Journal of Software Engineering & Knowledge Engineering. May2023, Vol. 33 Issue 5, p787-814. 28p.

Subject Terms: *MARKOV processes, *PROBLEM solving, HEURISTIC algorithms, INTERVAL analysis

Authors: Ma, Yan, Cao, Zining, Liu, Yang

Contributors: Singapore–U.K. Cyber Security of EPSRC, National Natural Science Foundation of China, National Key Fundamental Research and Development Plans (973 Plans), Aviation Science Foundation of China, Fundamental Research Funds for the Central Universities, National Science and Technology Support Program, Collaborative Innovation Center of Novel Software Technology and Industrialization, Natural Science Research of Jiangsu Higher Education Institutions of China, Nanjing Scientific and Technological Innovation Project for Outstanding Overseas Returnees

Superior Title: IEEE Access ; volume 7, page 83839-83851 ; ISSN 2169-3536

Subject Terms: General Engineering, General Materials Science, General Computer Science

Availability: https://doi.org/10.1109/access.2019.2924639
http://xplorestaging.ieee.org/ielx7/6287639/8600701/08744527.pdf?arnumber=8744527

Authors: Li, Qing, Cao, Zining, Huang, Tao

Contributors: Sheng, Wenshun, Yan, Yongquan

Superior Title: International Conference on Computer Network Security and Software Engineering (CNSSE 2022)

Availability: https://doi.org/10.1117/12.2640833

Authors: Cao, Zining^{Aff18, Aff19, Aff20}, Wang, Hui^Aff18

Contributors: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Arbab, Farhad, editor^Aff16, Sirjani, Marjan, editor^Aff17

Superior Title: Fundamentals of Software Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. 7141:359-367

Authors: Cao, Zining^{Aff2, Aff3}

Contributors: Zhou, Qihai, editor^Aff1

Superior Title: Theoretical and Mathematical Foundations of Computer Science : Second International Conference, ICTMF 2011, Singapore, May 5-6, 2011. Selected Papers. 164:305-312

Authors: Zhang, Junhua^{Aff2, Aff3}, Huang, Zhiqiu^Aff2, Cao, Zining^Aff2

Contributors: Shen, Gang, editor^Aff1, Huang, Xiong, editor^Aff1

Superior Title: Advanced Research on Electronic Commerce, Web Application, and Communication : International Conference, ECWAC 2011, Guangzhou, China, April 16-17, 2011. Proceedings, Part I. 143:284-290

Authors: Cao, Zining^Aff1

Contributors: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Agrawal, Manindra, editor, Du, Dingzhu, editor, Duan, Zhenhua, editor, Li, Angsheng, editor

Superior Title: Theory and Applications of Models of Computation : 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings. 4978:351-363

Authors: Cao, Zining^Aff1

Contributors: Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Beckert, Bernhard, editor, Hähnle, Reiner, editor

Superior Title: Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings. 4966:30-47

Authors: Cao, Zining^Aff4

Contributors: Shi, Zhongzhi, editor^Aff1, Shimohara, K., editor^Aff2, Feng, D., editor^Aff3

Superior Title: Intelligent Information Processing III : IFIP TC12 International Conference on Intelligent Information Processing (IIP 2006), September 20–23, Adelaide, Australia. 228:63-72

Authors: Cao, Zining^Aff1

Contributors: Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Inoue, Katsumi, editor, Satoh, Ken, editor, Toni, Francesca, editor

Superior Title: Computational Logic in Multi-Agent Systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers. 4371:80-94

Authors: Cao, Zining^Aff1

Contributors: Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Inoue, Katsumi, editor, Satoh, Ken, editor, Toni, Francesca, editor

Superior Title: Computational Logic in Multi-Agent Systems : 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers. 4371:134-150