- User-Habit-Oriented Authentication Model: Toward Secure, Use... [2014-10-13]
- Logical Time @ Work: examples of applications [2014-10-13]
- On Methodology of Conducting Highly Effective Scientific and... [2014-09-01]
- Quantum entanglement and the finite gap integration [2014-07-22]
- Image Reconstruction in Multi-contrast Partially Parallel MR... [2014-06-11]
- Challenges to the Design and Optimization of Cyber-Physical ... [2014-03-11]
- Stochastic Lambda Calculi [2013-10-21]
- A Logical Revolution [2013-10-14]
- Super extension of Bell polynomials with applications to sup... [2013-10-14]
©2016 华东师范大学高可信计算重点实验室