now163
- The Small Community Phenomena in Networks2011-04-28
- Assuring the Model Evolution of Protocol Software Specifications by Regression Testing Process Improvement2011-04-21
- Kolmogorov complexity, Computability and Probability2011-04-07
- Two counting complexity dichotomy theorems2011-03-31
- A Vision for Computer Science – The System Perspective2011-03-08
- 图灵奖获得者Joseph Sifakis教授来访2011-03-08
- A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems2011-01-13
- Incremental Component-based Construction and Verification2011-01-06
- Automating Open Bisimulation Checking for the Spi Calculus2010-11-25
- Turning Temporal Logic on its Head with Time Reversal2010-10-25
- An introduction to the model verifier ‘verds’2010-09-15
- Emergence and adaptability in complex systems2010-09-14
- Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs2010-09-14
- A Model of Cooperative Threads2010-06-17
- Reverse Engineering With Grammatical and Visual Suppor2010-06-04
- Creating a science base to support new directions in computer science2010-05-24
- Improving Software Quality with Parfait2010-05-12
- Grammar Inference Technology Applications in Software Engineering2010-05-11
- Internet-based Control Systems Design and Application2010-04-22
- Challenges, Approaches and Benefits of Standardisation for Safety in Railway2010-04-19