 | 2009 |
| 16 |  | Peng Shang,
Gang Su,
Guangxi Zhu,
Li Tan:
Proportional Fair Scheduling Based on Genetic Algorithms for Multi-user MIMO Systems.
ISNN (2) 2009: 510-519 |
| 15 |  | Li Tan,
Gang Su,
Guangxi Zhu,
Jun Jiang,
Hui Zhang:
An Improved Margin Adaptive Subcarrier Allocation with Fairness for Multiuser OFDMA System.
ISNN (3) 2009: 829-838 |
| 14 |  | Li Tan,
Gang Su,
Guangxi Zhu,
Peng Shang:
A Multiple Weighting Matrices Selection Scheme Based on Orthogonal Random Beamforming for MIMO Downlink System.
ISNN (3) 2009: 864-873 |
| 2008 |
| 13 |  | Li Tan,
Shenghan Xu:
Model check stochastic supply chains.
IRI 2008: 416-421 |
| 2007 |
| 12 |  | Li Tan,
Qi Zhong-ying,
Sui Xue-shen,
Lei Ying:
Heterogeneous Agent Beliefs and Clustered Volatility in Commodity Futures Market.
IPC 2007: 479-482 |
| 2006 |
| 11 |  | Li Tan:
Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications.
QSIC 2006: 151-158 |
| 2005 |
| 10 |  | Li Tan:
Model-based self-monitoring embedded programs with temporal logic specifications.
ASE 2005: 380-383 |
| 9 |  | Jiong Yu,
Yuanda Cao,
Yonggang Lin,
Li Tan:
Research on Security Architecture and Privacy Policy of Grid Computing System.
SKG 2005: 117 |
| 2004 |
| 8 |  | Li Tan:
PlayGame: A Platform for Diagnostic Games.
CAV 2004: 492-495 |
| 7 |  | Li Tan,
Jesung Kim,
Oleg Sokolsky,
Insup Lee:
Model-based Testing and Monitoring for Hybrid Embedded Systems.
IRI 2004: 487-492 |
| 6 |  | Li Tan,
Oleg Sokolsky,
Insup Lee:
Specification-based Testing with Linear Temporal Logic.
IRI 2004: 493-498 |
| 2003 |
| 5 |  | David P. Miller,
Li Tan,
Scott Swindell:
Simplified navigation and traverse planning for a long-range planetary rover.
ICRA 2003: 2436-2441 |
| 4 |  | Li Tan,
Jesung Kim,
Insup Lee:
Testing and Monitoring Model-based Generated Program.
Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
| 2002 |
| 3 |  | Li Tan,
Rance Cleaveland:
Evidence-Based Model Checking.
CAV 2002: 455-470 |
| 2 |  | Li Tan:
An Abstract Schema for Equivalence-Checking Games.
VMCAI 2002: 65-78 |
| 2001 |
| 1 |  | Li Tan,
Rance Cleaveland:
Simulation Revisited.
TACAS 2001: 480-495 |