- 2011-05-19Analyzing Semilinear and Upward-closed Sets of Petri Nets
- 2011-05-12Assisting the Design of XML Schema: Diagnosing Nondeterministic Content Models
- 2011-04-29Relational Reasoning about Concurrent Program Transformation
- 2011-04-28The Small Community Phenomena in Networks
- 2011-04-21Assuring the Model Evolution of Protocol Software Specifications by Regression Testing Process Improvement
- 2011-04-07Kolmogorov complexity, Computability and Probability
- 2011-03-31Two counting complexity dichotomy theorems
- 2011-03-08A Vision for Computer Science – The System Perspective
- 2011-01-13A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems
- 2011-01-06Incremental Component-based Construction and Verification
- 2010-11-25Automating Open Bisimulation Checking for the Spi Calculus
- 2010-10-25Turning Temporal Logic on its Head with Time Reversal
- 2010-09-15An introduction to the model verifier ‘verds’
- 2010-09-14Emergence and adaptability in complex systems
- 2010-09-14Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs
- 2010-06-17A Model of Cooperative Threads
- 2010-06-04Reverse Engineering With Grammatical and Visual Suppor
- 2010-05-24Creating a science base to support new directions in computer science
- 2010-05-12Improving Software Quality with Parfait
- 2010-05-11Grammar Inference Technology Applications in Software Engineering