• Constant-Approximation for Minimum Connected Dominating Set with Small Routing Cost in Wireless Sensor Networks2011-06-24
• Logic, Co-induction and Infinite Computation2011-06-21
• A new style of theorem proving for program checking2011-06-09
• Specification in PDL with Recursion2011-05-26
• A journey into the semantics of programming languages2011-05-24
• Analyzing Semilinear and Upward-closed Sets of Petri Nets2011-05-19
• Assisting the Design of XML Schema: Diagnosing Nondeterministic Content Models2011-05-12
• Relational Reasoning about Concurrent Program Transformation2011-04-29
• 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