Lin Hu

	2011
28		Lin Hu, Yun Qiu, Guomin Zhou: Research on Orchard Field Data Service System. CCTA (1) 2011: 209-215
27		Lin Hu, Shuying Zhuang: Cultivating Meta-cognitive Strategies in M-Learning with E-Materials of College English. CSEE (3) 2011: 587-591
26		Lin Hu, Youming Liu: Estimation of Bessel Operator Inversion by Shearlet. NL-MUA 2011: 419-426
25		Linfei Nie, Zhidong Teng, Lin Hu: The Dynamics of a Chemostat Model with State Dependent impulsive Effects. I. J. Bifurcation and Chaos 21(5): 1311-1322 (2011)
24		Lin Hu, Siqing Gan: Convergence and stability of the balanced methods for stochastic differential equations with jumps. Int. J. Comput. Math. 88(10): 2089-2108 (2011)
	2010
23		Lin Hu, Guomin Zhou, Yun Qiu: The Simulation of the Apple Tree Form's Effects on Its Photosynthetic Efficiency. CCTA (3) 2010: 138-145
22		Wen-Jun Chen, Lin Hu: Empirical Research on Financial Expenditure Policy to the Effect of Inflation. ISIA 2010: 206-212
	2009
21		Lin Hu, Guomin Zhou, Yun Qiu: Application of Apriori Algorithm to the Data Mining of the Wildfire. FSKD (2) 2009: 426-429
20		Lin Hu, Wei Long, Zikun Nie: Development of PID Neural Network Control System for Temperature of Resistance Furnace. IFITA (3) 2009: 205-208
19		Linfei Nie, Zhidong Teng, Lin Hu, Jigen Peng: The dynamics of a Lotka-Volterra predator-prey model with state dependent impulsive harvest for predator. Biosystems 98(2): 67-72 (2009)
18		Linfei Nie, Zhidong Teng, Lin Hu, Jigen Peng: Permanence and stability in non-autonomous predator-prey Lotka-Volterra systems with feedback controls. Computers & Mathematics with Applications 58(3): 436-448 (2009)
17		Linfei Nie, Zhidong Teng, Lin Hu, Jigen Peng: Existence and stability of periodic solution of a predator-prey model with state-dependent impulsive effects. Mathematics and Computers in Simulation 79(7): 2122-2134 (2009)
	2008
16		Mark Harman, André Baresel, David Binkley, Robert M. Hierons, Lin Hu, Bogdan Korel, Phil McMinn, Marc Roper: Testability Transformation - Program Transformation to Improve Testability. Formal Methods and Testing 2008: 320-344
	2005
15		Lin Hu, Xueliang Li: Sufficient Conditions for the Existence of Perfect Heterochromatic Matchings in Colored Graphs. CJCDGCGT 2005: 47-58
	2004
14		Lin Hu, Mark Harman, Robert M. Hierons, David Binkley: Loop Squashing Transformations for Amorphous Slicing. WCRE 2004: 152-160
13		Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya: Syntax-Directed Amorphous Slicing. Autom. Softw. Eng. 11(1): 27-61 (2004)
12		Mark Harman, Lin Hu, Robert M. Hierons, Joachim Wegener, Harmen Sthamer, André Baresel, Marc Roper: Testability Transformation. IEEE Trans. Software Eng. 30(1): 3-16 (2004)
	2003
11		José Javier Dolado, Mark Harman, Mari Carmen Otero, Lin Hu: An Empirical Investigation of the Influence of a Type of Side Effects on Program Comprehension. IEEE Trans. Software Eng. 29(7): 665-670 (2003)
	2002
10		Mark Harman, Lin Hu, Robert M. Hierons, André Baresel, Harmen Sthamer: Improving Evolutionary Testing By Flag Removal. GECCO 2002: 1359-1366
9		Mark Harman, Lin Hu, Robert M. Hierons, Malcolm Munro, Xingyuan Zhang, José Javier Dolado, Mari Carmen Otero, Joachim Wegener: A Post-Placement Side-Effect Removal Algorithm. ICSM 2002: 2-11
8		Mark Harman, Lin Hu, Robert M. Hierons, Chris Fox, Sebastian Danicic, Joachim Wegener, Harmen Sthamer, André Baresel: Evolutionary Testing Supported by Slicing and Transformation. ICSM 2002: 285
7		Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya: An Interprocedural Amorphous Slicer for WSL. SCAM 2002: 105-114
6		Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu, Sebastian Danicic, Joachim Wegener: VADA: A Transformation-Based System for Variable Dependence Analysis. SCAM 2002: 55-64
5		Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu: Mechanized Operational Semantics of WSL. SCAM 2002: 73-82
4		Xingyuan Zhang, Malcolm Munro, Mark Harman, Lin Hu: Weakest Precondition for General Recursive Programs Formalized in Coq. TPHOLs 2002: 332-348
3		Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang: Source code analysis and manipulation. Information & Software Technology 44(13): 717-720 (2002)
	2001
2		Mark Harman, Malcolm Munro, Lin Hu, Xingyuan Zhang: Side-Effect Removal Transformation. IWPC 2001: 310-322
1		Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang: GUSTT: An Amorphous Slicing System which Combines Slicing and Transformation. WCRE 2001: 271-280

Coauthor Index

1	André Baresel	[8] [10] [12] [16]
2	David Binkley	[13] [14] [16]
3	Wen-Jun Chen	[22]
4	Sebastian Danicic	[6] [7] [8] [13]
5	Mohammed Daoudi	[7] [13]
6	José Javier Dolado	[9] [11]
7	Chris Fox	[6] [8]
8	Siqing Gan	[24]
9	Mark Harman	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16]
10	Robert M. Hierons	[6] [8] [9] [10] [12] [14] [16]
11	Bogdan Korel	[16]
12	Xueliang Li	[15]
13	Youming Liu	[26]
14	Wei Long	[20]
15	Phil McMinn	[16]
16	Malcolm Munro	[1] [2] [3] [4] [5] [7] [9] [13]
17	Linfei Nie	[17] [18] [19] [25]
18	Zikun Nie	[20]
19	Mari Carmen Otero	[9] [11]
20	Lahcen Ouarbya	[7] [13]
21	Jigen Peng	[17] [18] [19]
22	Yun Qiu	[21] [23] [28]
23	Marc Roper	[12] [16]
24	Harmen Sthamer	[8] [10] [12]
25	Zhidong Teng	[17] [18] [19] [25]
26	Joachim Wegener	[6] [8] [9] [12]
27	Xingyuan Zhang	[1] [2] [3] [4] [5] [7] [9] [13]
28	Guomin Zhou	[21] [23] [28]
29	Shuying Zhuang	[27]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page