• 大规模Partial MaxSAT问题的高效求解2019-07-17
• 笔式人机交互关键技术及应用2019-07-17
• 主持我国SM2和SM9数字签名算法写入ISO/IEC 14888-3标准正文正式发布2019-07-17
• 计算机科学国家重点实验室计算资源管理条例（试行）2019-07-15
• Journal 20162019-07-14
• Journal 20152019-07-14
• Journal 20142019-07-14
• Journal 20132019-07-14
• Journal 20122019-07-14
• Journal 20112019-07-14
• Journal 20102019-07-14
• Journal 20092019-07-14
• Journal 20082019-07-14
• Journal,before 20082019-07-14
• Conference 20162019-07-14