Yuan Lu

	2009
17		Jeroen Keijzers, Elke den Ouden, Yuan Lu: Understanding consumer perception of technological product failures: an attributional approach. CHI Extended Abstracts 2009: 4057-4062
16		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
	2008
15		Yuan Lu, Guojun Wang, Weijia Jia, Sancheng Peng: Multipath-Based Segment-by-Segment Routing Protocol in MANETs. ICYCS 2008: 527-532
14		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
13		Alfred Koelbl, Yuan Lu, Anmol Mathur: Embedded tutorial: formal equivalence checking between system-level models and RTL. ICCAD 2005: 965-971
12		Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps: Temporal Logic for Scenario-Based Specifications. TACAS 2005: 445-460
	2004
11		Yuan Lu, Mike Jorda: Verifying a gigabit ethernet switch using SMV. DAC 2004: 230-233
	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	[12]
2	Aarnout Brombacher	[16]
3	Renate de Bruin	[16]
4	Edmund M. Clarke	[2] [3] [4] [5] [7] [8] [9] [10]
5	Masahiro Fujita	[5]
6	Steven M. German	[4]
7	Orna Grumberg	[7] [8] [10]
8	David Harel	[12]
9	Jawahar Jain	[5] [6]
10	Somesh Jha	[2] [3] [7] [8] [9] [10]
11	Weijia Jia	[15]
12	Mike Jorda	[11]
13	Jeroen Keijzers	[14] [17]
14	Alfred Koelbl	[13]
15	Hillel Kugler	[12]
16	Anmol Mathur	[13]
17	Marius Minea	[2]
18	K. Mohanram	[6]
19	Dinos Moundanos	[6]
20	Elke den Ouden	[14] [17]
21	Sancheng Peng	[15]
22	Amir Pnueli	[12]
23	Irith Pomeranz	[1]
24	Helmut Veith	[4] [7] [8] [9] [10]
25	Dong Wang	[3] [4]
26	Guojun Wang	[15]
27	Ingo Wegener	[6]

Colors in the list of coauthors