Yuan Lu

According to our database1, Yuan Lu
  • authored at least 59 papers between 1996 and 2018.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 


On csauthors.net:


ZebraLancer: Private and Anonymous Crowdsourcing System atop Open Blockchain.
CoRR, 2018

Perswedo: Introducing Persuasive Principles into the Creative Design Process Through a Design Card-Set.
Proceedings of the Human-Computer Interaction - INTERACT 2017, 2017

ShuttleKicker+: Designing Gamified Sonification to Augment the Physical Leisure Activity.
Proceedings of the Extended Abstracts Publication of the Annual Symposium on Computer-Human Interaction in Play, 2017

Channel-Aware Spectrum Sensing and Access for Mobile Cognitive Radio Ad Hoc Networks.
IEEE Trans. Vehicular Technology, 2016

3-Dimensional Modeling and Simulation of the Cloud Based on Cellular Automata and Particle System.
ISPRS Int. J. Geo-Information, 2016

Game-Theoretic Framework for Cooperative Sensing and Fair Spectrum Access in Multichannel Cognitive Radio Networks.
CoRR, 2016

Post-Adoption of Social Network sites: a literature Review and a Process Framework.
Proceedings of the 20th Pacific Asia Conference on Information Systems, 2016

FLOW pillow: exploring sitting experience towards active ageing.
Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct, 2016

Convolutional Neural Network Based Transient Earth Voltage Detection.
Proceedings of the 15th International Symposium on Parallel and Distributed Computing, 2016

ShuttleKickers: Exploring Social Persuasions to Encourage Physical Activities.
Proceedings of the HCI 2016, 2016

Mechanism Analysis of Competitive Information Synchronous Dissemination in Social Networks.
Proceedings of the Web Technologies and Applications - 18th Asia-Pacific Web Conference, 2016

The Competition of User Attentions Among Social Network Services: A Social Evolutionary Game Approach.
Proceedings of the Web Technologies and Applications - 18th Asia-Pacific Web Conference, 2016

Combining User Needs and Stakeholder Requirements: The Value Design Method.
Proceedings of the Collaboration in Creative Design, Methods and Tools, 2016

An empirical evaluation of supervised learning approaches in assigning diagnosis codes to electronic medical records.
Artificial Intelligence in Medicine, 2015

A two-layer coalitional game among rational cognitive radio users.
Proceedings of the 49th Annual Conference on Information Sciences and Systems, 2015

From gigabyte to kilobyte: a bioinformatics protocol for mining large RNA-Seq transcriptomics data.
Proceedings of the 6th ACM Conference on Bioinformatics, 2015

Terrain aided navigation for long-range AUVs using a new bathymetric contour matching method.
Proceedings of the IEEE International Conference on Advanced Intelligent Mechatronics, 2015

Leveraging output term co-occurrence frequencies and latent associations in predicting medical subject headings.
Data Knowl. Eng., 2014

Properties of Expected Residual Minimization Model for a Class of Stochastic Complementarity Problems.
J. Applied Mathematics, 2013

Adaptation to the Primary User CSI in Cognitive Radio Sensing and Access
CoRR, 2013

Engaged Scholarship for Designing Product Service System Innovation Opportunities in an Industrial Design Course.
Proceedings of the Fifth International Conference on Service Science and Innovation, 2013

Channel-adaptive sensing strategy for Cognitive Radio ad hoc networks.
Proceedings of the 10th IEEE Consumer Communications and Networking Conference, 2013

Channel-adaptive spectrum detection and sensing strategy for Cognitive Radio ad-hoc networks.
Proceedings of the 51st Annual Allerton Conference on Communication, 2013

Improving Product Quality and Reliability with Customer Experience Data.
Quality and Reliability Eng. Int., 2012

A Decomposition Algorithm for Convex Nondifferentiable Minimization with Errors.
J. Applied Mathematics, 2012

Channel-Adaptive Sensing Strategy for Cognitive Radio Ad Hoc Networks
CoRR, 2012

Policy Based Power Management in Cloud Environment with Intel Intelligent Power Node Manager.
Proceedings of the 16th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2012

Tolerance granular computing towards incomplete information system.

CSI-aided MAC with Multiuser Diversity for Cognitive Radio Networks
CoRR, 2011

An integrated quantum secure communication system.
SCIENCE CHINA Information Sciences, 2011

The present situation and development of machinery's integration.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

The present situation and application of Biosensor.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

An approximate decomposition algorithm for convex minimization.
J. Computational Applied Mathematics, 2010

A superlinear space decomposition algorithm for constrained nonsmooth convex program.
J. Computational Applied Mathematics, 2010

The research of man-hour dynamic parameter modelling and visualisation.
IJMIC, 2010

Binary Tree for 1-Wire Technology in the ROM Search.
Proceedings of the International Forum on Information Technology and Applications, 2009

How to Learn from Intelligent Products; The Structuring of Incoherent Field Feedback Data in Two Case Studies.
Proceedings of the Human Interface and the Management of Information. Designing Information Environments, 2009

Tolerance Granular Computing based on incomplete information system.
Proceedings of the 2009 IEEE International Conference on Granular Computing, 2009

Understanding consumer perception of technological product failures: an attributional approach.
Proceedings of the 27th International Conference on Human Factors in Computing Systems, 2009

Usability benchmark study of commercially available smart phones: cell phone type platform, PDA type platform and PC type platform.
Proceedings of the 10th Conference on Human-Computer Interaction with Mobile Devices and Services, 2008

Multipath-Based Segment-by-Segment Routing Protocol in MANETs.
Proceedings of the 9th International Conference for Young Computer Scientists, 2008

Fourth International Conference on Quality and Reliability (ICQR2005).
Quality and Reliability Eng. Int., 2007

Towards a more systematic analysis of uncertain user-product interactions in product development: an enhanced user-product interaction framework.
Quality and Reliability Eng. Int., 2007

Quality and Reliability Problems from a Consumer's Perspective: an Increasing Problem Overlooked by Businesses?
Quality and Reliability Eng. Int., 2006

A 20 GS/sec Analog-to-Digital Sigma-Delta Modulator in SiGe HBT Technology.
Proceedings of the IEEE 2006 Custom Integrated Circuits Conference, 2006

Temporal Logic for Scenario-Based Specifications.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Embedded tutorial: formal equivalence checking between system-level models and RTL.
Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

Verifying a gigabit ethernet switch using SMV.
Proceedings of the 41th Design Automation Conference, 2004

Effect of dielectric properties of moist salinized soils on backscattering coefficients extracted from RADARSAT image.
IEEE Trans. Geoscience and Remote Sensing, 2003

Counterexample-guided abstraction refinement for symbolic model checking.
J. ACM, 2003

Tree-Like Counterexamples in Model Checking.
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Progress on the State Explosion Problem in Model Checking.
Proceedings of the Informatics - 10 Years Back. 10 Years Ahead., 2001

Executable Protocol Specification in ESL.
Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Efficient variable ordering using aBDD based sampling.
Proceedings of the 37th Conference on Design Automation, 2000

Analysis of composition complexity and how to obtain smaller canonical graphs.
Proceedings of the 37th Conference on Design Automation, 2000

Counterexample-Guided Abstraction Refinement.
Proceedings of the Computer Aided Verification, 12th International Conference, 2000

Abstract BDDs: A Technique for Using Abstraction in Model Checking.
Proceedings of the Correct Hardware Design and Verification Methods, 1999

Equivalence Checking Using Abstract BDDs.
Proceedings of the Proceedings 1997 International Conference on Computer Design: VLSI in Computers & Processors, 1997

Synchronization of large sequential circuits by partial reset.
Proceedings of the 14th IEEE VLSI Test Symposium (VTS'96), April 28, 1996