• 2011-09-01Security and privacy implications of the multi-component nature of Software-as-a-Service
• 2011-07-27Towards a Coalgebraic Interpretation of Propositional Dynamic Logic
• 2011-07-27Model-Checking Algorithms for CTMDPS
• 2011-07-14Formal validation and requirements management based on the Jackson’s reference model
• 2011-06-24Constant-Approximation for Minimum Connected Dominating Set with Small Routing Cost in Wireless Sensor Networks
• 2011-06-21Logic, Co-induction and Infinite Computation
• 2011-06-09A new style of theorem proving for program checking
• 2011-05-26Specification in PDL with Recursion
• 2011-05-24A journey into the semantics of programming languages
• 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