Li Tan

Gang Su, Liang Wang, Li Tan, Xiao-Qing Peng: An efficient scheduling scheme based on MET for MIMO systems. IJWMC 6(1): 27-33 (2013)

Li Tan, Min Feng, Rajiv Gupta: Lightweight fault detection in parallelized programs. CGO 2013: 1-11

Lars J. Kangas, Thomas O. Metz, Giorgis Isaac, Brian T. Schrom, Bojana Ginovska-Pangovska, Luning Wang, Li Tan, Robert R. Lewis, John H. Miller: In silico identification software (ISIS): a machine learning approach to tandem mass spectral identification of lipids. Bioinformatics 28(13): 1705-1713 (2012)

Li Tan, Yangqiu Song, Shixia Liu, Lexing Xie: ImageHive: Interactive Content-Aware Image Summarization. IEEE Computer Graphics and Applications 32(1): 46-55 (2012)

Li Tan, Shenghan Xu, Benjamin Meyer, Brock Erwin: An extensible object-oriented and agent-based framework for modelling and simulating supply chains. IJIDS 4(2/3): 251-267 (2012)

Gang Su, Yun-Xiang Liu, Li Tan, Hong-Yi Zhao: Analysis of adaptive proportional fair scheduling method on BD-GMD scheme for MIMO systems. IJWMC 5(4): 351-357 (2012)

Li Tan, Jean Jiang, Liangmo Wang: Pole-Radius-Varying IIR Notch Filter With Transient Suppression. IEEE T. Instrumentation and Measurement 61(6): 1684-1691 (2012)

Zhiyong Feng, Qixun Zhang, Fang Tian, Li Tan, Ping Zhang: Novel Research on Cognitive Pilot Channel in Cognitive Wireless Network. Wireless Personal Communications 62(2): 455-478 (2012)

Li Tan, Ronald Haley, Riley Wortman, Qin Zhang: An extensible and integrated software architecture for data analysis and visualization in precision agriculture. IRI 2012: 271-278

Bolong Zeng, Li Tan: Test criteria for model-checking-assisted test case generation: A computational study. IRI 2012: 600-607

Li Tan: A Well-typed Lightweight Situation Calculus. CoRR abs/1201.2430 (2012)

Qi Zhan, Guangxi Zhu, Li Tan, Peng Shang, Gang Su: A Novel Dynamic Proportional Fair Scheduling Based on Block Diagonal Geometric Mean Decomposition. JNW 6(1): 71-79 (2011)

Li Tan, Liangmo Wang: Oversampling Technique for Obtaining Higher Order Derivative of Low-Frequency Signals. IEEE T. Instrumentation and Measurement 60(11): 3677-3684 (2011)

Weiwei Cui, Shixia Liu, Li Tan, Conglei Shi, Yangqiu Song, Zekai Gao, Huamin Qu, Xin Tong: TextFlow: Towards Better Understanding of Evolving Topics in Text. IEEE Trans. Vis. Comput. Graph. 17(12): 2412-2421 (2011)

Li Tan, Lu Wang, Chongchong Yu, Jie Liu: Design and Implimentation of Rural New Energy Source Gis System Based on Kml. ICAIC (1) 2011: 439-447

Chongchong Yu, Jingyan Wang, Li Tan, Xuyan Tu: A bridge structural health data analysis model based on semi-supervised learning. ICAL 2011: 30-34

Li Tan, Axel W. Krings: An Adaptive N-Variant Software Architecture for Multi-Core Platforms: Models and Performance Analysis. ICCSA (2) 2011: 490-505

Li Tan: State Coverage Metrics for Specification-Based Testing with Büchi Automata. TAP 2011: 171-186

Ping Zhang, Yami Chen, Zhiyong Feng, Qixun Zhang, Yizhe Li, Li Tan: Joint Power Control and Scheduling Strategies for OFDMA Femtocells in Hierarchical Networks. VTC Spring 2011: 1-5

Li Tan, Zhiyong Feng, Wei Li, Zhong Jing, T. Aaron Gulliver: Graph coloring based spectrum allocation for femtocell downlink interference mitigation. WCNC 2011: 1248-1252

Yami Chen, Zhiyong Feng, Ping Zhang, Yizhe Li, Qixun Zhang, Li Tan: Complete interference solution with MWSC consideration for OFDMA macro/femtocell hierarchical networks. WCNC 2011: 2191-2196

Li Tan, Axel W. Krings: A Hierarchical Formal Framework for Adaptive N-variant Programs in Multi-core Systems. ICDCS Workshops 2010: 7-12

Zhuan-De Wang, Chuan-Sheng Yang, Li Tan: Relationship of eigenvalue between MPSD iterative matrix and Jacobi iterative matrix. ICMLC 2010: 3150-3153

Lei Shi, Furu Wei, Shixia Liu, Li Tan, Xiaoxiao Lian, Michelle X. Zhou: Understanding text corpora with multiple facets. IEEE VAST 2010: 99-106

Lei Shi, Weihong Qian, Furu Wei, Li Tan: VisWorks text and network visual analytics: VAST 2010 Mini Challenge 1 award: "Effective interactive visualization of document contents". IEEE VAST 2010: 269-270

Furu Wei, Shixia Liu, Yangqiu Song, Shimei Pan, Michelle X. Zhou, Weihong Qian, Lei Shi, Li Tan, Qiang Zhang: TIARA: a visual exploratory text analytic system. KDD 2010: 153-162

Linmin Yang, Zhe Dang, Thomas R. Fischer, Min Sik Kim, Li Tan: Entropy and software systems: towards an information-theoretic foundation of software testing. FoSER 2010: 427-432

Yizhe Li, Zhiyong Feng, Qixun Zhang, Li Tan, Fang Tian: Cognitive Optimization Scheme of Coverage for Femtocell Using Multi-Element Antenna. VTC Fall 2010: 1-5

Fang Tian, Zhiyong Feng, Qixun Zhang, Li Tan: An Information Accuracy Based Mesh Division Mechanism for Cognitive Pilot Channel. VTC Spring 2010: 1-5

Dian Fan, Zhiyong Feng, Li Tan, Vanbien Le, Jingqun Song: Distributed Self-Healing for Reconfigurable WLANs. WCNC 2010: 1-6

Zhiyong Feng, Litao Liang, Li Tan, Ping Zhang: Q-learning based heterogenous network self-optimization for reconfigurable network with CPC assistance. Science in China Series F: Information Sciences 52(12): 2360-2368 (2009)

Li Tan, Yuanda Cao, Minghua Yang, Jiong Yu: A Novel Fusion Method for Semantic Concept Classification in Video. JSW 4(9): 968-975 (2009)

Lei Shi, Nan Cao, Shixia Liu, Weihong Qian, Li Tan, Guodong Wang, Jimeng Sun, Ching-Yung Lin: HiMap: Adaptive visualization of large-scale online social networks. PacificVis 2009: 41-48

Axel W. Krings, Li Tan, Clinton Jeffery, Robert Rinker: Resilient multi-core systems: a hierarchical formal model for N-variant executions. CSIIRW 2009: 23

Li Tan, Shenghan Xu, Benjamin Meyer, Brock Erwin: An Agent-based Formal Framework for Modeling and Simulating Supply Chains. IRI 2009: 224-229

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

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

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

Li Tan, Shenghan Xu: Model check stochastic supply chains. IRI 2008: 416-421

Minghua Yang, Yuanda Cao, Li Tan, Changyou Zhang, Jiong Yu: A New Multi-quality Image Fusion Method in Visual Sensor Network. IIH-MSP 2007: 667-670

Li Tan, Qi Zhong-ying, Sui Xue-shen, Lei Ying: Heterogeneous Agent Beliefs and Clustered Volatility in Commodity Futures Market. IPC 2007: 479-482

Sheng Tang, Yong-Dong Zhang, Jin-Tao Li, Ming Li, Na Cai, Xu Zhang, Kun Tao, Li Tan, Shao-Xi Xu, Yuanyuan Ran: TRECVID 2007 High-Level Feature Extraction By MCG-ICT-CAS. TRECVID 2007

Li Tan: Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications. QSIC 2006: 151-158

Li Tan: Model-based self-monitoring embedded programs with temporal logic specifications. ASE 2005: 380-383

Jiong Yu, Yuanda Cao, Yonggang Lin, Li Tan: Research on Security Architecture and Privacy Policy of Grid Computing System. SKG 2005: 117

Li Tan: PlayGame: A Platform for Diagnostic Games. CAV 2004: 492-495

Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee: Model-based Testing and Monitoring for Hybrid Embedded Systems. IRI 2004: 487-492

Li Tan, Oleg Sokolsky, Insup Lee: Specification-based Testing with Linear Temporal Logic. IRI 2004: 493-498

Li Tan, Jesung Kim, Insup Lee: Testing and Monitoring Model-based Generated Program. Electr. Notes Theor. Comput. Sci. 89(2): 128-148 (2003)

David P. Miller, Li Tan, Scott Swindell: Simplified navigation and traverse planning for a long-range planetary rover. ICRA 2003: 2436-2441

Li Tan, Rance Cleaveland: Evidence-Based Model Checking. CAV 2002: 455-470

Li Tan: An Abstract Schema for Equivalence-Checking Games. VMCAI 2002: 65-78

Li Tan, Jan Jiang: Adaptive Volterra filters for active control of nonlinear noise processes. IEEE Transactions on Signal Processing 49(8): 1667-1676 (2001)

Li Tan, Rance Cleaveland: Simulation Revisited. TACAS 2001: 480-495