- Communicating Concurrent Kleene Algebra and its Use in Desig... [2016-09-06]
- Threshold and Imprecise Numerical Representation （阈值和非... [2016-08-29]
- Census Information Systems [2016-08-22]
- Safety Guard: Protecting Safety-Critical Cyber-Physical Syst... [2016-07-12]
- Resource Management in Cyber-Physical Systems [2016-07-12]
- Traitor Deterring Schemes: Using Bitcoin as Collateral for D... [2016-07-08]
- Constructive approach to evoluvability and sustainability [2016-06-29]
- Role-Based Collaboration and the E-CARGO Model: A Decade Rev... [2016-06-28]
- Privacy-Preserving Data Sharing and Analytics with Different... [2016-06-17]
- Design Automation of Cyber-Physical Systems: from Cars to Bu... [2016-06-13]
- A short wave model of the two-component Degasperis-Proceli e... [2016-06-01]
- Integrable semi-discretizations of a two-component reduced O... [2016-06-01]
- Soybean Sudden Death Early Prediction using phenoDPER [2016-05-24]
- Kaup-Newell方程族的Darboux-Bäcklund变换及其相关问题 [2016-05-23]
©2016 华东师范大学高可信计算重点实验室