Li Tan

	2012
45		Li Tan: A Well-typed Lightweight Situation Calculus CoRR abs/1201.2430: (2012)
44		Li Tan, Yangqiu Song, Shixia Liu, Lexing Xie: ImageHive: Interactive Content-Aware Image Summarization. IEEE Computer Graphics and Applications 32(1): 46-55 (2012)
43		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)
	2011
42		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
41		Chongchong Yu, Jingyan Wang, Li Tan, Xuyan Tu: A bridge structural health data analysis model based on semi-supervised learning. ICAL 2011: 30-34
40		Li Tan, Axel Krings: An Adaptive N-Variant Software Architecture for Multi-Core Platforms: Models and Performance Analysis. ICCSA (2) 2011: 490-505
39		Li Tan: State Coverage Metrics for Specification-Based Testing with Büchi Automata. TAP 2011: 171-186
38		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
37		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
36		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
35		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)
34		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)
33		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)
	2010
32		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
31		Li Tan, Axel Krings: A Hierarchical Formal Framework for Adaptive N-variant Programs in Multi-core Systems. ICDCS Workshops 2010: 7-12
30		Zhuan-De Wang, Chuan-Sheng Yang, Li Tan: Relationship of eigenvalue between MPSD iterative matrix and Jacobi iterative matrix. ICMLC 2010: 3150-3153
29		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
28		Lei Shi, Furu Wei, Shixia Liu, Li Tan, Xiaoxiao Lian, Michelle X. Zhou: Understanding text corpora with multiple facets. IEEE VAST 2010: 99-106
27		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
26		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
25		Fang Tian, Zhiyong Feng, Qixun Zhang, Li Tan: An Information Accuracy Based Mesh Division Mechanism for Cognitive Pilot Channel. VTC Spring 2010: 1-5
24		Dian Fan, Zhiyong Feng, Li Tan, Vanbien Le, Jingqun Song: Distributed Self-Healing for Reconfigurable WLANs. WCNC 2010: 1-6
	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
22		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
21		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
20		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
19		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
18		Li Tan, Yuanda Cao, Minghua Yang, Jiong Yu: A Novel Fusion Method for Semantic Concept Classification in Video. JSW 4(9): 968-975 (2009)
17		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)
	2008
16		Li Tan, Shenghan Xu: Model check stochastic supply chains. IRI 2008: 416-421
	2007
15		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
14		Li Tan, Qi Zhong-ying, Sui Xue-shen, Lei Ying: Heterogeneous Agent Beliefs and Clustered Volatility in Commodity Futures Market. IPC 2007: 479-482
13		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
	2006
12		Li Tan: Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications. QSIC 2006: 151-158
	2005
11		Li Tan: Model-based self-monitoring embedded programs with temporal logic specifications. ASE 2005: 380-383
10		Jiong Yu, Yuanda Cao, Yonggang Lin, Li Tan: Research on Security Architecture and Privacy Policy of Grid Computing System. SKG 2005: 117
	2004
9		Li Tan: PlayGame: A Platform for Diagnostic Games. CAV 2004: 492-495
8		Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee: Model-based Testing and Monitoring for Hybrid Embedded Systems. IRI 2004: 487-492
7		Li Tan, Oleg Sokolsky, Insup Lee: Specification-based Testing with Linear Temporal Logic. IRI 2004: 493-498
	2003
6		David P. Miller, Li Tan, Scott Swindell: Simplified navigation and traverse planning for a long-range planetary rover. ICRA 2003: 2436-2441
5		Li Tan, Jesung Kim, Insup Lee: Testing and Monitoring Model-based Generated Program. Electr. Notes Theor. Comput. Sci. 89(2): 128-148 (2003)
	2002
4		Li Tan, Rance Cleaveland: Evidence-Based Model Checking. CAV 2002: 455-470
3		Li Tan: An Abstract Schema for Equivalence-Checking Games. VMCAI 2002: 65-78
	2001
2		Li Tan, Rance Cleaveland: Simulation Revisited. TACAS 2001: 480-495
1		Li Tan, Jan Jiang: Adaptive Volterra filters for active control of nonlinear noise processes. IEEE Transactions on Signal Processing 49(8): 1667-1676 (2001)

Coauthor Index

1	Na Cai	[13]
2	Nan Cao	[19]
3	Yuanda Cao	[10] [15] [18]
4	Yami Chen	[36] [38]
5	Rance Cleaveland	[2] [4]
6	Weiwei Cui	[34]
7	Zhe Dang	[32]
8	Brock Erwin	[23]
9	Dian Fan	[24]
10	Zhiyong Feng	[17] [24] [25] [26] [36] [37] [38]
11	Thomas R. Fischer	[32]
12	Zekai Gao	[34]
13	T. Aaron Gulliver	[37]
14	Jan Jiang	[1]
15	Jean Jiang	[43]
16	Jun Jiang	[21]
17	Zhong Jing	[37]
18	Jesung Kim	[5] [8]
19	Min Sik Kim	[32]
20	Axel Krings	[31] [40]
21	Vanbien Le	[24]
22	Insup Lee	[5] [7] [8]
23	Jintao Li (Jin-Tao Li)	[13]
24	Ming Li	[13]
25	Yizhe Li	[26] [36] [38]
26	Wei Li	[37]
27	Xiaoxiao Lian	[28]
28	Litao Liang	[17]
29	Ching-Yung Lin	[19]
30	Yonggang Lin	[10]
31	Jie Liu	[42]
32	Shixia Liu	[19] [27] [28] [34] [44]
33	Benjamin Meyer	[23]
34	David P. Miller	[6]
35	Shimei Pan	[27]
36	Weihong Qian	[19] [27] [29]
37	Huamin Qu	[34]
38	Yuanyuan Ran	[13]
39	Peng Shang	[20] [22] [33]
40	Conglei Shi	[34]
41	Lei Shi	[19] [27] [28] [29]
42	Oleg Sokolsky	[7] [8]
43	Jingqun Song	[24]
44	Yangqiu Song	[27] [34] [44]
45	Gang Su	[20] [21] [22] [33]
46	Jimeng Sun	[19]
47	Scott Swindell	[6]
48	Sheng Tang	[13]
49	Kun Tao	[13]
50	Fang Tian	[25] [26]
51	Xin Tong	[34]
52	Xuyan Tu	[41]
53	Guodong Wang	[19]
54	Jingyan Wang	[41]
55	Liangmo Wang	[35] [43]
56	Lu Wang	[42]
57	Zhuan-De Wang	[30]
58	Furu Wei	[27] [28] [29]
59	Lexing Xie	[44]
60	Shao-Xi Xu	[13]
61	Shenghan Xu	[16] [23]
62	Sui Xue-shen	[14]
63	Chuan-Sheng Yang	[30]
64	Linmin Yang	[32]
65	Minghua Yang	[15] [18]
66	Lei Ying	[14]
67	Chongchong Yu	[41] [42]
68	Jiong Yu	[10] [15] [18]
69	Qi Zhan	[33]
70	Changyou Zhang	[15]
71	Hui Zhang	[21]
72	Ping Zhang	[36] [38]
73	Qiang Zhang	[27]
74	Qixun Zhang	[25] [26] [36] [38]
75	Xu Zhang	[13]
76	Yongdong Zhang (Yong-Dong Zhang)	[13]
77	Ping Zhang	[17]
78	Qi Zhong-ying	[14]
79	Michelle X. Zhou	[27] [28]
80	Guangxi Zhu	[20] [21] [22] [33]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page