# Lian Li

According to our database

Collaborative distances:

^{1}, Lian Li authored at least 55 papers between 1993 and 2020.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2020

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

2019

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

2018

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

2017

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

2016

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

2015

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

2014

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

2013

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

2012

Transitioning Parfait into a Development Tool.

IEEE Secur. Priv., 2012

2011

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

2010

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

2009

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

2008

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

2007

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

2006

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

2005

Detection, mining and forecasting of impact load in power load forecasting.

Appl. Math. Comput., 2005

1999

Fast theorem-proving and Wu's Method.

J. Comput. Sci. Technol., 1999

1996

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

1994

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

1993

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