中国计算机应用大会暨2013年中国云计算与大数据应用学术会议...

软件所获颁长风开放标准平台软件联盟突出贡献奖

美国西密歇根大学杨子江副教授到软件所交流

软件所获2012年中华全国工商业联合会科技进步二等奖

印度清奈数理科学研究所R.Ramanujam教授到软件所交流

《软件学报》获得中国科学院科学出版基金择优支持

软件所举办“研究生培养与高质量论文撰写”经验交流会

软件所举办首届“大数据时代下的综合集成与知识发现”研讨会

[6-20]Finding the Most Accessible Locations - Reverse Pat...

[6-20]Understanding the Robustness of SSDs under Power Fault

[6-18]Center Problems under Matroid and Knapsack Constraints

[6-18]A Unifying Approach to Assessing Market Power in De...

[6-6]Reachability Probabilities of Quantum Markov Chains

[6-6]Model Checking Stochastic Hybrid Systems

[5-31]Scalable Symbolic Execution

[5-20]Automata for counting data, and some logic