Lian Li

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
A critical path task scheduling algorithm based on sequential failure factor.
J. Supercomput., May, 2024

2023
McSad: A Monte Carlo-based end-to-end scheduling anomaly detection method for distributed real-time systems.
Simul. Model. Pract. Theory, May, 2023

Similarity measure-based three-way decisions in Pythagorean fuzzy information systems and its application in FANETs.
J. Intell. Fuzzy Syst., 2023

2022
A novel model based on multiple input factors and variance reciprocal: application on wind speed forecasting.
Soft Comput., 2022

Causality fields in nonlinear causal effect analysis.
Frontiers Inf. Technol. Electron. Eng., 2022

A CT-based nomogram for differentiating invasive fungal disease of the lung from bacterial pneumonia.
BMC Medical Imaging, 2022

COMRace: Detecting Data Race Vulnerabilities in COM Objects.
Proceedings of the 31st USENIX Security Symposium, 2022

Determining the Sampling Size with Maintaining the Probability Distribution.
Proceedings of the Theoretical Computer Science - 40th National Conference, 2022

2021
A combined model based on SSA, neural networks, and LSSVM for short-term electric load and price forecasting.
Neural Comput. Appl., 2021

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

A Novel Combined Model for Short-Term Electric Load Forecasting Based on Whale Optimization Algorithm.
Neural Process. Lett., 2020

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

Machine knowledge and human cognition.
Big Data Min. Anal., 2020

Edge Computing Based Two-Stage Emergency Braking in Autonomous Driving.
Proceedings of the IoT as a Service - 6th EAI International Conference, 2020

A Deterministic Analysis Method of Embedded System Based on Event-driven.
Proceedings of the IEEE International Conference on Industrial Engineering and Engineering Management, 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 Commun. Lett., 2017

Researches of fruit quality prediction model based on near infrared spectrum.
Proceedings of the Tenth International Conference on Machine Vision, 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. Wirel. Commun. Netw., 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
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.
J. Softw., 2009

Process Algebra with Chaos Executing Policy for Unhealthy Systems.
J. Comput., 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.
Multim. Syst., 1994

Multimedia Teleorchestra with Independent Sources: Part 1 - Temporal Modeling of Collaborative Multimedia Scenarios.
Multim. 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


  Loading...