| 2024 | SETTA | Enhancing Multi-modal Regular Expression Synthesis via Large Language Models and Semantic Manipulations of Sub-expressions. | Zipan Tang, Yixuan Yan, Rongchen Li, Hanze Dong, Haiming Chen, Hongyu Gao |
| 2024 | SETTA | A Derivative-Based Membership Algorithm for Enhanced Regular Expressions. | Mengxi Wang, Chunmei Dong, Weihao Su, Chengyao Peng, Haiming Chen |
| 2023 | ICA3PP | A Path Planning and Obstacle Avoidance Method for USV Based on Dynamic-Target APF Algorithm in Edge. | Di Wang, Haiming Chen, Cangchen Wu |
| 2023 | ICTAC | Algorithms for Checking Intersection Non-emptiness of Regular Expressions. | Weihao Su, Rongchen Li, Chengyao Peng, Haiming Chen |
| 2023 | VLDB | QuEST: Fast, Expressive, and Cheap Analytics for Distributed Traces Using Cloud Storage. | Jessica Berg, Muhammad Haseeb, Haiming Chen, Yaojia Ju, Anirudh Sivaraman, Ravi Netravali, Srinivas Narayana |
| 2023 | SETTA | Modeling Regex Operators for Solving Regex Crossword Puzzles. | Weihao Su, Haiming Chen, Rongchen Li, Zixuan Chen |
| 2023 | SETTA | Deducing Matching Strings for Real-World Regular Expressions. | Yixuan Yan, Weihao Su, Lixiao Zheng, Mengxi Wang, Haiming Chen, Chengyao Peng, Rongchen Li, Zixuan Chen |
| 2022 | HPCC | Nuwa-RL: A Reinforcement Learning based Receiver-side Congestion Control Algorithm to Meet Applications Demands over Dynamic Wireless Networks. | Guanghui Gong, Xianliang Jiang, Guang Jin, Yi Xie, Haiming Chen |
| 2022 | HPCC | BBR-FIT: An Intelligent BBR based on the Reinforcement Learning to Boost the Network Efficiency over Time-Varying Networks. | Yi Xie, Xianliang Jiang, Guang Jin, Haiming Chen |
| 2022 | ICPADS | Nuwa: A Receiver-driven Congestion Control Framework to Achieve High-throughput and Controlled Delay over Dynamic Wireless Networks. | Guanghui Gong, Xianliang Jiang, Yi Xie, Guang Jin, Jianan Zhang, Haiming Chen |
| 2022 | ICPADS | G-PPG: A Gesture-related PPG-based Two-Factor Authentication for Wearable Devices. | Jiaqi Pan, Xinyan Zhou, Zenan Zhang, Xiaoyu Ji, Haiming Chen |
| 2021 | ICA3PP | NBUFlow: A Dataflow Based Universal Task Orchestration and Offloading Platform for Low-Cost Development of IoT Systems with Cloud-Edge-Device Collaborative Computing. | Lei Wang, Haiming Chen, Wei Qin |
| 2021 | ICSE | TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair. | Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung |
| 2020 | ICDE | FlashSchema: Achieving High Quality XML Schemas with Powerful Inference Algorithms and Large-scale Schema Data. | Yeting Li, Jialun Cao, Haiming Chen, Tingjian Ge, Zhiwu Xu, Qiancheng Peng |
| 2020 | PAKDD | Inferring Restricted Regular Expressions with Interleaving from Positive and Negative Samples. | Yeting Li, Haiming Chen, Lingqi Zhang, Bo Huang, Jianzhao Zhang |
| 2020 | SOFSEM | Grammars and a Random Generator for Deterministic Chain Regular Expressions. | Xinyu Chu, Ping Lu, Haiming Chen |
| 2020 | SOFSEM | Inferring Deterministic Regular Expression with Unorder. | Xiaofan Wang, Haiming Chen |
| 2019 | DASFAA | Learning DMEs from Positive and Negative Examples. | Yeting Li, Chunmei Dong, Xinyu Chu, Haiming Chen |
| 2019 | DASFAA | Learning k-Occurrence Regular Expressions with Interleaving. | Yeting Li, Xiaolan Zhang, Jialun Cao, Haiming Chen, Chong Gao |
| 2019 | ER | Learning k-Occurrence Regular Expressions from Positive and Negative Samples. | Yeting Li, Xiaoying Mou, Haiming Chen |
| 2019 | ICTAC | Context-Free Grammars for Deterministic Regular Expressions with Interleaving. | Xiaoying Mou, Haiming Chen, Yeting Li |
| 2019 | IDEAS | An effective algorithm for learning single occurrence regular expressions with interleaving. | Yeting Li, Haiming Chen, Xiaolan Zhang, Lingqi Zhang |
| 2019 | KSEM | Learning a Subclass of Deterministic Regular Expression with Counting. | Xiaofan Wang, Haiming Chen |
| 2019 | PAKDD | A Large-Scale Repository of Deterministic Regular Expression Patterns and Its Applications. | Haiming Chen, Yeting Li, Chunmei Dong, Xinyu Chu, Xiaoying Mou, Weidong Min |
| 2019 | WISE | Learning Restricted Deterministic Regular Expressions with Counting. | Xiaofan Wang, Haiming Chen |
| 2018 | ADMA | Learning Concise Relax NG Schemas Supporting Interleaving from XML Documents. | Yeting Li, Xiaoying Mou, Haiming Chen |
| 2018 | APCC | Evaluation of SDN-based bandwidth estimation in Mobile Broad Band networks. | Giuseppe Aceto, Fabio Palumbo, Valerio Persico, Haiming Chen, Antonio Pescap |
| 2018 | APWEB | Inferring Regular Expressions with Interleaving from XML Data. | Xiaolan Zhang, Yeting Li, Fei Tian, Fanlin Cui, Chunmei Dong, Haiming Chen |
| 2018 | ER | Learning Restricted Regular Expressions with Interleaving from XML Data. | Yeting Li, Xiaolan Zhang, Han Xu, Xiaoying Mou, Haiming Chen |
| 2018 | ER | Inferring Deterministic Regular Expression with Counting. | Xiaofan Wang, Haiming Chen |
| 2018 | ICCCN | HFCC: An Adaptive Congestion Control Algorithm Based on Explicit Hybrid Feedbacks. | Xianliang Jiang, Guang Jin, Haiming Chen |
| 2018 | IDEAS | Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Data. | Yeting Li, Xinyu Chu, Xiaoying Mou, Chunmei Dong, Haiming Chen |
| 2018 | PAKDD | Inference of a Concise Regular Expression Considering Interleaving from XML Documents. | Xiaolan Zhang, Yeting Li, Fanlin Cui, Chunmei Dong, Haiming Chen |
| 2017 | LATA | Derivatives and Finite Automata of Expressions in Star Normal Form. | Haiming Chen, Ping Lu |
| 2017 | MFCS | The Complexity of SORE-definability Problems. | Ping Lu, Zhilin Wu, Haiming Chen |
| 2016 | APWEB | Practical Study of Subclasses of Regular Expressions in DTD and XML Schema. | Yeting Li, Xiaolan Zhang, Feifei Peng, Haiming Chen |
| 2015 | APWEB | Discovering Restricted Regular Expressions with Interleaving. | Feifei Peng, Haiming Chen |
| 2015 | ICPADS | EasiCrawl: A Sleep-Aware Schedule Method for Crawling IoT Sensors. | Meng Li, Haiming Chen, Xi Huang, Li Cui |
| 2015 | ICPADS | Low Cost IoT Software Development - Ingredient Transformation and Interconnection. | Kaibin Xie, Haiming Chen, Xi Huang, Li Cui |
| 2015 | ICTAC | Deterministic Regular Expressions with Interleaving. | Feifei Peng, Haiming Chen, Xiaoying Mou |
| 2015 | SEKE | An Evolution Mechanism for Dynamic Physical Applications in the Internet of Things. | Kaibin Xie, Haiming Chen, Dong Li, Li Cui |
| 2014 | ICPADS | EasiCAE: A runtime framework for efficient sensor sharing among concurrent IoT applications. | Hailong Shi, Dong Li, Haiming Chen, Jiefan Qiu, Li Cui |
| 2013 | DLT | Deciding Determinism of Unary Languages Is coNP-Complete. | Ping Lu, Feifei Peng, Haiming Chen |
| 2012 | DLT | Checking Determinism of Regular Expressions with Counting. | Haiming Chen, Ping Lu |
| 2012 | GLOBECOM | EasiPLED: Discriminating the causes of packet losses and errors in indoor WSNs. | Tingpei Huang, Haiming Chen, Zhaoliang Zhang, Li Cui |
| 2012 | ICPADS | LogA: Concurrent Medium Access Control through Time Log Analysis in Sensor Networks. | Zhaoliang Zhang, Haiming Chen, Tingpei Huang, Xinyu Liu, Li Cui |
| 2012 | WCNC | EasiRA: A hybrid rate adaptation scheme for 802.11 mobile wireless access networks. | Tingpei Huang, Haiming Chen, Zhaoliang Zhang, Li Cui |
| 2011 | APWEB | Assisting the Design of XML Schema: Diagnosing Nondeterministic Content Models. | Haiming Chen, Ping Lu |
| 2011 | SAC | Determinacy and rewriting of conjunctive queries over unary database schemas. | Lixiao Zheng, Haiming Chen |
| 2011 | SENSYS | EasiCPRS: design and implementation of a portable Chinese pulse-wave retrieval system. | Jingjing Zhang, Rui Wang, Shilong Lu, Jibing Gong, Ze Zhao, Haiming Chen, Li Cui, Nanyue Wang, Youhua Yu |
| 2010 | ICTAC | Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules. | Lei Chen, Haiming Chen |
| 2010 | MASS | The design and implementation of a surveillance and self-driven cleanup system for blue-green algae blooms on Lake Tai. | Dong Li, Ze Zhao, Li Cui, He Zhu, Le Zhang, Zhaoliang Zhang, Yi Wang, Haiming Chen |
| 2010 | SEFM | A Toolkit for Generating Sentences from Context-Free Grammars. | Zhiwu Xu, Lixiao Zheng, Haiming Chen |
| 2009 | GLOBECOM | A Joint Design of Opportunistic Forwarding and Energy-Efficient MAC Protocol in Wireless Sensor Networks. | Haiming Chen, Li Cui, Victor O. K. Li |
| 2008 | ICTAC | Inclusion Test Algorithms for One-Unambiguous Regular Expressions. | Haiming Chen, Lei Chen |
| 2007 | GLOBECOM | Distributed Call Admission Protocol for Multi-Channel Multi-Radio Wireless Networks. | Yi Hu, Xiang-Yang Li, Haiming Chen, Xiaohua Jia |
| 2006 | MASS | Energy Efficient Routing With Unreliable Links in Wireless Networks. | Xiang-Yang Li, Haiming Chen, Yantai Shu, Xiaowen Chu, Yanwei Wu |
| 2006 | TAMC | Towards Practical Computable Functions on Context-Free Languages. | Haiming Chen, Yunmei Dong |
| 1998 | ICFP | Combining CFG and Recursive Functions to Get a New Language. | Haiming Chen |