Managing Complexity in Real-Time Reactive Systems. - Vangalur S. Alagar; Olga Ormandjieva; Mao Zheng (ICECCS, 2000)

Specification-Based Testing for Real-Time Reactive Systems. - Vangalur S. Alagar; Olga Ormandjieva; Mao Zheng (TOOLS (34), 2000)

A Rigorous Method for Testing Real-Time Reactive Systems. - Vangalur S. Alagar; Mao Zheng (APSEC, 2001)

Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. - Vangalur S. Alagar; M. Chen; Olga Ormandjieva; Mao Zheng (APSEC, 2003)

Incremental Testing for Self-Evolving Timed Systems. - Vangalur S. Alagar; Olga Ormandjieva; Mao Zheng (QSIC, 2003)

A rigorous approach for constructing self-evolving real-time reactive systems. - Vangalur S. Alagar; Ramesh Achuthan; M. Haydar; D. Muthiayen; Olga Ormandjieva; Mao Zheng (Inf. Softw. Technol., 2003)

Ensuring service availability for media handling in mobile ad-hoc networks. - Vangalur S. Alagar; Olga Ormandjieva; Kaiyu Wan; Mao Zheng (AMT, 2005)

Conformance Testing of BDI Properties in Agent-based Software Systems. - Mao Zheng; Vangalur S. Alagar (APSEC, 2005)

A Software Architecture for Multi-agent Systems. - Vasu S. Alagar; Mao Zheng (CIS (1), 2005)

An Empirical Study on Software Reuse. - Huzumi Nakano; Mao Zheng; Kasi Periyasamy; Zhe Wei (CSSE (6), 2008)

Early quality monitoring in the development of real-time reactive systems. - Olga Ormandjieva; Vangalur S. Alagar; Mao Zheng (J. Syst. Softw., 2008)

Automated generation of test suites from formal specifications of real-time reactive systems. - Mao Zheng; Vasu S. Alagar; Olga Ormandjieva (J. Syst. Softw., 2008)

Reliability Analysis in the Early Development of Real-Time Reactive Systems. - Mao Zheng; Olga Ormandjieva (CSIE (7), 2009)

Real-time aerial targets detection algorithm based background subtraction. - Mao Zheng; Zhen-Rong Wu; Saidsho Bakhdavlatov; Jing-Song Qu; Hong-Yan Li; Jian-Jian Yuan (APSIPA, 2013)

Triple based Background Knowledge Ranking for Document Enrichment. - Muyu Zhang; Bing Qin 001; Ting Liu 001; Mao Zheng (COLING, 2014)

Encoding Distributional Semantics into Triple-Based Knowledge Ranking for Document Enrichment. - Muyu Zhang; Bing Qin 001; Mao Zheng; Graeme Hirst; Ting Liu 001 (ACL (1), 2015)

Technique of Target Tracking for Ballistic Missile. - Xu-hui Lan; Hui Li; Changxi Li; Mao Zheng (ITITS (1), 2015)

Research on Knowledge Fusion Connotation and Process Model. - Hao Fan; Fei Wang; Mao Zheng (CCKS, 2016)

Modeling The Adaption Rule in Context-aware Systems. - Mao Zheng; Qian Xu; Hao Fan (CoRR, 2016)

Building Computer Science K-12 PLCs in Rural Communities. - Allison Sauppé; Samantha S. Foley; Thomas Gendreau; Joshua T. Hertel; Mao Zheng (SIGCSE, 2019)

Heading Control of Unmanned Marine Vehicles Based on an Improved Robust Adaptive Fuzzy Neural Network Control Algorithm. - Zaopeng Dong; Tao Bao; Mao Zheng; Xin Yang; Lifei Song; Yunsheng Mao (IEEE Access, 2019)

Marine diesel engine speed control based on adaptive state-compensate extended state observer-backstepping method. - Shuo Xie; Xiumin Chu; Chenguang Liu; Mao Zheng (J. Syst. Control. Eng., 2019)

Multimodal Topic Learning for Video Recommendation. - Shi Pu; Yijiang He; Zheng Li; Mao Zheng (CoRR, 2020)

A composite learning method for multi-ship collision avoidance based on reinforcement learning and inverse control. - Shuo Xie; Xiumin Chu; Mao Zheng; Chenguang Liu (Neurocomputing, 2020)

Multi-GMTI decentralized tracking via consensus LMB density fusion. - Weihua Wu; Hemin Sun; Weiping Huang; Mao Zheng; Xun Feng (ICCAIS, 2021)

Derivation of the multi-model generalized labeled multi-Bernoulli filter: a solution to multi-target hybrid systems. - Weihua Wu; Yichao Cai; Hongbin Jin; Mao Zheng; Xun Feng; Zewen Guan (Frontiers Inf. Technol. Electron. Eng., 2021)

Multi-GMTI fusion for Doppler blind zone suppression using PHD fusion. - Weihua Wu; Hemin Sun; Zhiliang Huang; Jiajun Xiong; Mao Zheng; Chen Chen (Signal Process., 2021)

Alignment-Uniformity aware Representation Learning for Zero-shot Video Classification. - Shi Pu; Kaili Zhao; Mao Zheng (CVPR, 2022)

STOA-VLP: Spatial-Temporal Modeling of Object and Action for Video-Language Pre-training. - Weihong Zhong; Mao Zheng; Duyu Tang; Xuan Luo; Heng Gong; Xiaocheng Feng; Bing Qin 001 (AAAI, 2023)

Building a Stock Machine Learning Model using Numerai Dataset. - Jingwen Zhang; Ge Shi; Song Chen; Mao Zheng (eIT, 2023)

MemBridge: Video-Language Pre-Training With Memory-Augmented Inter-Modality Bridge. - Jiahao Yang; Xiangyang Li 002; Mao Zheng; Zihan Wang; Yongqing Zhu; Xiaoqian Guo; Yuchen Yuan; Zifeng Chai; Shuqiang Jiang (IEEE Trans. Image Process., 2023)

Focus and Align: Learning Tube Tokens for Video-Language Pre-Training. - Yongqing Zhu; Xiangyang Li 002; Mao Zheng; Jiahao Yang; Zihan Wang; Xiaoqian Guo; Zifeng Chai; Yuchen Yuan; Shuqiang Jiang (IEEE Trans. Multim., 2023)

Counting-Stars: A Simple, Efficient, and Reasonable Strategy for Evaluating Long-Context Large Language Models. - Mingyang Song; Mao Zheng; Xuan Luo (CoRR, 2024)

Can Many-Shot In-Context Learning Help Long-Context LLM Judges? See More, Judge Better! - Mingyang Song; Mao Zheng; Xuan Luo (CoRR, 2024)

SS-Bench: A Benchmark for Social Story Generation and Evaluation. - Yi Feng; Mingyang Song; Jiaqi Wang 006; Mao Zheng; Liping Jing; Jian Yu 001 (CoRR, 2024)

A Survey of Query Optimization in Large Language Models. - Mingyang Song; Mao Zheng (CoRR, 2024)

Dynamic domain-based collision avoidance system for autonomous ships: Real experiments in coastal waters. - Zhibo He; Chenguang Liu; Xiumin Chu; Wenxiang Wu; Mao Zheng; Daiyong Zhang (Expert Syst. Appl., 2024)

MiMoTable: A Multi-scale Spreadsheet Benchmark with Meta Operations for Table Reasoning. - Zheng Li; Yang Du; Mao Zheng; Mingyang Song (COLING, 2025)

Counting-Stars: A Multi-evidence, Position-aware, and Scalable Benchmark for Evaluating Long-Context Large Language Models. - Mingyang Song; Mao Zheng; Xuan Luo (COLING, 2025)

Can Many-Shot In-Context Learning Help LLMs as Evaluators? A Preliminary Empirical Study. - Mingyang Song; Mao Zheng; Xuan Luo (COLING, 2025)

TS-CAN+: A Improved TS-CAN Architecture for Non-Contact Heart Rate Measurement. - Yihang Li; Junjian Huang; Jichao Zhao; Dayu Wu; Mao Zheng (IEEE Trans. Consumer Electron., 2025)

GRP: Goal-Reversed Prompting for Zero-Shot Evaluation with LLMs. - Mingyang Song; Mao Zheng; Xuan Luo (CoRR, 2025)

FastCuRL: Curriculum Reinforcement Learning with Progressive Context Extension for Efficient Training R1-like Reasoning Models. - Mingyang Song; Mao Zheng; Zheng Li; Wenjie Yang; Xuan Luo; Yue Pan; Feng Zhang (CoRR, 2025)

SSR-Zero: Simple Self-Rewarding Reinforcement Learning for Machine Translation. - Wenjie Yang; Mao Zheng; Mingyang Song; Zheng Li (CoRR, 2025)

TAT-R1: Terminology-Aware Translation with Reinforcement Learning and Word Alignment. - Zheng Li; Mao Zheng; Mingyang Song; Wenjie Yang (CoRR, 2025)

Walk Before You Run! Concise LLM Reasoning via Reinforcement Learning. - Mingyang Song; Mao Zheng (CoRR, 2025)

Zero-shot image segmentation for scene objects based on the L0 gradient minimization and adaptive superpixel method. - Hailong Yan; Junjian Huang; Mao Zheng; Yijie Tang (Neural Comput. Appl., 2025)

ISRnet: Compressed Image Inpainting Based on Generative Adversarial Network. - Junjian Huang; Mao Zheng; Zhizhang Li; Xing He 001; Shiping Wen 001 (IEEE Trans. Emerg. Top. Comput. Intell., 2025)