曹永知 - 北京大学 - 信息科学技术研究所

个人简介

科研/教育经历 2007，博士后，清华大学 2003，博士，北京师范大学主要荣誉与获奖 2014年教育部自然科学二等奖（排名1/3）

研究领域

形式化方法及其应用、隐私性与安全性、不确定性推理

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

1.J. Yang, Y. Cao*, and H. Wang, Differential privacy in probabilistic systems, Information and Computation, 254 (2017), 84-104. 2.H. Pan, Y. Li, Y. Cao*, D. Li, Reachability in fuzzy game graphs, IEEE Transactions on Fuzzy Systems, 25 (2017), 972-984. 3.H. Pan, Y. Li, Y. Cao*, Z. Ma, Model checking computation tree logic over finite lattices, Theoretical Computer Science, 612 (2016), 45-62. 4.W. Chen, Y. Cao*, and H. Wang, Conditional anonymity with non-probabilistic adversary, Information Sciences, 324 (2015), 32-43. 5.Y. Cao*, L. Xia, and M. Ying, Probabilistic automata for computing with words, Journal of Computer and System Sciences, 79 (2013), 152-172. 6.Y. Cao*, S. X. Sun, H. Wang, and G. Chen, A behavioral distance for fuzzy- transition systems, IEEE Transactions on Fuzzy Systems, 21 (2013), 735-747. 7.Y. Cao*, Reliability of mobile processes with noisy channels, IEEE Transactions on Computers, 61 (2012), 1217-1230. 8.S. Huang, Y. Cao*, H. Wang, and W. Qu, Value-passing CCS with noisy channels, Theoretical Computer Science, 433 (2012), 43-59. 9.Y. Cao* and Y. Ezawa, Comments on “State-feedback control of fuzzy discrete- event systems”, IEEE Transactions on Systems, Man, and Cybernetics—Part B: Cybernetics, 41 (2011), 1170-1172. 10.Y. Cao*, G. Chen, and E. E. Kerre, Bisimulations for fuzzy-transition systems, IEEE Transactions on Fuzzy Systems, 19 (2011), 540-552. 11.Y. Cao* and G. Chen, A fuzzy Petri nets model for computing with words, IEEE Transactions on Fuzzy Systems, 18 (2010), 486-499. 12.Y. Cao*, M. Ying, and G. Chen, State-based control of fuzzy discrete-event systems, IEEE Transactions on Systems, Man, and Cybernetics—Part B: Cybernetics, 37 (2007), 410-424. 13.Y. Cao*, M. Ying, and G. Chen, Retraction and generalized extension of computing with words, IEEE Transactions on Fuzzy Systems, 15 (2007), 1238-1250. 14.Y. Cao* and M. Ying, Similarity-based supervisory control of discrete-event systems, IEEE Transactions on Automatic Control, 51 (2006), 325-330. 15.Y. Cao* and M. Ying, Observability and decentralized control of fuzzy discrete-event systems, IEEE Transactions on Fuzzy Systems, 14 (2006), 202-216. 16.Y. Cao* and M. Ying, Supervisory control of fuzzy discrete event systems, IEEE Transactions on Systems, Man, and Cybernetics—Part B: Cybernetics, 35 (2005), 366-371.