Yuan Lu

	2012
28		Yuan Lu, Li-Ping Pang, Shen Jie, Xi-Jun Liang: A Decomposition Algorithm for Convex Nondifferentiable Minimization with Errors. J. Applied Mathematics 2012: (2012)
	2011
27		Weiping Jiang, Xingang Wang, Zhongping Yang, Peng Peng, Yuan Lu, Hongchun Ren: The present situation and application of Biosensor. EMEIT 2011: 1743-1746
26		Xingang Wang, Zhongping Yang, Weiping Jiang, Peng Peng, Hongchun Ren, Yuzhao Liu, Yuan Lu, Ruizhong Zhuang: The present situation and development of machinery's integration. EMEIT 2011: 1836-1839
25		Yuan Lu, Alexandra Duel-Hallen: CSI-aided MAC with Multiuser Diversity for Cognitive Radio Networks CoRR abs/1110.0129: (2011)
24		Zhongzhi Shi, Wenjia Niu, Zuqiang Meng, Yuan Lu: Tolerance granular computing towards incomplete information system. IJGCRSIS 2(1): 10-22 (2011)
23		Wenchao Dai, Yuan Lu, Jun Zhu, Guihua Zeng: An integrated quantum secure communication system. SCIENCE CHINA Information Sciences 54(12): 2578-2591 (2011)
	2010
22		Yuan Lu, Li-Ping Pang, Fang-Fang Guo, Zun-Quan Xia: A superlinear space decomposition algorithm for constrained nonsmooth convex program. J. Computational Applied Mathematics 234(1): 224-232 (2010)
21		Yuan Lu, Li-Ping Pang, Xi-Jun Liang, Zun-Quan Xia: An approximate decomposition algorithm for convex minimization. J. Computational Applied Mathematics 234(3): 658-666 (2010)
	2009
20		Jeroen Keijzers, Elke den Ouden, Yuan Lu: Understanding consumer perception of technological product failures: an attributional approach. CHI Extended Abstracts 2009: 4057-4062
19		Zhongzhi Shi, Zuqiang Meng, Yuan Lu: Tolerance Granular Computing based on incomplete information system. GrC 2009: 501-506
18		Renate de Bruin, Yuan Lu, Aarnout Brombacher: How to Learn from Intelligent Products; The Structuring of Incoherent Field Feedback Data in Two Case Studies. HCI (8) 2009: 227-232
17		Zhuang Wu, Fang Gao, Yuan Lu: Binary Tree for 1-Wire Technology in the ROM Search. IFITA (3) 2009: 545-547
	2008
16		Yuan Lu, Guojun Wang, Weijia Jia, Sancheng Peng: Multipath-Based Segment-by-Segment Routing Protocol in MANETs. ICYCS 2008: 527-532
15		Jeroen Keijzers, Elke den Ouden, Yuan Lu: Usability benchmark study of commercially available smart phones: cell phone type platform, PDA type platform and PC type platform. Mobile HCI 2008: 265-272
	2005
14		Alfred Koelbl, Yuan Lu, Anmol Mathur: Embedded tutorial: formal equivalence checking between system-level models and RTL. ICCAD 2005: 965-971
13		Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps: Temporal Logic for Scenario-Based Specifications. TACAS 2005: 445-460
	2004
12		Yuan Lu, Mike Jorda: Verifying a gigabit ethernet switch using SMV. DAC 2004: 230-233
	2003
11		Yun Shao, Qingrong Hu, Huadong Guo, Yuan Lu, Qing Dong, Chunming Han: Effect of dielectric properties of moist salinized soils on backscattering coefficients extracted from RADARSAT image. IEEE T. Geoscience and Remote Sensing 41(8): 1879-1888 (2003)
10		Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50(5): 752-794 (2003)
	2002
9		Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith: Tree-Like Counterexamples in Model Checking. LICS 2002: 19-29
	2001
8		Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Progress on the State Explosion Problem in Model Checking. Informatics 2001: 176-194
	2000
7		Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Counterexample-Guided Abstraction Refinement. CAV 2000: 154-169
6		Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo Wegener, Yuan Lu: Analysis of composition complexity and how to obtain smaller canonical graphs. DAC 2000: 681-686
5		Yuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita: Efficient variable ordering using aBDD based sampling. DAC 2000: 687-692
4		Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang: Executable Protocol Specification in ESL. FMCAD 2000: 197-216
	1999
3		Edmund M. Clarke, Somesh Jha, Yuan Lu, Dong Wang: Abstract BDDs: A Technque for Using Abstraction in Model Checking. CHARME 1999: 172-186
	1997
2		Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke: Equivalence Checking Using Abstract BDDs. ICCD 1997: 332-337
	1996
1		Yuan Lu, Irith Pomeranz: Synchronization of large sequential circuits by partial reset. VTS 1996: 93-98

Coauthor Index

1	Yves Bontemps	[13]
2	Aarnout Brombacher	[18]
3	Renate de Bruin	[18]
4	Edmund M. Clarke	[2] [3] [4] [5] [7] [8] [9] [10]
5	Wenchao Dai	[23]
6	Qing Dong	[11]
7	Alexandra Duel-Hallen	[25]
8	Masahiro Fujita	[5]
9	Fang Gao	[17]
10	Steven M. German	[4]
11	Orna Grumberg	[7] [8] [10]
12	Fang-Fang Guo	[22]
13	Huadong Guo	[11]
14	Chunming Han	[11]
15	David Harel	[13]
16	Qingrong Hu	[11]
17	Jawahar Jain	[5] [6]
18	Somesh Jha	[2] [3] [7] [8] [9] [10]
19	Weijia Jia	[16]
20	Weiping Jiang	[26] [27]
21	Shen Jie	[28]
22	Mike Jorda	[12]
23	Jeroen Keijzers	[15] [20]
24	Alfred Koelbl	[14]
25	Hillel Kugler	[13]
26	Xi-Jun Liang	[21] [28]
27	Yuzhao Liu	[26]
28	Anmol Mathur	[14]
29	Zuqiang Meng	[19] [24]
30	Marius Minea	[2]
31	K. Mohanram	[6]
32	Dinos Moundanos	[6]
33	Wenjia Niu	[24]
34	Elke den Ouden	[15] [20]
35	Li-Ping Pang	[21] [22] [28]
36	Peng Peng	[26] [27]
37	Sancheng Peng	[16]
38	Amir Pnueli	[13]
39	Irith Pomeranz	[1]
40	Hongchun Ren	[26] [27]
41	Yun Shao	[11]
42	Zhongzhi Shi	[19] [24]
43	Helmut Veith	[4] [7] [8] [9] [10]
44	Dong Wang	[3] [4]
45	Guojun Wang	[16]
46	Xingang Wang	[26] [27]
47	Ingo Wegener	[6]
48	Zhuang Wu	[17]
49	Zun-Quan Xia	[21] [22]
50	Zhongping Yang	[26] [27]
51	Guihua Zeng	[23]
52	Jun Zhu	[23]
53	Ruizhong Zhuang	[26]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page