- Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
- Chinese Currency Exchange Rates Analysis: Risk Management, Forecasting and Hedging Strategies
- Theory of Translation Closedness for Time Scales: With Applications in Translation Functions and Dynamic Equations
- Computational Advertising: Market and Technologies for Internet Commercial Monetization
- Safe Robot Navigation Among Moving and Steady Obstacles