Yuan Lu

Yuan Lu, Alexandra Duel-Hallen: Channel-adaptive sensing strategy for Cognitive Radio ad hoc networks. CCNC 2013: 466-471

Yuan Lu, Alexandra Duel-Hallen: Adaptation to the Primary User CSI in Cognitive Radio Sensing and Access. CoRR abs/1304.0791 (2013)

Yuan Lu, Li-Ping Pang, Shen Jie, Xi-Jun Liang: A Decomposition Algorithm for Convex Nondifferentiable Minimization with Errors. J. Applied Mathematics 2012 (2012)

Aarnout Brombacher, Eva Hopma, Ashwin Ittoo, Yuan Lu, Ilse Luyk, Laura Maruster, Joel Ribeiro, Ton Weijters, Hans Wortmann: Improving Product Quality and Reliability with Customer Experience Data. Quality and Reliability Eng. Int. 28(8): 873-886 (2012)

Wei Chen, Fengqian Gao, Yuan Lu: Policy Based Power Management in Cloud Environment with Intel Intelligent Power Node Manager. EDOC Workshops 2012: 66-69

Yuan Lu, Alexandra Duel-Hallen: Channel-Adaptive Sensing Strategy for Cognitive Radio Ad Hoc Networks. CoRR abs/1210.7870 (2012)

Wenchao Dai, Yuan Lu, Jun Zhu, Guihua Zeng: An integrated quantum secure communication system. SCIENCE CHINA Information Sciences 54(12): 2578-2591 (2011)

Zhongzhi Shi, Wenjia Niu, Zuqiang Meng, Yuan Lu: Tolerance granular computing towards incomplete information system. IJGCRSIS 2(1): 10-22 (2011)

Weiping Jiang, Xingang Wang, Zhongping Yang, Peng Peng, Yuan Lu, Hongchun Ren: The present situation and application of Biosensor. EMEIT 2011: 1743-1746

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

Yuan Lu, Alexandra Duel-Hallen: CSI-aided MAC with Multiuser Diversity for Cognitive Radio Networks. CoRR abs/1110.0129 (2011)

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)

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)

Jeroen Keijzers, Elke den Ouden, Yuan Lu: Understanding consumer perception of technological product failures: an attributional approach. CHI Extended Abstracts 2009: 4057-4062

Zhongzhi Shi, Zuqiang Meng, Yuan Lu: Tolerance Granular Computing based on incomplete information system. GrC 2009: 501-506

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

Zhuang Wu, Fang Gao, Yuan Lu: Binary Tree for 1-Wire Technology in the ROM Search. IFITA (3) 2009: 545-547

Yuan Lu, Guojun Wang, Weijia Jia, Sancheng Peng: Multipath-Based Segment-by-Segment Routing Protocol in MANETs. ICYCS 2008: 527-532

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

Yuan Lu, Min Xie: Fourth International Conference on Quality and Reliability (ICQR2005). Quality and Reliability Eng. Int. 23(1): 1 (2007)

Yuan Lu, Elke den Ouden, Aarnout Brombacher, Wim Geudens, Herman Hartmann: Towards a more systematic analysis of uncertain user-product interactions in product development: an enhanced user-product interaction framework. Quality and Reliability Eng. Int. 23(1): 19-29 (2007)

Alfred Koelbl, Yuan Lu, Anmol Mathur: Embedded tutorial: formal equivalence checking between system-level models and RTL. ICCAD 2005: 965-971

Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps: Temporal Logic for Scenario-Based Specifications. TACAS 2005: 445-460

Yuan Lu, Mike Jorda: Verifying a gigabit ethernet switch using SMV. DAC 2004: 230-233

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)

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)

Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith: Tree-Like Counterexamples in Model Checking. LICS 2002: 19-29

Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Progress on the State Explosion Problem in Model Checking. Informatics 2001: 176-194

Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Counterexample-Guided Abstraction Refinement. CAV 2000: 154-169

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

Yuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita: Efficient variable ordering using aBDD based sampling. DAC 2000: 687-692

Edmund M. Clarke, Steven M. German, Yuan Lu, Helmut Veith, Dong Wang: Executable Protocol Specification in ESL. FMCAD 2000: 197-216

Edmund M. Clarke, Somesh Jha, Yuan Lu, Dong Wang: Abstract BDDs: A Technque for Using Abstraction in Model Checking. CHARME 1999: 172-186

Somesh Jha, Yuan Lu, Marius Minea, Edmund M. Clarke: Equivalence Checking Using Abstract BDDs. ICCD 1997: 332-337

Yuan Lu, Irith Pomeranz: Synchronization of large sequential circuits by partial reset. VTS 1996: 93-98