- 高安全软件的建模与分析 [2015-03-13]
- Scheduling algorithms for heterogeneous and failure-prone pl... [2015-01-13]
- Topic modeling and machine learning at Twitter [2014-12-29]
- An Overview of Security and Privacy Issues: Bring Your Own D... [2014-12-23]
- Personalized Trajectory Matching in Spatial Networks [2014-12-15]
- Massive Data Algorithmic: Power of Data Summarization [2014-12-15]
- Continuous and discrete integrable systems: case study for t... [2014-12-11]
- Cybersecurity Data Analytics [2014-12-09]
- Automating Customized Computing [2014-12-09]
- 可积理论中的基本变换 [2014-12-03]
- Using Evidenced Based Software Engineering to study User Inv... [2014-11-17]
- 面向领域的数据驱动的数据挖掘（3DM） [2014-11-05]
- Multi-Path Routing and Forwarding in Non-Cooperative Wireles... [2014-11-05]
- Computability revisited [2014-11-03]
©2016 华东师范大学高可信计算重点实验室