Jianlin Li

According to our database, Jianlin Li authored at least 37 papers between 1993 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A mixed crowd movement model incorporating chasing behavior.

Hang Yu, Xintong Li, Weiguo Song, Jianlin Li, Xuehua Song, Jun Zhang

Simul. Model. Pract. Theory, 2025

Video foreground and background separation via Gaussian scale mixture and generalized nuclear norm based robust principal component analysis.

Yongpeng Yang, Zhenzhen Yang, Jianlin Li

Digit. Signal Process., 2025

2024

Nonconvex γ-norm and Laplacian scale mixture with salient map for moving object detection.

Yongpeng Yang, Zhenzhen Yang, Jun Le, Jianlin Li

Multim. Tools Appl., March, 2024

Compiling Probabilistic Programs for Variable Elimination with Information Flow.

Jianlin Li, Eric Wang, Yizhou Zhang

Proc. ACM Program. Lang., 2024

2023

Novel RPCA with nonconvex logarithm and truncated fraction norms for moving object detection.

Yongpeng Yang, Zhenzhen Yang, Jianlin Li

Digit. Signal Process., March, 2023

Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference.

Jianlin Li, Leni Ven, Pengyuan Shi, Yizhou Zhang

Proc. ACM Program. Lang., January, 2023

An Input-Series-Output-Parallel Cascaded Converter System Applied to DC Microgrids.

Menghan Lv, Peng Wang, Yaoquan Wei, Chunxue Wen, Jianlin Li, Pengyu Jia, Qingxuan Wei

Symmetry, 2023

DoA Estimation based on Deep Learning in Low SNR.

Zhonghui Zhao, Jianlin Li

Proceedings of the IEEE International Symposium on Broadband Multimedia Systems and Broadcasting, 2023

2022

Parameter optimization design and performance analysis of filter-integrated switched boost grid-connected inverter.

Shuo Liu, Xu Zhou, Jianlin Li, Liyong Yang

Int. J. Circuit Theory Appl., 2022

A Review of Power Conversion Systems and Design Schemes of High-Capacity Battery Energy Storage Systems.

Mingyi Liu, Xi Cao, Chuanzhao Cao, Pengcheng Wang, Chengrui Wang, Jie Pei, Haodong Lei, Xinyu Jiang, Rui Li, Jianlin Li

IEEE Access, 2022

2021

Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation.

Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang

Formal Aspects Comput., 2021

Improving Neural Network Verification through Spurious Region Guided Refinement.

Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Automated Safety Verification of Programs Invoking Neural Networks.

Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Performance of genetic algorithms with different selection operators for solving short-term optimized reservoir scheduling problem.

Ling Shang, Yizi Shang, Lianxing Hu, Jianlin Li

Soft Comput., 2020

Catadioptric Optical System Design of 15-Magnitude Star Sensor with Large Entrance Pupil Diameter.

Yang Bai, Jianlin Li, Rongwei Zha, Ying Wang, Guangzhi Lei

Sensors, 2020

Game theoretic interpretability for learning based preoperative gliomas grading.

Laifa Ma, Zheng Xiao, Kenli Li, Shengli Li, Jianlin Li, Xiaoping Yi

Future Gener. Comput. Syst., 2020

Foreground-Background Separation via Generalized Nuclear Norm and Structured Sparse Norm Based Low-Rank and Sparse Decomposition.

Yongpeng Yang, Zhenzhen Yang, Jianlin Li, Lu Fan

IEEE Access, 2020

A Hierarchical V2G/G2V Energy Management System for Electric-Drive-Reconstructed Onboard Converter.

Shuo Liu, Dixi Xin, Liyong Yang, Jianlin Li, Li Wang

IEEE Access, 2020

PRODeep: a platform for robustness verification of deep neural networks.

Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.

Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang

CoRR, 2019

Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.

Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang

Proceedings of the Static Analysis - 26th International Symposium, 2019

2018

Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties.

Hongfei Fu, Yi Li, Jianlin Li

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

2017

Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties.

Hongfei Fu, Yi Li, Jianlin Li, Lijun Zhang

CoRR, 2017

2013

Multistage Email Spam Filtering Based on Three-Way Decisions.

Jianlin Li, Xiaofei Deng, Yiyu Yao

Proceedings of the Rough Sets and Knowledge Technology - 8th International Conference, 2013

An approach to meta feature selection.

Jianlin Li

Proceedings of the 26th IEEE Canadian Conference on Electrical and Computer Engineering CCECE 2013, 2013

2012

Definition and Standardization of Data Elements' Attributes in Land and Resources Management.

Lei Cong, Yongxia Yang, Dehai Zhu, Min Yin, Jianlin Li

Proceedings of the Computer and Computing Technologies in Agriculture VI, 2012

2011

Research on Bi-directional converter for lithium battery energy storage system.

Juan Hu, Jianlin Li, Dong Hui

Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011

2009

Based FPGA Development of Optimized SVPWM Algorithm.

Jianlin Li, Honghua Xu, Zhangzhong Chao

Proceedings of the 2009 Pacific-Asia Conference on Circuits, Communications and Systems, 2009

Analysis on DFIG Wind Power System Low-Voltage Ridethrough.

Yulong Wang, Jianlin Li, Shuju Hu, Honghua Xu

Proceedings of the First IITA International Joint Conference on Artificial Intelligence, 2009

2007

A practical solution for KKT systems.

Hong Zheng, Jianlin Li

Numer. Algorithms, 2007

Behavior Analysis Based Automatic Composition of Semantic Web Services.

Rui Wang, Xueli Yu, Yingjie Li, Jianlin Li, Jingyu Sun

Proceedings of the Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference - AWIC 2007, Fontainebleau, France, June 25, 2007

CAEP: A Method Based on Expert Profiles for Recommend System.

Jingyu Sun, Xianhua Li, Xueli Yu, Jianlin Li, Rui Wang

Proceedings of the Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference - AWIC 2007, Fontainebleau, France, June 25, 2007

Semantic Community in a Peer-to-Peer Network.

Jianlin Li, Xueli Yu, Xiaobo Wu, Rui Wang, Jingyu Sun

Proceedings of the Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference - AWIC 2007, Fontainebleau, France, June 25, 2007

1997

Multiplier-free realizations for FIR multirate converters based on mixed-radix number representation.

Jianlin Li, Sawasd Tantaratana

IEEE Trans. Signal Process., 1997

A simple design method for near-perfect-reconstruction nonuniform filter banks.

Jianlin Li, Truong Q. Nguyen, Sawasd Tantaratana

IEEE Trans. Signal Process., 1997

1995

Optimal and suboptimal coherent acquisition schemes for PN sequences with data modulation.

Jianlin Li, Sawasd Tantaratana

IEEE Trans. Commun., 1995

1993

Muliplier-free IIR filter realizations based on mixed radix number systems.

Jianlin Li, Sawasd Tantaratana

Proceedings of the 1993 IEEE International Symposium on Circuits and Systems, 1993