Hai Lin

2008
26	EE	Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Ralph Eric McGregor: Encoding First Order Proofs in SMT. Electr. Notes Theor. Comput. Sci. 198(2): 71-84 (2008)
2007
25		Minghao Yin, Hai Lin, Jigui Sun: Counting Models using Extension Rules. AAAI 2007: 1916-1917
24	EE	Hai Lin, Yunsi Fei: Utilizing custom registers in application-specific instruction set processors for register spills elimination. ACM Great Lakes Symposium on VLSI 2007: 323-328
23	EE	Todd Deshane, Wenjin Hu, Patty Jablonski, Hai Lin, Christopher Lynch, Ralph Eric McGregor: Encoding First Order Proofs in SAT. CADE 2007: 476-491
22	EE	Zhongding Jiang, Xuan Luo, Yandong Mao, Binyu Zang, Hai Lin, Hujun Bao: Interactive Browsing of Large Images on Multi-projector Display Wall System. HCI (2) 2007: 827-836
21	EE	Stéphanie Delaune, Hai Lin, Christopher Lynch: Protocol Verification Via Rigid/Flexible Resolution. LPAR 2007: 242-256
20	EE	Feng Dong, Gordon Clapworthy, Hai Lin: Pseudo surface-texture synthesis. Computers & Graphics 31(2): 252-261 (2007)
2006
19	EE	Hai Lin, H. M. S. B. Senevirathna, Katsumi Yamashita: Blind Carrier Frequency Offset Estimation for OFDM Systems with DC Offset. GLOBECOM 2006
18	EE	Weihong Wang, Qu Li, Shanshan Han, Hai Lin: A Preliminary Study on Constructing Decision Tree with Gene Expression Programming. ICICIC (1) 2006: 222-225
17	EE	Yu Wang, Hai Lin, Huazhong Yang, Rong Luo, Hui Wang: Simultaneous Fine-grain Sleep Transistor Placement and Sizing for Leakage Optimization. ISQED 2006: 723-728
16	EE	Hai Lin, Yu Wang, Rong Luo, Huazhong Yang, Hui Wang: IR-drop Reduction Through Combinational Circuit Partitioning. PATMOS 2006: 370-381
2005
15	EE	Zhenlong Du, Xueying Qin, Hai Lin, Hujun Bao: Shadow Removal in Gradient Domain. ICIAR 2005: 107-115
14	EE	Zhenlong Du, Hai Lin, Xueying Qin, Hujun Bao: Oriented Poisson matting. ICIP (2) 2005: 626-629
13	EE	H. M. S. B. Senevirathna, Katsumi Yamashita, Hai Lin: Self organizing map based channel prediction for OFDMA. ISCAS (3) 2005: 2506-2509
12	EE	Feng Dong, Hai Lin, Gordon Clapworthy: Cutting and Pasting Irregularly Shaped Patches for Texture Synthesis. Comput. Graph. Forum 24(1): 17-26 (2005)
11	EE	Jianfeng Lu, Zhigeng Pan, Hai Lin, Mingmin Zhang, Jiaoying Shi: Virtual learning environment for medical education based on VRML and VTK. Computers & Graphics 29(2): 283-288 (2005)
10	EE	Hai Lin, Katsumi Yamashita: Bayesian Decision Feedback Equalizer with Receiver Diversity Combining. IEICE Transactions 88-A(2): 597-598 (2005)
2004
9	EE	Zhigeng Pan, Bailin Yang, Mingmin Zhang, Qizhi Yu, Hai Lin: Remote Visualization Based on Grid Computing. ICCSA (2) 2004: 236-245
8	EE	Meleagros A. Krokos, Alexander Savenko, Gordon Clapworthy, Hai Lin, R. Mayoral, Marco Viceconti, Serge L. Van Sint Jan: Real-Time Visualisation within the Multimod Application Framework. IV 2004: 21-26
2003
7	EE	Meleagros A. Krokos, Hai Lin, Gordon Clapworthy, Feng Dong: Focal Points and Intuitive 3D Controls for Human Kinematics Visualisation. IV 2003: 176-182
6	EE	Feng Dong, Gordon Clapworthy, Hai Lin, Meleagros A. Krokos: Nonphotorealistic Rendering of Medical Volume Data. IEEE Computer Graphics and Applications 23(4): 44-52 (2003)
5	EE	Zhongding Jiang, Hai Lin, Hujun Bao, Lizhuang Ma: A Super-Resolution Method with EWA - Elliptical Weighted Average. J. Comput. Sci. Technol. 18(6): 822-832 (2003)
2002
4	EE	Ouri Wolfson, Hu Cao, Hai Lin, Goce Trajcevski, Fengli Zhang, Naphtali Rishe: Management of Dynamic Location Information in DOMINO. EDBT 2002: 769-771
3		Goce Trajcevski, Ouri Wolfson, Hu Cao, Hai Lin, Fengli Zhang, Naphtali Rishe: Managing Uncertain Trajectories of Moving Objects with Domino. ICEIS 2002: 218-225
2001
2	EE	Hai Lin, Gordon Clapworthy, Feng Dong, Meleagros A. Krokos, Jiaoying Shi: Slice-Based Virtual Endoscopy Navigation. IV 2001: 711-716
1999
1	EE	Hai Lin, K. Yamashita: A fast clustering algorithm for equalization using RBF networks. KES 1999: 349-352

Coauthor Index

1	Hujun Bao	[5] [14] [15] [22]
2	Jeremy Bongio	[26]
3	Hu Cao	[3] [4]
4	Gordon Clapworthy	[2] [6] [7] [8] [12] [20]
5	Stéphanie Delaune	[21]
6	Todd Deshane	[23]
7	Feng Dong	[2] [6] [7] [12] [20]
8	Zhenlong Du	[14] [15]
9	Yunsi Fei	[24]
10	Shanshan Han	[18]
11	Wenjin Hu	[23]
12	Patty Jablonski	[23]
13	Serge L. Van Sint Jan	[8]
14	Zhongding Jiang	[5] [22]
15	Cyrus Katrak	[26]
16	Meleagros A. Krokos	[2] [6] [7] [8]
17	Qu Li	[18]
18	Jianfeng Lu	[11]
19	Rong Luo	[16] [17]
20	Xuan Luo	[22]
21	Christopher Lynch	[21] [23] [26]
22	Lizhuang Ma	[5]
23	Yandong Mao	[22]
24	R. Mayoral	[8]
25	Ralph Eric McGregor	[23] [26]
26	Zhigeng Pan	[9] [11]
27	Xueying Qin	[14] [15]
28	Naphtali Rishe	[3] [4]
29	Alexander Savenko	[8]
30	H. M. S. B. Senevirathna	[13] [19]
31	Jiaoying Shi	[2] [11]
32	Jigui Sun	[25]
33	Goce Trajcevski	[3] [4]
34	Marco Viceconti	[8]
35	Hui Wang	[16] [17]
36	Weihong Wang	[18]
37	Yu Wang	[16] [17]
38	Ouri Wolfson	[3] [4]
39	K. Yamashita	[1]
40	Katsumi Yamashita	[10] [13] [19]
41	Bailin Yang	[9]
42	Huazhong Yang	[16] [17]
43	Minghao Yin	[25]
44	Qizhi Yu	[9]
45	Binyu Zang	[22]
46	Fengli Zhang	[3] [4]
47	Mingmin Zhang	[9] [11]

Colors in the list of coauthors