• 2019-09-17[09-17] On Solving String Constraints
• 2019-08-01[08.20]Scalable Analysis and Control of Boolean Networks
• 2019-07-09[07.20]-Beyond NP Revolution
• 2019-07-04[07.09]-慕课中的故事化学习法：双城记
• 2019-07-04[07.09]-Augmenting Stream Constraint Programming with Eventuality Conditions
• 2019-07-02[07.03]-Formal Proofs of Tarjan’s Strongly Connected Components Algorithm in Why3, Coq and Isabelle
• 2019-07-02[07.05]-Trustworthy Cyber-Physical Systems: Dream or Reality?
• 2019-06-11Classification Program for Counting Problems
• 2019-05-28The mCRL2 behavioural specification language and tools, including new developments
• 2019-05-14Symbolic semantics for Open Systems and their Bisimulation algorithms
• 2015-08-19The Evolutionary Benefit of Recombination
• 2014-12-29不可行路径片段制导的线性混成自动机有界可达性检验及全局性质推导
• 2014-12-09Practical Concurrent and Parallel Programming
• 2014-12-09Communicating Transactions (a Survey)
• 2014-12-03Fast sheet-defined functions in spreadsheets
• 2014-12-01Abstraction-based Computation of Reward Measures for Markov Automata
• 2014-11-24Quantum simulation: challenges and opportunities
• 2014-11-24Probabilistic Termination
• 2014-11-13Efficient Data Structures and Sorting Algorithms for Bisimulation
• 2014-10-29云服务集成中的安全问题，以及程序分析技术在这一领域的潜力(Security Problems in Cloud Services Integration, and the Potential of Program Analysis Technologies in This Field)