机构

• 软件研究所 [46]

采集方式

• OAI收割 [46]

内容类型

• 会议论文 [30]
• 期刊论文 [14]
• 学位论文 [2]

发表日期

• 2014 [5]
• 2013 [4]
• 2012 [5]
• 2011 [6]
• 2010 [9]
• 2009 [3]
• 更多

学科主题

• Computer S... [3]
• 计算机科学技术基础学... [1]

筛选

浏览/检索结果: 共46条，第1-10条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Differential analysis of the Extended Generalized Feistel Networks 期刊论文  OAI收割 Information Processing Letters, 2014, 卷号: 114, 期号: 12, 页码: 723-727 Zhang, Lei (1); Wu, Wenling (1)   |  收藏  |   Probably safe or live 会议论文  OAI收割 Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, Vienna, Austria, July 14, 2014 - July 18, 2014 Katoen, Joost-Pieter (1); Song, Lei (2); Zhang, Lijun (3)   |  收藏  |   Bisimulations and logical characterizations on continuous-time markov decision processes 会议论文  OAI收割 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, San Diego, CA, United states, January 20, 2014 - January 21, 2014 Song, Lei (1); Zhang, Lijun (2); Godskesen, Jens Chr. (3)   |  收藏  |   Reflection cryptanalysis of PRINCE-like ciphers 会议论文  OAI收割 20th International Workshop on Fast Software Encryption, FSE 2013, Singapore, Singapore, March 11, 2013 - March 13, 2013 Soleimany, Hadi (1); Blondeau, Cé; line (1); Yu, Xiaoli (2); Wu, Wenling (2); Nyberg, Kaisa (1); Zhang, Huiling (2); Zhang, Lei (2); Wang, Yanfeng (2)   |  收藏  |   Bridging the gap of network management and anomaly detection through interactive visualization 会议论文  OAI收割 2014 7th IEEE Pacific Visualization Symposium, PacificVis 2014, Yokohama, Kanagawa, Japan, March 4, 2014 - March 7, 2014 Zhang, Tao (1); Liao, Qi (1); Shi, Lei (2)   |  收藏  |   A FAULT LOCALIZATION FRAMEWORK TO ALLEVIATE THE IMPACT OF EXECUTION SIMILARITY 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2013, 卷号: 23, 期号: 7, 页码: 963-998 Zhao, Lei; Zhang, Zhenyu; Wang, Lina; Yin, Xiaodan   |  收藏  |   BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA 期刊论文  OAI收割 LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 卷号: 9, 期号: 2 Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming   |  收藏  |   Revisiting weak simulation for substochastic Markov chains 会议论文  OAI收割 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, Buenos Aires, Argentina, August 27, 2013 - August 30, 2013 Jansen, David N. (1); Song, Lei (2); Zhang, Lijun (3)   |  收藏  |   Incremental bisimulation abstraction refinement 会议论文  OAI收割 2013 13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, July 8, 2013 - July 10, 2013 Song, Lei (1); Zhang, Lijun (2); Hermanns, Holger (1); Godskesen, Jens Chr. (3)   |  收藏  |   mining associations to improve the effectiveness of fault localization 期刊论文  OAI收割 Jisuanji Xuebao/Chinese Journal of Computers, 2012, 卷号: 35, 期号: 12, 页码: 2528-2540 Zhao Lei; Wang Li-Na; Gao Dong-Ming; Zhang Zhen-Yu; Xiong Zuo-Ting   |  收藏  |