计算机科学国家重点实验室

State Key Laboratory of Computer Science


Archive for the ‘学术报告’ Category

Abstraction-based Computation of Reward Measures for Markov Automata

2014/12/02, Ralf Wimmer

Quantum simulation: challenges and opportunities

2014/11/27, Man-Hong Yung

Probabilistic Termination

2014/11/25, Holger Hermanns

Efficient Data Structures and Sorting Algorithms for Bisimulation

2014/11/06, 10:30 to 12:00. David N. Jansen

云服务集成中的安全问题,以及程序分析技术在这一领域的潜力(Security Problems in Cloud Services Integration, and the Potential of Program Analysis Technologies in This Field)

2014/11/15, 10:00 to 12:00. Shuo Chen

Rss Feeds