Jianlin Li

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 22

Top Topics

Variable Elimination

Parameter Optimization

Top Venues

Proc. ACM Program. Lang.

Future Gener. Comput. Syst.

Publications

Jianlin Li, Eric Wang, Yizhou Zhang
Compiling Probabilistic Programs for Variable Elimination with Information Flow. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Yongpeng Yang, Zhenzhen Yang, Jun Le, Jianlin Li
Nonconvex γ-norm and Laplacian scale mixture with salient map for moving object detection. Multim. Tools Appl. 83 (9) (2024)
Jianlin Li, Leni Ven, Pengyuan Shi, Yizhou Zhang
Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference. Proc. ACM Program. Lang. 7 (POPL) (2023)
Menghan Lv, Peng Wang, Yaoquan Wei, Chunxue Wen, Jianlin Li, Pengyu Jia, Qingxuan Wei
An Input-Series-Output-Parallel Cascaded Converter System Applied to DC Microgrids. Symmetry 15 (6) (2023)
Zhonghui Zhao, Jianlin Li
DoA Estimation based on Deep Learning in Low SNR. BMSB (2023)
Yongpeng Yang, Zhenzhen Yang, Jianlin Li
Novel RPCA with nonconvex logarithm and truncated fraction norms for moving object detection. Digit. Signal Process. 133 (2023)
Mingyi Liu, Xi Cao, Chuanzhao Cao, Pengcheng Wang, Chengrui Wang, Jie Pei, Haodong Lei, Xinyu Jiang, Rui Li, Jianlin Li
A Review of Power Conversion Systems and Design Schemes of High-Capacity Battery Energy Storage Systems. IEEE Access 10 (2022)
Shuo Liu, Xu Zhou, Jianlin Li, Liyong Yang
Parameter optimization design and performance analysis of filter-integrated switched boost grid-connected inverter. Int. J. Circuit Theory Appl. 50 (2) (2022)
Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jörg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wüstholz
Automated Safety Verification of Programs Invoking Neural Networks. CAV (1) (2021)
Pengfei Yang, Jianlin Li, Jiangchao Liu, Cheng-Chao Huang, Renjue Li, Liqian Chen, Xiaowei Huang, Lijun Zhang
Enhancing Robustness Verification for Deep Neural Networks via Symbolic Propagation. Formal Aspects Comput. 33 (3) (2021)
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
Improving Neural Network Verification through Spurious Region Guided Refinement. TACAS (1) (2021)
Ling Shang, Yizi Shang, Lianxing Hu, Jianlin Li
Performance of genetic algorithms with different selection operators for solving short-term optimized reservoir scheduling problem. Soft Comput. 24 (9) (2020)
Yang Bai, Jianlin Li, Rongwei Zha, Ying Wang, Guangzhi Lei
Catadioptric Optical System Design of 15-Magnitude Star Sensor with Large Entrance Pupil Diameter. Sensors 20 (19) (2020)
Shuo Liu, Dixi Xin, Liyong Yang, Jianlin Li, Li Wang
A Hierarchical V2G/G2V Energy Management System for Electric-Drive-Reconstructed Onboard Converter. IEEE Access 8 (2020)
Renjue Li, Jianlin Li, Cheng-Chao Huang, Pengfei Yang, Xiaowei Huang, Lijun Zhang, Bai Xue, Holger Hermanns
PRODeep: a platform for robustness verification of deep neural networks. ESEC/SIGSOFT FSE (2020)
Laifa Ma, Zheng Xiao, Kenli Li, Shengli Li, Jianlin Li, Xiaoping Yi
Game theoretic interpretability for learning based preoperative gliomas grading. Future Gener. Comput. Syst. 112 (2020)
Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang
Improving Neural Network Verification through Spurious Region Guided Refinement. CoRR (2020)
Yongpeng Yang, Zhenzhen Yang, Jianlin Li, Lu Fan
Foreground-Background Separation via Generalized Nuclear Norm and Structured Sparse Norm Based Low-Rank and Sparse Decomposition. IEEE Access 8 (2020)
Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. SAS (2019)
Pengfei Yang, Jiangchao Liu, Jianlin Li, Liqian Chen, Xiaowei Huang
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. CoRR (2019)
Hongfei Fu, Yi Li, Jianlin Li
Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties. QEST (2018)
Hongfei Fu, Yi Li, Jianlin Li, Lijun Zhang
Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties. CoRR (2017)
Jianlin Li
An approach to meta feature selection. CCECE (2013)
Jianlin Li, Xiaofei Deng, Yiyu Yao
Multistage Email Spam Filtering Based on Three-Way Decisions. RSKT (2013)
Lei Cong, Yongxia Yang, Dehai Zhu, Min Yin, Jianlin Li
Definition and Standardization of Data Elements' Attributes in Land and Resources Management. CCTA (2) (2012)
Juan Hu, Jianlin Li, Dong Hui
Research on Bi-directional converter for lithium battery energy storage system. EMEIT (2011)
Jianlin Li, Honghua Xu, Zhangzhong Chao
Based FPGA Development of Optimized SVPWM Algorithm. PACCS (2009)
Yulong Wang, Jianlin Li, Shuju Hu, Honghua Xu
Analysis on DFIG Wind Power System Low-Voltage Ridethrough. JCAI (2009)
Hong Zheng, Jianlin Li
A practical solution for KKT systems. Numer. Algorithms 46 (2) (2007)
Jingyu Sun, Xianhua Li, Xueli Yu, Jianlin Li, Rui Wang
CAEP: A Method Based on Expert Profiles for Recommend System. AWIC (2007)
Rui Wang, Xueli Yu, Yingjie Li, Jianlin Li, Jingyu Sun
Behavior Analysis Based Automatic Composition of Semantic Web Services. AWIC (2007)
Jianlin Li, Xueli Yu, Xiaobo Wu, Rui Wang, Jingyu Sun
Semantic Community in a Peer-to-Peer Network. AWIC (2007)
Jianlin Li, Truong Q. Nguyen, Sawasd Tantaratana
A simple design method for near-perfect-reconstruction nonuniform filter banks. IEEE Trans. Signal Process. 45 (8) (1997)
Jianlin Li, Sawasd Tantaratana
Multiplier-free realizations for FIR multirate converters based on mixed-radix number representation. IEEE Trans. Signal Process. 45 (4) (1997)
Jianlin Li, Sawasd Tantaratana
Optimal and suboptimal coherent acquisition schemes for PN sequences with data modulation. IEEE Trans. Commun. 43 (2/3/4) (1995)
Jianlin Li, Sawasd Tantaratana
Muliplier-free IIR filter realizations based on mixed radix number systems. ISCAS (1993)