| 2026 | AAAI | BadThink: Triggered Overthinking Attacks on Chain-of-Thought Reasoning in Large Language Models. | Shuaitong Liu, Renjue Li, Lijia Yu, Lijun Zhang, Zhiming Liu, Gaojie Jin |
| 2026 | AAAI | SL-CBM: Enhancing Concept Bottleneck Models with Semantic Locality for Better Interpretability. | Hanwei Zhang, Luo Cheng, Rui Wen, Yang Zhang, Lijun Zhang, Holger Hermanns |
| 2026 | AAAI | Parameter-Free Clustering via Self-Supervised Consensus Maximization. | Lijun Zhang, Suyuan Liu, Siwei Wang, Shengju Yu, Xueling Zhu, Miaomiao Li, Xinwang Liu |
| 2026 | HCI | A Study on the Evaluation Method of User Emotional Experience of AI Digital Humans from the Perspective of Multimodal Interaction. | Lijun Zhang, Youheng Zhai, Yuchao Cai, Yang Yang |
| 2026 | WWW | PrivSniffer: Graph-based Contextual Privacy Leakage Detection for User-Generated Texts. | Hangyu Ye, Liyao Xiang, Naixuan Huang, Dongyue Yu, Lijun Zhang, Gang Wang |
| 2025 | AAAI | Towards Unbiased Information Extraction and Adaptation in Cross-Domain Recommendation. | Yibo Wang, Yingchun Jian, Wenhao Yang, Shiyin Lu, Lei Shen, Bing Wang, Xiaoyi Zeng, Lijun Zhang |
| 2025 | AAAI | Revisiting Projection-Free Online Learning with Time-Varying Constraints. | Yibo Wang, Yuanyu Wan, Lijun Zhang |
| 2025 | AAAI | Training Verification-Friendly Neural Networks via Neuron Behavior Consistency. | Zongxin Liu, Zhe Zhao, Fu Song, Jun Sun, Pengfei Yang, Xiaowei Huang, Lijun Zhang |
| 2025 | AAAI | Online Nonsubmodular Optimization with Delayed Feedback in the Bandit Setting. | Sifan Yang, Yuanyu Wan, Lijun Zhang |
| 2025 | ADMA | Noise-Free Contrastive Learning for Knowledge Tracing. | Lijun Zhang, Shun Mao, Yuncheng Jiang |
| 2025 | CIKM | An Embarrassingly Simple but Effective Knowledge-enhanced Recommender. | Haibo Ye, Lijun Zhang, Yuan Yao, Xinjie Li |
| 2025 | CVPR | Dual Consolidation for Pre-Trained Model-Based Domain-Incremental Learning. | Da-Wei Zhou, Zi-Wen Cai, Han-Jia Ye, Lijun Zhang, De-Chuan Zhan |
| 2025 | CVPR | Octopus: Alleviating Hallucination via Dynamic Contrastive Decoding. | Wei Suo, Lijun Zhang, Mengyang Sun, Lin Yuanbo Wu, Peng Wang, Yanning Zhang |
| 2025 | FASE | Towards Large Language Model Guided Kernel Direct Fuzzing. | Xie Li, Zhaoyue Yuan, Zhenduo Zhang, Youcheng Sun, Lijun Zhang |
| 2025 | ICASSP | HFE-RWKV: High-Frequency Enhanced RWKV Model for Efficient Left Ventricle Segmentation in Pediatric Echocardiograms. | Zi Ye, Tianxiang Chen, Ziyang Wang, Hanwei Zhang, Lijun Zhang |
| 2025 | ICCV | External Knowledge Injection for CLIP-Based Class-Incremental Learning. | Da-Wei Zhou, Kai-Wen Li, Jingyi Ning, Han-Jia Ye, Lijun Zhang, De-Chuan Zhan |
| 2025 | ICIP | SD-URM: Stable-Diffusion Based Zero-Shot Universal Restoration Model. | Dae Yeol Lee, Shiv Gehlot, Lijun Zhang, Guan-Ming Su |
| 2025 | ICLR | Generalizability of Neural Networks Minimizing Empirical Risk Based on Expressive Power. | Lijia Yu, Yibo Miao, Yifan Zhu, Xiao-Shan Gao, Lijun Zhang |
| 2025 | ICML | Dimension-Free Adaptive Subgradient Methods with Frequent Directions. | Sifan Yang, Yuanyu Wan, Peijia Li, Yibo Wang, Xiao Zhang, Zhewei Wei, Lijun Zhang |
| 2025 | IJCAI | On the Generalization of Feature Incremental Learning. | Chao Xu, Xijia Tang, Lijun Zhang, Chenping Hou |
| 2025 | IJCAI | One-step Label Shift Adaptation via Robust Weight Estimation. | Ruidong Fan, Xiao Ouyang, Tingjin Luo, Lijun Zhang, Chenping Hou |
| 2025 | IJCAI | Smoothed Online Convex Optimization with Delayed Feedback. | Sifan Yang, Wenhao Yang, Wei Jiang, Yuanyu Wan, Lijun Zhang |
| 2025 | ICSE | Patch Synthesis for Property Repair of Deep Neural Networks. | Zhiming Chi, Jianan Ma, Pengfei Yang, Cheng-Chao Huang, Renjue Li, Jingyi Wang, Xiaowei Huang, Lijun Zhang |
| 2025 | MICCAI | Self-adaptive Vision-Language Model for 3D Segmentation of Pulmonary Artery and Vein. | Xiaotong Guo, Deqian Yang, Dan Wang, Ying Zhu, Haochen Zhao, Yuan Li, Zhilin Sui, Tao Zhou, Lijun Zhang, Hui Meng, Yanda Meng |
| 2025 | MICCAI | Robust Incomplete-Modality Alignment for Ophthalmic Disease Grading and Diagnosis via Labeled Optimal Transport. | Qinkai Yu, Jianyang Xie, Yitian Zhao, Cheng Chen, Lijun Zhang, Liming Chen, Jun Cheng, Lu Liu, Yalin Zheng, Yanda Meng |
| 2025 | VTC | Research on Optimal Coding Rates of Polar Codes in BEC. | Mengyao Li, Jiaqi Li, Lijun Zhang |
| 2024 | AAAI | Deep Homography Estimation for Visual Place Recognition. | Feng Lu, Shuting Dong, Lijun Zhang, Bingxi Liu, Xiangyuan Lan, Dongmei Jiang, Chun Yuan |
| 2024 | AAAI | Non-stationary Projection-Free Online Learning with Dynamic and Adaptive Regret Guarantees. | Yibo Wang, Wenhao Yang, Wei Jiang, Shiyin Lu, Bing Wang, Haihong Tang, Yuanyu Wan, Lijun Zhang |
| 2024 | AAAI | Deep Semantic Graph Transformer for Multi-View 3D Human Pose Estimation. | Lijun Zhang, Kangkang Zhou, Feng Lu, Xiang-Dong Zhou, Yu Shi |
| 2024 | COLT | Nearly Optimal Regret for Decentralized Online Convex Optimization. | Yuanyu Wan, Tong Wei, Mingli Song, Lijun Zhang |
| 2024 | CVPR | CricaVPR: Cross-Image Correlation-Aware Representation Learning for Visual Place Recognition. | Feng Lu, Xiangyuan Lan, Lijun Zhang, Dongmei Jiang, Yaowei Wang, Chun Yuan |
| 2024 | DAC | Formally Verifying Arithmetic Chisel Designs for All Bit Widths at Once. | Weizhi Feng, Yicheng Liu, Jiaxiang Liu, David N. Jansen, Lijun Zhang, Zhilin Wu |
| 2024 | DSN | Verifying Randomized Consensus Protocols with Common Coins. | Song Gao, Bohua Zhan, Zhilin Wu, Lijun Zhang |
| 2024 | ECCV | Asynchronous Large Language Model Enhanced Planner for Autonomous Driving. | Yuan Chen, Zi-han Ding, Ziqin Wang, Yan Wang, Lijun Zhang, Si Liu |
| 2024 | ECCV | Out-of-Bounding-Box Triggers: A Stealthy Approach to Cheat Object Detectors. | Tao Lin, Lijia Yu, Gaojie Jin, Renjue Li, Peng Wu, Lijun Zhang |
| 2024 | EuroSys | GMorph: Accelerating Multi-DNN Inference via Model Fusion. | Qizheng Yang, Tianyi Yang, Mingcan Xiang, Lijun Zhang, Haoliang Wang, Marco Serafini, Hui Guan |
| 2024 | ICLR | Towards Seamless Adaptation of Pre-trained Models for Visual Place Recognition. | Feng Lu, Lijun Zhang, Xiangyuan Lan, Shuting Dong, Yaowei Wang, Chun Yuan |
| 2024 | ICLR | Optimal robust Memorization with ReLU Neural Networks. | Lijia Yu, Xiao-Shan Gao, Lijun Zhang |
| 2024 | ICML | Efficient Stochastic Approximation of Minimax Excess Risk Optimization. | Lijun Zhang, Haomin Bai, Wei-Wei Tu, Ping Yang, Yao Hu |
| 2024 | ICML | Projection-Free Variance Reduction Methods for Stochastic Constrained Multi-Level Compositional Optimization. | Wei Jiang, Sifan Yang, Wenhao Yang, Yibo Wang, Yuanyu Wan, Lijun Zhang |
| 2024 | ICML | High-Probability Bound for Non-Smooth Non-Convex Stochastic Optimization with Heavy Tails. | Langqi Liu, Yibo Wang, Lijun Zhang |
| 2024 | ICML | To Cool or not to Cool? Temperature Network Meets Large Foundation Models via DRO. | Zi-Hao Qiu, Siqi Guo, Mao Xu, Tuo Zhao, Lijun Zhang, Tianbao Yang |
| 2024 | ICML | Non-stationary Online Convex Optimization with Arbitrary Delays. | Yuanyu Wan, Chang Yao, Mingli Song, Lijun Zhang |
| 2024 | ICML | Small-loss Adaptive Regret for Online Convex Optimization. | Wenhao Yang, Wei Jiang, Yibo Wang, Ping Yang, Yao Hu, Lijun Zhang |
| 2024 | ICML | Efficient Algorithms for Empirical Group Distributionally Robust Optimization and Beyond. | Dingzhi Yu, Yunuo Cai, Wei Jiang, Lijun Zhang |
| 2024 | ICML | Generalization Bound and New Algorithm for Clean-Label Backdoor Attack. | Lijia Yu, Shuang Liu, Yibo Miao, Xiao-Shan Gao, Lijun Zhang |
| 2024 | PAKDD | Soft Contrastive Learning for Implicit Feedback Recommendations. | Zhen-Hua Zhuang, Lijun Zhang |
| 2024 | VTC | A Dynamic Adaptive SCL Decoding for Polar Codes Based on Frozen Bits. | Yupeng Jiang, Lijun Zhang |
| 2024 | WWW | Not All Embeddings are Created Equal: Towards Robust Cross-domain Recommendation via Contrastive Learning. | Wenhao Yang, Yingchun Jian, Yibo Wang, Shiyin Lu, Lei Shen, Bing Wang, Haihong Tang, Lijun Zhang |
| 2024 | SETTA | Formal Verification of RISC-V Processor Chisel Designs. | Shidong Shen, Yicheng Liu, Lijun Zhang, Fu Song, Zhilin Wu |
| 2024 | SETTA | Eidos: Efficient, Imperceptible Adversarial 3D Point Clouds. | Hanwei Zhang, Luo Cheng, Qisong He, Wei Huang, Renjue Li, Ronan Sicre, Xiaowei Huang, Holger Hermanns, Lijun Zhang |
| 2024 | TASE | DeepCDCL: A CDCL-based Neural Network Verification Framework. | Zongxin Liu, Pengfei Yang, Lijun Zhang, Xiaowei Huang |
| 2023 | AAAI | Distributed Projection-Free Online Learning for Smooth and Convex Losses. | Yibo Wang, Yuanyu Wan, Shimao Zhang, Lijun Zhang |
| 2023 | APSEC | SAB: Stacking Action Blocks for Efficiently Generating Diverse Multimodal Critical Driving Scenario. | Shuting Kang, Heng Guo, Zitong Bo, Lijun Zhang, Qian Dong, Yunzhi Xue, Yanjun Wu |
| 2023 | ATVA | Scenario Approach for Parametric Markov Models. | Ying Liu, Andrea Turrini, Ernst Moritz Hahn, Bai Xue, Lijun Zhang |
| 2023 | COLT | Improved Dynamic Regret for Online Frank-Wolfe. | Yuanyu Wan, Lijun Zhang, Mingli Song |
| 2023 | FIE | Research to Practice of Blended Learning in Computer Programming Course. | Liang Zhang, Tianyi Chen, Yue Zong, Lijun Zhang |
| 2023 | FIE | A Peer Review Approach to Grading Projects in Computer Courses. | Liang Zhang, Yue Zong, Tianyi Chen, Yafeng Ma, Shuo An, Lijun Zhang |
| 2023 | ICCV | TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction Models. | Liang Zhang, Nathaniel Xu, Pengfei Yang, Gaojie Jin, Cheng-Chao Huang, Lijun Zhang |
| 2023 | ICIG | Task-Agnostic Generalized Meta-learning Based on MAML for Few-Shot Bearing Fault Diagnosis. | Xitao Yang, Lijun Zhang, Jinjia Wang |
| 2023 | ICIP | Progressive Multi-View Fusion for 3D Human Pose Estimation. | Lijun Zhang, Kangkang Zhou, Liangchen Liu, Zhenghao Li, Xunyi Zhao, Xiang-Dong Zhou, Yu Shi |
| 2023 | ICML | Optimistic Online Mirror Descent for Bridging Stochastic and Adversarial Online Convex Optimization. | Sijia Chen, Wei-Wei Tu, Peng Zhao, Lijun Zhang |
| 2023 | ICML | Blockwise Stochastic Variance-Reduced Methods with Parallel Speedup for Multi-Block Bilevel Optimization. | Quanqi Hu, Zi-Hao Qiu, Zhishuai Guo, Lijun Zhang, Tianbao Yang |
| 2023 | ICML | Learning Unnormalized Statistical Models via Compositional Optimization. | Wei Jiang, Jiayu Qin, Lingyu Wu, Changyou Chen, Tianbao Yang, Lijun Zhang |
| 2023 | ICML | Not All Semantics are Created Equal: Contrastive Self-supervised Learning with Automatic Temperature Individualization. | Zi-Hao Qiu, Quanqi Hu, Zhuoning Yuan, Denny Zhou, Lijun Zhang, Tianbao Yang |
| 2023 | ICML | Set-membership Belief State-based Reinforcement Learning for POMDPs. | Wei Wei, Lijun Zhang, Lin Li, Huizhong Song, Jiye Liang |
| 2023 | IJCAI | Model Predictive Control with Reach-avoid Analysis. | Dejin Ren, Wanli Lu, Jidong Lv, Lijun Zhang, Bai Xue |
| 2023 | ICRA | AANet: Aggregation and Alignment Network with Semi-hard Positive Sample Mining for Hierarchical Place Recognition. | Feng Lu, Lijun Zhang, Shuting Dong, Baifan Chen, Chun Yuan |
| 2023 | VTC | A Fano Decoding for Polar Codes Based on Node Acceleration. | Yupeng Jiang, Lijun Zhang |
| 2023 | VTC | Eco-driving over multi-signal road segments considering traffic flow constraints. | Zhensen Yang, Chuang Wang, Yuling Fan, Lijun Zhang |
| 2023 | UAI | Stochastic Graphical Bandits with Heavy-Tailed Rewards. | Yutian Gou, Jinfeng Yi, Lijun Zhang |
| 2022 | AISTATS | Momentum Accelerates the Convergence of Stochastic AUPRC Maximization. | Guanghui Wang, Ming Yang, Lijun Zhang, Tianbao Yang |
| 2022 | APWEB | Non-stationary Dueling Bandits for Online Learning to Rank. | Shiyin Lu, Yuan Miao, Ping Yang, Yao Hu, Lijun Zhang |
| 2022 | CAV | Divide-and-Conquer Determinization of Bchi Automata Based on SCC Decomposition. | Yong Li, Andrea Turrini, Weizhi Feng, Moshe Y. Vardi, Lijun Zhang |
| 2022 | ICASSP | Robust Pressure Matching with ATF Perturbation Constraints for Sound Field Control. | Junqing Zhang, Liming Shi, Mads Grsbll Christensen, Wen Zhang, Lijun Zhang, Jingdong Chen |
| 2022 | ICIP | Spatio-Temporal Attention Graph for Monocular 3d Human Pose Estimation. | Lijun Zhang, Xiaohu Shao, Zhenghao Li, Xiang-Dong Zhou, Yu Shi |
| 2022 | ICML | Optimal Algorithms for Stochastic Multi-Level Compositional Optimization. | Wei Jiang, Bokun Wang, Yibo Wang, Lijun Zhang, Tianbao Yang |
| 2022 | ICML | Large-scale Stochastic Optimization of NDCG Surrogates for Deep Learning with Provable Convergence. | Zi-Hao Qiu, Quanqi Hu, Yongjian Zhong, Lijun Zhang, Tianbao Yang |
| 2022 | ICML | Provable Stochastic Optimization for Global Contrastive Learning: Small Batch Does Not Harm Performance. | Zhuoning Yuan, Yuexin Wu, Zi-Hao Qiu, Xianzhi Du, Lijun Zhang, Denny Zhou, Tianbao Yang |
| 2022 | ICML | A Simple yet Universal Strategy for Online Convex Optimization. | Lijun Zhang, Guanghui Wang, Jinfeng Yi, Tianbao Yang |
| 2022 | ICSE | Towards Practical Robustness Analysis for DNNs based on PAC-Model Learning. | Renjue Li, Pengfei Yang, Cheng-Chao Huang, Youcheng Sun, Bai Xue, Lijun Zhang |
| 2022 | PAKDD | Adaptive Feature Generation for Online Continual Learning from Imbalanced Data. | Yingchun Jian, Jinfeng Yi, Lijun Zhang |
| 2022 | WSDM | Non-stationary Continuum-armed Bandits for Online Hyperparameter Optimization. | Shiyin Lu, Yu-Hang Zhou, Jing-Cheng Shi, Wenya Zhu, Qingtao Yu, Qing-Guo Chen, Qing Da, Lijun Zhang |
| 2022 | SEFM | CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper). | Shizhen Yu, Yifan Dong, Jiuyang Liu, Yong Li, Zhilin Wu, David N. Jansen, Lijun Zhang |
| 2022 | VMCAI | EPMC Gets Knowledge in Multi-agent Systems. | Chen Fu, Ernst Moritz Hahn, Yong Li, Sven Schewe, Meng Sun, Andrea Turrini, Lijun Zhang |
| 2022 | VMCAI | Verifying Pufferfish Privacy in Hidden Markov Models. | Depeng Liu, Bow-Yaw Wang, Lijun Zhang |
| 2021 | AAAI | Stochastic Bandits with Graph Feedback in Non-Stationary Environments. | Shiyin Lu, Yao Hu, Lijun Zhang |
| 2021 | AAAI | Stochastic Graphical Bandits with Adversarial Corruptions. | Shiyin Lu, Guanghui Wang, Lijun Zhang |
| 2021 | AAAI | Projection-free Online Learning in Dynamic Environments. | Yuanyu Wan, Bo Xue, Lijun Zhang |
| 2021 | AAAI | Approximate Multiplication of Sparse Matrices with Limited Space. | Yuanyu Wan, Lijun Zhang |
| 2021 | AAAI | Projection-free Online Learning over Strongly Convex Sets. | Yuanyu Wan, Lijun Zhang |
| 2021 | CIKM | Learning to Augment Imbalanced Data for Re-ranking Models. | Zi-Hao Qiu, Ying-Chun Jian, Qing-Guo Chen, Lijun Zhang |
| 2021 | CogSIMA | Near Real-time Situation Awareness and Anomaly Detection for Complex Railway Environment. | Zan Chen, Weilong Niu, Cheng Wu, Lijun Zhang, Yiming Wang |
| 2021 | DASFAA | A Semi-structured Data Classification Model with Integrating Tag Sequence and Ngram. | Lijun Zhang, Ning Li, Wei Pan, Zhanhuai Li |
| 2021 | DSAA | An Overview on Supervised Semi-structured Data Classification. | Lijun Zhang, Ning Li, Zhanhuai Li |
| 2021 | FM | Formal Verification of Consensus in the Taurus Distributed Database. | Song Gao, Bohua Zhan, Depeng Liu, Xuechao Sun, Yanan Zhi, David N. Jansen, Lijun Zhang |
| 2021 | FM | Congruence Relations for Bchi Automata. | Yong Li, Yih-Kuen Tsay, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang |
| 2021 | FM | Probabilistic Verification of Neural Networks Against Group Fairness. | Bing Sun, Jun Sun, Ting Dai, Lijun Zhang |
| 2021 | ICA3PP | INGCF: An Improved Recommendation Algorithm Based on NGCF. | Weifeng Sun, Kangkang Chang, Lijun Zhang, Kelong Meng |
| 2021 | ICASSP | Variational Autoencoders for Hyperspectral Unmixing with Endmember Variability. | Shuaikai Shi, Min Zhao, Lijun Zhang, Jie Chen |
| 2021 | ICCV | HRegNet: A Hierarchical Network for Large-scale Outdoor LiDAR Point Cloud Registration. | Fan Lu, Guang Chen, Yinlong Liu, Lijun Zhang, Sanqing Qu, Shu Liu, Rongqi Gu |
| 2021 | ICDM | Recurrent Neural Networks Meet Context-Free Grammar: Two Birds with One Stone. | Hui Guan, Umana Chaudhary, Yuanchao Xu, Lin Ning, Lijun Zhang, Xipeng Shen |
| 2021 | IJCAI | Synthesizing Good-Enough Strategies for LTLf Specifications. | Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang |
| 2021 | IJCAI | Deep Unified Cross-Modality Hashing by Pairwise Data Alignment. | Yimu Wang, Bo Xue, Quan Cheng, Yuhui Chen, Lijun Zhang |
| 2021 | IJCNN | DSMN: A Personalized Information Retrieval Algorithm Based on Improved DSSM. | Weifeng Sun, Lijun Zhang, Kangkang Chang, Shumiao Yu |
| 2021 | IECON | Novel Topology of Modular-Matrix-Converter-Based Smart Transformer for Hybrid Microgrid. | Lijun Zhang, Alexandre Bento, Guilherme Marto Paraso, Pedro B. C. Costa, Snia Ferreira Pinto, Jos Fernando Silva |
| 2021 | ISCAS | A 320240 I-ToF CMOS Image Sensor with 2-Tap 5.6m Pixel and Mismatch-Nonlinearity Suppression. | Youze Xin, Bing Zhang, Congzhen Hu, Li Dong, Dan Li, Yunsong Wang, Lijun Zhang, Shuyu Lei, Li Geng |
| 2021 | TACAS | 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 |
| 2020 | AAAI | Adapting to Smoothness: A More Universal Algorithm for Online Convex Optimization. | Guanghui Wang, Shiyin Lu, Yao Hu, Lijun Zhang |
| 2020 | AISTATS | Minimizing Dynamic Regret and Adaptive Regret Simultaneously. | Lijun Zhang, Shiyin Lu, Tianbao Yang |
| 2020 | AISTATS | Bandit Convex Optimization in Non-stationary Environments. | Peng Zhao, Guanghui Wang, Lijun Zhang, Zhi-Hua Zhou |
| 2020 | AISTATS | A Simple Approach for Non-stationary Linear Bandits. | Peng Zhao, Lijun Zhang, Yuan Jiang, Zhi-Hua Zhou |
| 2020 | ATVA | Proving Non-inclusion of Bchi Automata Based on Monte Carlo Sampling. | Yong Li, Andrea Turrini, Xuechao Sun, Lijun Zhang |
| 2020 | CIKM | Improving Multi-Scenario Learning to Rank in E-commerce by Exploiting Task Relationships in the Label Space. | Pengcheng Li, Runze Li, Qing Da, Anxiang Zeng, Lijun Zhang |
| 2020 | ICASSP | A Fast Reduced-Rank Sound Zone Control Algorithm Using The Conjugate Gradient Method. | Liming Shi, Taewoong Lee, Lijun Zhang, Jesper Kjr Nielsen, Mads Grsbll Christensen |
| 2020 | ICLR | SAdam: A Variant of Adam for Strongly Convex Functions. | Guanghui Wang, Shiyin Lu, Quan Cheng, Weiwei Tu, Lijun Zhang |
| 2020 | ICML | Stochastic Optimization for Non-convex Inf-Projection Problems. | Yan Yan, Yi Xu, Lijun Zhang, Xiaoyu Wang, Tianbao Yang |
| 2020 | ICML | Projection-free Distributed Online Convex Optimization with $O(\sqrt{T})$ Communication Complexity. | Yuanyu Wan, Wei-Wei Tu, Lijun Zhang |
| 2020 | IJCAI | Nearly Optimal Regret for Stochastic Linear Bandits with Heavy-Tailed Payoffs. | Bo Xue, Guanghui Wang, Yimu Wang, Lijun Zhang |
| 2020 | IJCAI | Online Learning in Changing Environments. | Lijun Zhang |
| 2020 | IWCMC | Anti-SEU design of SRAM based on FinFET process. | Man Zhang, Lijun Zhang, Yiping Zhang |
| 2020 | WACV | An Adversarial Domain Adaptation Network For Cross-Domain Fine-Grained Recognition. | Yimu Wang, Ren-Jie Song, Xiu-Shen Wei, Lijun Zhang |
| 2019 | COLT | Stochastic Approximation of Smooth and Strongly Convex Functions: Beyond the $O(1/T)$ Convergence Rate. | Lijun Zhang, Zhi-Hua Zhou |
| 2019 | EDM | A Human-Machine Hybrid Peer Grading Framework for SPOCs. | Yong Han, Wenjun Wu, Suozhao Ji, Lijun Zhang, Hui Zhang |
| 2019 | ICASSP | Deep Hybrid Networks Based Response Selection for Multi-turn Dialogue Systems. | Xishuo Li, Lijun Zhang, Wenge Rong, Baiwen Li, Li Qi |
| 2019 | ICASSP | 2.5D Multizone Reproduction with Active Control of Scattered Sound Fields. | Junqing Zhang, Wen Zhang, Thushara D. Abhayapala, Jingli Xie, Lijun Zhang |
| 2019 | ICFEM | Synthesizing Nested Ranking Functions for Loop Programs via SVM. | Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang |
| 2019 | ICFEM | An Axiomatisation of the Probabilistic \mu -Calculus. | Junnan Xu, Wanwei Liu, David N. Jansen, Lijun Zhang |
| 2019 | ICIG | DFQA: Deep Face Image Quality Assessment. | Fei Yang, Xiaohu Shao, Lijun Zhang, Pingling Deng, Xiangdong Zhou, Yu Shi |
| 2019 | ICML | Optimal Algorithms for Lipschitz Bandits with Heavy-tailed Rewards. | Shiyin Lu, Guanghui Wang, Yao Hu, Lijun Zhang |
| 2019 | ICML | Adaptive Regret of Convex and Smooth Functions. | Lijun Zhang, Tie-Yan Liu, Zhi-Hua Zhou |
| 2019 | IJCAI | Improving the Robustness of Deep Neural Networks via Adversarial Training with Triplet Loss. | Pengcheng Li, Jinfeng Yi, Bowen Zhou, Lijun Zhang |
| 2019 | IJCAI | Multi-Objective Generalized Linear Bandits. | Shiyin Lu, Guanghui Wang, Yao Hu, Lijun Zhang |
| 2019 | IECON | Impedance Modeling of Virtual Synchronous Generator Considering Dead-Band Effect. | Lijun Zhang, Fei Wang, Lintao Ren, Xinwei Xu, Jorge Duarte |
| 2019 | VTC | Hybrid Multi-Kernel Construction of Polar Codes. | Lei Cheng, Wei Zhou, Lijun Zhang |
| 2019 | VTC | Construction of Replacement Set in the GC-LDPC Codes Based on BIBDs. | Wei Zhou, Lei Cheng, Lijun Zhang |
| 2019 | UAI | Adaptivity and Optimality: A Universal Algorithm for Online Convex Optimization. | Guanghui Wang, Shiyin Lu, Lijun Zhang |
| 2019 | SAS | 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 |
| 2018 | AISTATS | A Simple Analysis for Exp-concave Empirical Minimization with Arbitrary Convex Regularizer. | Tianbao Yang, Zhe Li, Lijun Zhang |
| 2018 | APLAS | Model Checking Differentially Private Properties. | Depeng Liu, Bow-Yaw Wang, Lijun Zhang |
| 2018 | ICASSP | 2.5D Multizone Reproduction Using Weighted Mode Matching. | Wen Zhang, Junqing Zhang, Thushara D. Abhayapala, Lijun Zhang |
| 2018 | ICDM | Query-Efficient Black-Box Attack by Active Learning. | Pengcheng Li, Jinfeng Yi, Lijun Zhang |
| 2018 | ICML | Dynamic Regret of Strongly Adaptive Methods. | Lijun Zhang, Tianbao Yang, Rong Jin, Zhi-Hua Zhou |
| 2018 | ICPP | Charging Task Scheduling for Directional Wireless Charger Networks. | Haipeng Dai, Ke Sun, Alex X. Liu, Lijun Zhang, Jiaqi Zheng, Guihai Chen |
| 2018 | IJCAI | Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems. | Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang |
| 2018 | IJCAI | Minimizing Adaptive Regret with One Gradient per Iteration. | Guanghui Wang, Dakuan Zhao, Lijun Zhang |
| 2018 | IJCAI | Efficient Adaptive Online Learning via Frequent Directions. | Yuanyu Wan, Nan Wei, Lijun Zhang |
| 2018 | PAKDD | Accelerating Adaptive Online Learning by Matrix Approximation. | Yuanyu Wan, Lijun Zhang |
| 2018 | PLDI | Advanced automata-based algorithms for program termination checking. | Yu-Fang Chen, Matthias Heizmann, Ondrej Lengl, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang |
| 2018 | VMCAI | Learning to Complement Bchi Automata. | Yong Li, Andrea Turrini, Lijun Zhang, Sven Schewe |
| 2017 | AAAI | A Two-Stage Approach for Learning a Sparse Model with Sharp Excess Risk Analysis. | Zhe Li, Tianbao Yang, Lijun Zhang, Rong Jin |
| 2017 | AAAI | Efficient Non-Oblivious Randomized Reduction for Risk Minimization with Improved Excess Risk Guarantee. | Yi Xu, Haiqin Yang, Lijun Zhang, Tianbao Yang |
| 2017 | AAAI | Efficient Stochastic Optimization for Low-Rank Distance Metric Learning. | Jie Zhang, Lijun Zhang |
| 2017 | ATVA | Finding Polynomial Loop Invariants for Probabilistic Programs. | Yijun Feng, Lijun Zhang, David N. Jansen, Naijun Zhan, Bican Xia |
| 2017 | COLT | Empirical Risk Minimization for Stochastic Convex Optimization: $O(1/n)$- and $O(1/n^2)$-type of Risk Bounds. | Lijun Zhang, Tianbao Yang, Rong Jin |
| 2017 | HPCC | Efficient Asynchronous Communication between Virtual Machines in Embedded Systems. | Rui Wang, Libin Xu, Yuebin Bai, Zhongzhao Wang, Hailong Yang, Lijun Zhang |
| 2017 | ICIG | Link Functions and Training-Based in Reflectance Reconstruction from RGB Images. | Lijun Zhang, Jun Jiang, Jingjing Zhang, Chen Wang |
| 2017 | ICML | A Richer Theory of Convex Constrained Optimization with Reduced Projections and Improved Rates. | Tianbao Yang, Qihang Lin, Lijun Zhang |
| 2017 | ICONIP | Illumination Quality Assessment for Face Images: A Benchmark and a Convolutional Neural Networks Based Model. | Lijun Zhang, Lin Zhang, Lida Li |
| 2017 | IJCAI | Storage Fit Learning with Unlabeled Data. | Bo-Jian Hou, Lijun Zhang, Zhi-Hua Zhou |
| 2017 | IJCAI | SVD-free Convex-Concave Approaches for Nuclear Norm Regularization. | Yichi Xiao, Zhe Li, Tianbao Yang, Lijun Zhang |
| 2017 | IJCAI | Semi-Supervised Deep Hashing with a Bipartite Graph. | Xinyu Yan, Lijun Zhang, Wu-Jun Li |
| 2017 | IECON | Perturbation influences of parameters on dynamic performance of a virtual synchronous generator. | Lijun Zhang, Fei Wang, Hui Guo, Xiayun Feng, Yan Du, Jianhui Su |
| 2017 | IECON | Finite-time fault tolerant control for spacecraft using sliding mode method. | Lijun Zhang, Yuanqing Xia, Ganghui Shen, Kunfeng Lu |
| 2017 | SETTA | On Equivalence Checking of Nondeterministic Finite Automata. | Chen Fu, Yuxin Deng, David N. Jansen, Lijun Zhang |
| 2017 | TACAS | A Novel Learning Algorithm for Bchi Automata Based on Family of DFAs and Classification Trees. | Yong Li, Yu-Fang Chen, Lijun Zhang, Depeng Liu |
| 2017 | VMCAI | Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. | Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2016 | AAAI | Stochastic Optimization for Kernel PCA. | Lijun Zhang, Tianbao Yang, Jinfeng Yi, Rong Jin, Zhi-Hua Zhou |
| 2016 | AAAI | Fast and Accurate Refined Nystrm-Based Kernel SVM. | Zhe Li, Tianbao Yang, Lijun Zhang, Rong Jin |
| 2016 | AAAI | Accelerated Sparse Linear Regression via Random Projection. | Weizhong Zhang, Lijun Zhang, Rong Jin, Deng Cai, Xiaofei He |
| 2016 | ALT | Sparse Learning for Large-Scale and High-Dimensional Data: A Randomized Convex-Concave Optimization Approach. | Lijun Zhang, Tianbao Yang, Rong Jin, Zhi-Hua Zhou |
| 2016 | CAV | A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. | Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2016 | ECAI | GPU-Accelerated Value Iteration for the Computation of Reachability Probabilities in MDPs. | Zhimin Wu, Ernst Moritz Hahn, Akin Gnay, Lijun Zhang, Yang Liu |
| 2016 | HPCC | A Node Stability-Based Multipath Routing Protocol in Heterogeneous Ad Hoc Networks. | Wenjia Liu, Yuebin Bai, Weitao Wang, Yuhao Gu, Jihong Ma, Linbin Xu, Lijun Zhang |
| 2016 | HPCC | Towards Fault-Tolerant Real-Time Scheduling in the seL4 Microkernel. | Libin Xu, Yuebin Bai, Kun Cheng, Lingyu Ge, Danning Nie, Lijun Zhang, Wenjia Liu |
| 2016 | ICML | Tracking Slowly Moving Clairvoyant: Optimal Dynamic Regret of Online Learning with True and Noisy Gradient. | Tianbao Yang, Lijun Zhang, Rong Jin, Jinfeng Yi |
| 2016 | ICML | Online Stochastic Linear Optimization under One-bit Feedback. | Lijun Zhang, Tianbao Yang, Rong Jin, Yichi Xiao, Zhi-Hua Zhou |
| 2016 | UAI | Optimal Stochastic Strongly Convex Optimization with a Logarithmic Number of Projections. | Jianhui Chen, Tianbao Yang, Qihang Lin, Lijun Zhang, Yi Chang |
| 2016 | SETTA | An Efficient Synthesis Algorithm for Parametric Markov Chains Against Linear Time Properties. | Yong Li, Wanwei Liu, Andrea Turrini, Ernst Moritz Hahn, Lijun Zhang |
| 2016 | TIME | Verify LTL with Fairness Assumptions Efficiently. | Yong Li, Lei Song, Yuan Feng, Lijun Zhang |
| 2015 | AAAI | Online Bandit Learning for a Special Class of Non-Convex Losses. | Lijun Zhang, Tianbao Yang, Rong Jin, Zhi-Hua Zhou |
| 2015 | AAAI | Preference Planning for Markov Decision Processes. | Meilun Li, Zhikun She, Andrea Turrini, Lijun Zhang |
| 2015 | AISTATS | A Simple Homotopy Algorithm for Compressive Sensing. | Lijun Zhang, Tianbao Yang, Rong Jin, Zhi-Hua Zhou |
| 2015 | CAV | Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation. | Yu-Fang Chen, Chih-Duo Hong, Bow-Yaw Wang, Lijun Zhang |
| 2015 | COLT | Lower and Upper Bounds on the Generalization of Stochastic Exponentially Concave Optimization. | Mehrdad Mahdavi, Lijun Zhang, Rong Jin |
| 2015 | CONCUR | Lazy Probabilistic Model Checking without Determinisation. | Ernst Moritz Hahn, Guangyuan Li, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2015 | FM | Probabilistic Bisimulation for Realistic Schedulers. | Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang |
| 2015 | FM | QPMC: A Model Checker for Quantum Programs and Protocols. | Yuan Feng, Ernst Moritz Hahn, Andrea Turrini, Lijun Zhang |
| 2015 | ICML | An Explicit Sampling Dependent Spectral Error Bound for Column Subset Selection. | Tianbao Yang, Lijun Zhang, Rong Jin, Shenghuo Zhu |
| 2015 | ICML | Theory of Dual-sparse Regularized Randomized Reduction. | Tianbao Yang, Lijun Zhang, Rong Jin, Shenghuo Zhu |
| 2015 | IJCAI | A Simple Probabilistic Extension of Modal Mu-calculus. | Wanwei Liu, Lei Song, Ji Wang, Lijun Zhang |
| 2015 | IJCAI | Planning for Stochastic Games with Co-Safe Objectives. | Lei Song, Yuan Feng, Lijun Zhang |
| 2015 | KDD | An Efficient Semi-Supervised Clustering Algorithm with Sequential Constraints. | Jinfeng Yi, Lijun Zhang, Tianbao Yang, Wei Liu, Jun Wang |
| 2015 | POPL | Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems. | Fei He, Xiaowei Gao, Bow-Yaw Wang, Lijun Zhang |
| 2015 | SETTA | A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. | Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Marille Stoelinga, Andrea Turrini, Lijun Zhang |
| 2015 | SETTA | Extending Hybrid CSP with Probability and Stochasticity. | Yu Peng, Shuling Wang, Naijun Zhan, Lijun Zhang |
| 2014 | AAAI | Sparse Learning for Stochastic Composite Optimization. | Weizhong Zhang, Lijun Zhang, Yao Hu, Rong Jin, Deng Cai, Xiaofei He |
| 2014 | CIS | Design and Implementation: Adaptive Active Queue Management Algorithm Based on Neural Network. | Zhenwei Meng, Junlong Qiao, Lijun Zhang |
| 2014 | CONCUR | A Nearly Optimal Upper Bound for the Self-Stabilization Time in Herman's Algorithm. | Yuan Feng, Lijun Zhang |
| 2014 | CSL | Probably safe or live. | Joost-Pieter Katoen, Lei Song, Lijun Zhang |
| 2014 | ECAI | LTLf Satisfiability Checking. | Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He |
| 2014 | FM | When Equivalence and Bisimulation Join Forces in Probabilistic Automata. | Yuan Feng, Lijun Zhang |
| 2014 | FM | iscasMc: A Web-Based Probabilistic Model Checker. | Ernst Moritz Hahn, Yi Li, Sven Schewe, Andrea Turrini, Lijun Zhang |
| 2014 | GECCO | A projection-based decomposition in EHW method for design of relatively large circuits. | Yanyun Tao, Yuzhen Zhang, Lijun Zhang, Chao Gu |
| 2014 | HCI | Crowd Target Positioning under Multiple Cameras Based on Block Correspondence. | Qiuyu Zhu, Sai Yuan, Bo Chen, Guowei Wang, Jianzhong Xu, Lijun Zhang |
| 2014 | ICML | Efficient Algorithms for Robust One-bit Compressive Sensing. | Lijun Zhang, Jinfeng Yi, Rong Jin |
| 2014 | ICML | A Single-Pass Algorithm for Efficiently Recovering Sparse Cluster Centers of High-dimensional Data. | Jinfeng Yi, Lijun Zhang, Jun Wang, Rong Jin, Anil K. Jain |
| 2014 | VMCAI | Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes. | Lei Song, Lijun Zhang, Jens Chr. Godskesen |
| 2013 | ATVA | CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains. | Yang Gao, Ernst Moritz Hahn, Naijun Zhan, Lijun Zhang |
| 2013 | COLT | Recovering the Optimal Solution by Dual Random Projection. | Lijun Zhang, Mehrdad Mahdavi, Rong Jin, Tianbao Yang, Shenghuo Zhu |
| 2013 | ICML | Semi-supervised Clustering by Input Pattern Assisted Pairwise Similarity Matrix Completion. | Jinfeng Yi, Lijun Zhang, Rong Jin, Qi Qian, Anil K. Jain |
| 2013 | ICML | O(logT) Projections for Stochastic Optimization of Smooth and Strongly Convex Functions. | Lijun Zhang, Tianbao Yang, Rong Jin, Xiaofei He |
| 2013 | ICML | Online Kernel Learning with a Near Optimal Sparsity Bound. | Lijun Zhang, Jinfeng Yi, Rong Jin, Ming Lin, Xiaofei He |
| 2013 | TACAS | The Quest for Minimal Quotients for Probabilistic Automata. | Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang |
| 2013 | TASE | Model Repair for Markov Decision Processes. | Taolue Chen, Ernst Moritz Hahn, Tingting Han, Marta Z. Kwiatkowska, Hongyang Qu, Lijun Zhang |
| 2013 | TIME | LTL Satisfiability Checking Revisited. | Jianwen Li, Lijun Zhang, Geguang Pu, Moshe Y. Vardi, Jifeng He |
| 2012 | AAAI | Document Summarization Based on Data Reconstruction. | Zhanying He, Chun Chen, Jiajun Bu, Can Wang, Lijun Zhang, Deng Cai, Xiaofei He |
| 2012 | AAAI | Efficient Online Learning for Large-Scale Sparse Kernel Logistic Regression. | Lijun Zhang, Rong Jin, Chun Chen, Jiajun Bu, Xiaofei He |
| 2012 | APWEB | Mining Frequent Association Tag Sequences for Clustering XML Documents. | Lijun Zhang, Zhanhuai Li, Qun Chen, Xia Li, Ning Li, Ying Lou |
| 2012 | ICML | Multiple Kernel Learning from Noisy Labels by Stochastic Programming. | Tianbao Yang, Mehrdad Mahdavi, Rong Jin, Lijun Zhang, Yang Zhou |
| 2012 | VTC | A Puncturing Scheme for Low-Density Parity-Check Codes Based on 1-SR Nodes. | Lijun Zhang, Fuli Ma, L. L. Cheng |
| 2012 | VTC | Hybrid Construction of Long LDPC Codes with Very Low Density. | Lijun Zhang, Yanjing Zhang, L. L. Cheng |
| 2012 | VMCAI | A General Framework for Probabilistic Characterizing Formulae. | Joshua Sack, Lijun Zhang |
| 2011 | CAV | Model Checking Algorithms for CTMDPs. | Peter Buchholz, Ernst Moritz Hahn, Holger Hermanns, Lijun Zhang |
| 2011 | CONCUR | Bisimulations Meet PCTL Equivalences for Probabilistic Automata. | Lei Song, Lijun Zhang, Jens Chr. Godskesen |
| 2011 | ICALP | On Stabilization in Herman's Algorithm. | Stefan Kiefer, Andrzej S. Murawski, Jol Ouaknine, James Worrell, Lijun Zhang |
| 2011 | ICALP | Automata-Based CSL Model Checking. | Lijun Zhang, David N. Jansen, Flemming Nielson, Holger Hermanns |
| 2011 | ISPEC | Another Elliptic Curve Model for Faster Pairing Computation. | Lijun Zhang, Kunpeng Wang, Hong Wang, Dingfeng Ye |
| 2010 | AAAI | G-Optimal Design with Laplacian Regularization. | Chun Chen, Zhengguang Chen, Jiajun Bu, Can Wang, Lijun Zhang, Cheng Zhang |
| 2010 | AAAI | Modeling Dynamic Multi-Topic Discussions in Online Forums. | Hao Wu, Jiajun Bu, Chun Chen, Can Wang, Guang Qiu, Lijun Zhang, Jianfeng Shen |
| 2010 | APWEB | A Metric for Measuring Members' Contribution to Information Propagation in Social Network Sites. | Jiajia Zheng, Wei Chen, Lijun Zhang, Jiajun Bu, Chun Chen |
| 2010 | CAV | PARAM: A Model Checker for Parametric Markov Models. | Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2010 | CAV | Safety Verification for Probabilistic Hybrid Systems. | Lijun Zhang, Zhikun She, Stefan Ratschan, Holger Hermanns, Ernst Moritz Hahn |
| 2010 | CONCUR | Concurrency and Composition in a Stochastic World. | Christian Eisentraut, Holger Hermanns, Lijun Zhang |
| 2010 | LICS | On Probabilistic Automata in Continuous Time. | Christian Eisentraut, Holger Hermanns, Lijun Zhang |
| 2010 | PAKDD | Topic Decomposition and Summarization. | Wei Chen, Can Wang, Chun Chen, Lijun Zhang, Jiajun Bu |
| 2010 | TACAS | PASS: Abstraction Refinement for Infinite Probabilistic Models. | Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2010 | TACAS | Model Checking Interactive Markov Chains. | Lijun Zhang, Martin R. Neuhuer |
| 2010 | VMCAI | Best Probabilistic Transformers. | Bjrn Wachter, Lijun Zhang |
| 2009 | CAV | INFAMY: An Infinite-State Markov Model Checker. | Ernst Moritz Hahn, Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2009 | ICMLA | Context-Dependent Fusion of Multiple Algorithms with Minimum Classification Error Learning. | Lijun Zhang, Hichem Frigui, Paul D. Gader |
| 2008 | CAV | Probabilistic CEGAR. | Holger Hermanns, Bjrn Wachter, Lijun Zhang |
| 2008 | CONCUR | On the Minimisation of Acyclic Models. | Pepijn Crouzen, Holger Hermanns, Lijun Zhang |
| 2008 | CONCUR | A Space-Efficient Probabilistic Simulation Algorithm. | Lijun Zhang |
| 2008 | FORTE | An Experimental Evaluation of Probabilistic Simulation. | Jonathan Bogdoll, Holger Hermanns, Lijun Zhang |
| 2008 | IGARSS | Context-Dependent Multi-Sensor Fusion for Landmine Detection. | Hichem Frigui, Lijun Zhang, Paul D. Gader |
| 2007 | ATVA | Deciding Simulations on Probabilistic Automata. | Lijun Zhang, Holger Hermanns |
| 2007 | IGARSS | Neural network-based experimental study on shaft water sealing by grouting. | Lijun Zhang, Qiu Li, Yanbo Song |
| 2007 | IGARSS | Lidar application in selection and design of power line route. | Lijun Zhang, Qiu Li, Zizheng Wang, Huijie Liu, Zhongsheng Li, Yao Gui, Robert Kletzli, Xiaodong Yang, Shuming Chen, Yanjing Liu |
| 2007 | IGARSS | Field measurement of Gobi surface emissivity using CE312 and Infragold Board at Dunhuang calibration site of China. | Yong Zhang, Zhiguo Rong, Xiuqing Hu, Jingjing Liu, Lijun Zhang, Yuan Li, Xingying Zhang |
| 2007 | TACAS | Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations. | Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen |
| 2006 | IGARSS | Evaluation of GPS/ IMU Supported Aerial Photogrammetry. | Lijun Zhang, Qiu Li, Dahai Guo, Yibin He, Yueguan Yan |
| 2006 | IGARSS | Estimation of House Displacement Cost Based on Aerial Orthoimage in Suburb Real Estate GIS. | Qiu Li, Lijun Zhang, Hongbo Zhang, Jinan Jia, Yanfang Zhao, Changao Shi |
| 2006 | IGARSS | Research on Preservation of Evidence Based on Remote Sensing Image Supported by GIS. | Qiu Li, Lijun Zhang, Hongbo Zhang, Changao Shi, Junhai Gao, Chengfa Gao |
| 2005 | FORTE | Logic and Model Checking for Hidden Markov Models. | Lijun Zhang, Holger Hermanns, David N. Jansen |
| 2003 | ISMIS | Improving the Performance of Text Classifiers by Using Association Features. | Yang Zhang, Lijun Zhang, Zhanhuai Li, Yan Jianfeng |
| 2003 | PIMRC | Throughput analysis of nonbinary type-II hybrid ARQ. | Lijun Zhang, Victor O. K. Li, Zhigang Cao |
| 2002 | WCNC | Short BCH codes for wireless multimedia data. | Lijun Zhang, Victor O. K. Li, Zhigang Cao |
| 2001 | VTC | Multilevel generalized array coding for Rayleigh fading channel. | Dongfeng Yuan, Chun-Yan Gao, Lijun Zhang |
| 2000 | GLOBECOM | Exact analysis of bit error rate of maximum-distance-separable codes. | Lijun Zhang, Chun-Yan Gao, Zhigang Cao |
| 2000 | PDPTA | A Parallel Multi-layered Pipeline with Feedback Mechanism for Mass Pattern Matching. | Jie Li, Yannan Zhao, Lijun Zhang, Wuying Xia |
| 2000 | PIMRC | Performance of soft-decision trellis decoding of block codes in Rayleigh fading channel and its application to compressed image transmission. | Dongfeng Yuan, Chun-Yan Gao, Lijun Zhang |
| 2000 | WCNC | GAC-based trellis decoding of block codes in Rayleigh fading channel. | Dongfeng Yuan, Chun-Yan Gao, Lijun Zhang |
| 2000 | VCIP | Application of soft-decision trellis decoding of block codes in narrow-banded image transmission system over Rayleigh fading channels. | Dongfeng Yuan, Chun-Yan Gao, Lijun Zhang |
| 1999 | WCNC | On performance of BCH codes using two novel interleaving schemes in Rayleigh fading channels. | Dongfeng Yuan, Chengxiang Wang, Lijun Zhang, Qi Yao |