Lian Li

According to our database1, Lian Li authored at least 55 papers between 1993 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 




Image Encryption Algorithm Based on Tent Delay-Sine Cascade with Logistic Map.
Symmetry, 2020

STBS-Stega: Coverless text steganography based on state transition-binary sequence.
Int. J. Distributed Sens. Networks, 2020

Dynamic emotion modelling and anomaly detection in conversation based on emotional transition tensor.
Inf. Fusion, 2019

How to Accelerate FPGA Application in an Asynchronous Way?
Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2019

Improving the throughput of transportation networks with a time-optimization routing strategy.
Int. J. Geogr. Inf. Sci., 2018

A FPGA Based SAT Solver with High Random and Concurrent Strategies.
Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

A Selective Tracking and Detection Framework with Target Enhanced Feature.
Proceedings of the 24th International Conference on Pattern Recognition, 2018

μC/OS-II Based RTOS Kernel.
Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2018

Adaptive Beacon Transmission in Cognitive-OFDM-Based Industrial Wireless Networks.
IEEE Communications Letters, 2017

A novel method for lung masses detection and location based on deep learning.
Proceedings of the 2017 IEEE International Conference on Bioinformatics and Biomedicine, 2017

Symbolic Execution with Value-Range Analysis for Floating-Point Exception Detection.
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

AVATARS: a software-defined radio based teleoperating cyber-physical system for disaster environment exploration.
EURASIP J. Wireless Comm. and Networking, 2016

Memos: A full hierarchy hybrid memory management framework.
Proceedings of the 34th IEEE International Conference on Computer Design, 2016

Multi-Channel MAC Protocol: Spectrum Penetration Method for Vehicular Ad Hoc Networks.
Proceedings of the 2016 IEEE Global Communications Conference, 2016

A database for emotional interactions of the elderly.
Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

Synthesis and Sensing Applications of Fluorescent 3-Cinnamoyl Coumarins.
Sensors, 2015

Dual-tone radio interferometric ranging using PXI.
Proceedings of the 10th International Conference on Communications and Networking in China, 2015

A Novel Rough Set Reduct Algorithm to Feature Selection Based on Artificial Fish Swarm Algorithm.
Proceedings of the Advances in Swarm Intelligence - 5th International Conference, 2014

A Touch-Based Mathematical Expression Editor.
Proceedings of the Mathematical Software - ICMS 2014, 2014

A Touch-Operation-Based Dynamic Geometry System: Design and Implementation.
Proceedings of the Mathematical Software - ICMS 2014, 2014

Dual-tone radio interferometric positioning systems using a single mobile anchor.
Proceedings of the 2014 IEEE/CIC International Conference on Communications in China, 2014

Precise and scalable context-sensitive pointer analysis via value flow graph.
Proceedings of the International Symposium on Memory Management, 2013

Path-Sensitive Data Flow Analysis Simplified.
Proceedings of the Formal Methods and Software Engineering, 2013

Transitioning Parfait into a Development Tool.
IEEE Secur. Priv., 2012

A partial correlation-based Bayesian network structure learning algorithm under linear SEM.
Knowl. Based Syst., 2011

Mathematical analysis of stage-based programmable logic controller.
Comput. Math. Appl., 2011

Boosting the performance of flow-sensitive points-to analysis using value flow.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Static deep error checking in large system applications using parfait.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

A Partial Correlation-Based Bayesian Network Structure Learning Algorithm under SEM.
Proceedings of the Advances in Knowledge Discovery and Data Mining, 2011

K-Means Clustering with Bagging and MapReduce.
Proceedings of the 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), 2011

Practical and effective symbolic analysis for buffer overflow detection.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

A Novel Approach for Multilevel Fixed Outline Floorplanning.
Proceedings of the Third International Symposium on Parallel Architectures, 2010

Real Time Process Algebra with Urgency Executing Policy.
JSW, 2009

Process Algebra with Chaos Executing Policy for Unhealthy Systems.
JCP, 2009

Program analysis for bug detection using parfait: invited talk.
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

A Web-Based Mathematical User Interface for E-Science System.
Proceedings of the Eighth International Conference on Grid and Cooperative Computing, 2009

A solution for online entering and editing mathematical formulas (abstract only).
ACM Commun. Comput. Algebra, 2008

A Receiver-Based Opportunistic Forwarding Protocol for Mobile Sensor Networks.
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008

Stochastic Process Algebra with Value-Passing.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Multiple positive solutions for the one-dimensional p-Laplacian dynamic equations on time scales.
Math. Comput. Model., 2007

An On-line MathML Editing Tool for Web Applications.
Proceedings of the Proceeding of the Second International Multi-Symposium of Computer and Computational Sciences (IMSCCS 2007), 2007

A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement.
Proceedings of the Frontiers in Algorithmics, First Annual International Workshop, 2007

Simulation for Interactive Markov Chains.
Proceedings of the Advances in Natural Computation, Second International Conference, 2006

A Formal Study on the Transitivity of the Part-Whole Relations.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

Detection, mining and forecasting of impact load in power load forecasting.
Appl. Math. Comput., 2005

Fast theorem-proving and Wu's Method.
J. Comput. Sci. Technol., 1999

Synchronization of Multimedia Data for a Multimedia News-on-Demand Application.
IEEE J. Sel. Areas Commun., 1996

On the descriptive power of special Thue systems.
Discret. Math., 1996

Multimedia Teleorchestra with Independent Sources: Part 2 - Synchronization Algorithms.
Multimedia Syst., 1994

Multimedia Teleorchestra with Independent Sources: Part 1 - Temporal Modeling of Collaborative Multimedia Scenarios.
Multimedia Syst., 1994

MPEG-2 Coded- and Uncoded-Stream Synchronization Control for Real-Time Multimedia Transmission and Presentation over B-ISDN.
Proceedings of the Second ACM International Conference on Multimedia '94, 1994

Centralized and Distributed Architectures for Multimedia Presentational Applications.
Proceedings of the Broadband Islands '94, 1994

A Decision Algorithm for Linear Sentences on a PFM.
Ann. Pure Appl. Log., 1993

The Regular Problem and Green Equivalences for Special Monoids.
Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, 1993

A Distributed Synchronization Control Scheme in a Group-oriented Conferencing System.
Proceedings of the Broadband Islands: Towards Integration, 1993