• 2012-04-06Information Visualization and Its Applications to Analytics Systems
• 2012-02-26Width-parameterized SAT: time-space tradeoffs
• 2012-01-08先进列车运行控制技术的研究与发展
• 2012-01-04Multiparty session types and Multiparty Session Automata
• 2011-12-27Degrees of non-determinacy of computable games and linear logic
• 2011-12-15Redundant Synchronization Event Removal for Data Race Detection
• 2011-12-13Fault Localization Inspired by the PIE Model
• 2011-12-08Data-driven display advertising in USA and China
• 2011-12-06Specification Theories of Modal Transition Systems
• 2011-12-05The MSO Theory of Connectedly Communicating Processes
• 2011-12-01Symbolically Bounding the Drift in Time-Constrained Message-Sequence-Chart Graphs
• 2011-11-29Language Theoretic CEGAR
• 2011-11-17Monitor-Based Statistical Model checking for Weighted Metric Temporal Logic
• 2011-11-11Complexity Issues of Ternary Boolean Diagrams
• 2011-11-03On the origin of events: maximal confluent processes
• 2011-10-28Software and System developments using Formal Models, Refinements, and Proofs with Event-B
• 2011-10-20Recent advances in program synthesis
• 2011-10-18Game Solving for Industrial Automation and Control – Models,Algorithms, and Tools
• 2011-10-12Real Time Edit Propagation by Efficient Sampling
• 2011-09-08Making big steps in trajectories