now163
- Fast sheet-defined functions in spreadsheets2014-12-03
- Abstraction-based Computation of Reward Measures for Markov Automata2014-12-01
- Quantum simulation: challenges and opportunities2014-11-24
- Probabilistic Termination2014-11-24
- “软件与网络安全” 科学与技术前沿论坛成功召开2014-11-18
- Efficient Data Structures and Sorting Algorithms for Bisimulation2014-11-13
- 云服务集成中的安全问题,以及程序分析技术在这一领域的潜力(Security Problems in Cloud Services Integration, and the Potential of Program Analysis Technologies in This Field)2014-10-29
- 中国科学院学部“软件与网络安全”科学与技术前沿论坛2014-10-24
- Full Abstraction for a Probabilistic Functional Programming Language2014-10-24
- 对缺陷静态检测的一些思考和探索(Thoughts and Explorations on Static Detection of (Software) Defects)2014-10-08
- 硬件辅助的软件可信性运行时检测技术(Hardware-assisted Runtime Verification of Software Trustworthiness)2014-10-08
- INTrEPID: A project on energy optimization in buildings2014-09-05
- A Safety-Critical Java Technology Compatibility Kit2014-09-05
- Querying Big Data: Theory and Practice2014-08-21
- 实验室2014年9月初进行推免生的招生工作2014-08-21
- Formal Semantics in Modern Type Theories: Is It Model-theoretic, Proof-theoretic, or Both?2014-08-13
- Reusable tools for formal modeling of machine code2014-07-18
- Some Problems in Software Safety2014-07-08
- An Efficient Model Checking Algorithm of FG-LTL2014-06-30
- Seminars on 30th June 2014 by Hanghang Tong et al.2014-06-25