Combining CFG and Recursive Functions to Get a New Language. - Haiming Chen 001 (ICFP, 1998)

Function Definition Language FDL and its implementation. - Haiming Chen 001 (J. Comput. Sci. Technol., 1999)

Pattern Matching Compilation of Functions Defined in Context-Free Languages. - Haiming Chen 001; Yunmei Dong (J. Comput. Sci. Technol., 2001)

Yet another meta-language for programming language processing. - Haiming Chen 001; Yunmei Dong (ACM SIGPLAN Notices, 2002)

Practical Type Checking of Functions Defined on Context-Free Languages. - Haiming Chen 001; Yunmei Dong (J. Comput. Sci. Technol., 2004)

On Trace Languages Generated by (Small) Spiking Neural P Systems. - Haiming Chen 001; Mihai Ionescu; Andrei Paun; Gheorghe Paun; Bianca Popa (DCFS, 2006)

Towards Practical Computable Functions on Context-Free Languages. - Haiming Chen 001; Yunmei Dong (TAMC, 2006)

Facilitating formal specification acquisition by using recursive functions on context-free languages. - Haiming Chen 001; Yunmei Dong (Knowl. Based Syst., 2006)

On String Languages Generated by Spiking Neural P Systems. - Haiming Chen 001; Rudolf Freund; Mihai Ionescu; Gheorghe Paun; Mario J. Pérez-Jiménez (Fundam. Informaticae, 2007)

Inclusion Test Algorithms for One-Unambiguous Regular Expressions. - Haiming Chen 001; Lei Chen (ICTAC, 2008)

Efficient Type Checking for a Subclass of Regular Expression Types. - Lei Chen; Haiming Chen 001 (ICYCS, 2008)

Basic research in computer science and software engineering at SKLCS. - Jian Zhang 001; Wenhui Zhang; Naijun Zhan; Yi-Dong Shen; Haiming Chen 001; Yunquan Zhang; Yongji Wang; Enhua Wu; Hongan Wang; Xueyang Zhu (Frontiers Comput. Sci. China, 2008)

Spiking neural P systems with extended rules: universality and languages. - Haiming Chen 001; Mihai Ionescu; Tseren-Onolt Ishdorj; Andrei Paun; Gheorghe Paun; Mario J. Pérez-Jiménez (Nat. Comput., 2008)

A Systematic Framework for Grammar Testing. - Lixiao Zheng; Haiming Chen 001 (ACIS-ICIS, 2009)

Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules. - Lei Chen; Haiming Chen 001 (ICTAC, 2010)

Assisting the Design of XML Schema: Diagnosing Nondeterministic Content Models. - Haiming Chen 001; Ping Lu 007 (APWeb, 2011)

Determinacy and rewriting of conjunctive queries over unary database schemas. - Lixiao Zheng; Haiming Chen 001 (SAC, 2011)

A Toolkit for Generating Sentences from Context-Free Grammars. - Zhiwu Xu 001; Lixiao Zheng; Haiming Chen 001 (Int. J. Softw. Informatics, 2011)

Derivatives of Regular Expressions and an Application. - Haiming Chen 001; Sheng Yu 001 (Computation, Physics and Beyond, 2012)

Deciding Determinism of Unary Languages Is coNP-Complete. - Ping Lu 007; Feifei Peng; Haiming Chen 001 (Developments in Language Theory, 2013)

Discovering Restricted Regular Expressions with Interleaving. - Feifei Peng; Haiming Chen 001 (APWeb, 2015)

Deterministic Regular Expressions with Interleaving. - Feifei Peng; Haiming Chen 001; Xiaoying Mou (ICTAC, 2015)

Checking determinism of regular expressions with counting. - Haiming Chen 001; Ping Lu 007 (Inf. Comput., 2015)

Deciding determinism of unary languages. - Ping Lu 007; Feifei Peng; Haiming Chen 001; Lixiao Zheng (Inf. Comput., 2015)

Deciding Determinism of Regular Languages. - Ping Lu 007; Joachim Bremer; Haiming Chen 001 (Theory Comput. Syst., 2015)

Practical Study of Subclasses of Regular Expressions in DTD and XML Schema. - Yeting Li; Xiaolan Zhang; Feifei Peng; Haiming Chen 001 (APWeb (2), 2016)

Derivatives and Finite Automata of Expressions in Star Normal Form. - Haiming Chen 001; Ping Lu 007 (LATA, 2017)

The Complexity of SORE-definability Problems. - Ping Lu 007; Zhilin Wu; Haiming Chen 001 (MFCS, 2017)

On trace languages generated by (small) spiking neural P systems. - Haiming Chen 001; Mihai Ionescu; Andrei Paun; Gheorghe Paun (Theor. Comput. Sci., 2017)

Learning Concise Relax NG Schemas Supporting Interleaving from XML Documents. - Yeting Li; Xiaoying Mou; Haiming Chen 001 (ADMA, 2018)

Inferring Regular Expressions with Interleaving from XML Data. - Xiaolan Zhang; Yeting Li; Fei Tian; Fanlin Cui; Chunmei Dong; Haiming Chen 001 (APWeb/WAIM (2), 2018)

Learning Restricted Regular Expressions with Interleaving from XML Data. - Yeting Li; Xiaolan Zhang; Han Xu; Xiaoying Mou; Haiming Chen 001 (ER, 2018)

Inferring Deterministic Regular Expression with Counting. - Xiaofan Wang 003; Haiming Chen 001 (ER, 2018)

Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Data. - Yeting Li; Xinyu Chu; Xiaoying Mou; Chunmei Dong; Haiming Chen 001 (IDEAS, 2018)

Inference of a Concise Regular Expression Considering Interleaving from XML Documents. - Xiaolan Zhang; Yeting Li; Fanlin Cui; Chunmei Dong; Haiming Chen 001 (PAKDD (2), 2018)

Learning DMEs from Positive and Negative Examples. - Yeting Li; Chunmei Dong; Xinyu Chu; Haiming Chen 001 (DASFAA (3), 2019)

Learning k-Occurrence Regular Expressions with Interleaving. - Yeting Li; Xiaolan Zhang; Jialun Cao; Haiming Chen 001; Chong Gao (DASFAA (2), 2019)

Learning k-Occurrence Regular Expressions from Positive and Negative Samples. - Yeting Li; Xiaoying Mou; Haiming Chen 001 (ER, 2019)

Context-Free Grammars for Deterministic Regular Expressions with Interleaving. - Xiaoying Mou; Haiming Chen 001; Yeting Li (ICTAC, 2019)

An effective algorithm for learning single occurrence regular expressions with interleaving. - Yeting Li; Haiming Chen 001; Xiaolan Zhang; Lingqi Zhang (IDEAS, 2019)

Learning a Subclass of Deterministic Regular Expression with Counting. - Xiaofan Wang 003; Haiming Chen 001 (KSEM (1), 2019)

A Large-Scale Repository of Deterministic Regular Expression Patterns and Its Applications. - Haiming Chen 001; Yeting Li; Chunmei Dong; Xinyu Chu; Xiaoying Mou; Weidong Min (PAKDD (3), 2019)

Learning Restricted Deterministic Regular Expressions with Counting. - Xiaofan Wang 003; Haiming Chen 001 (WISE, 2019)

Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions. - Zhiwu Xu 001; Ping Lu 007; Haiming Chen 001 (Comput. J., 2019)

Learning Restricted Regular Expressions with Interleaving. - Chunmei Dong; Yeting Li; Haiming Chen 001 (CoRR, 2019)

FlashSchema: Achieving High Quality XML Schemas with Powerful Inference Algorithms and Large-scale Schema Data. - Yeting Li; Jialun Cao; Haiming Chen 001; Tingjian Ge; Zhiwu Xu 001; Qiancheng Peng (ICDE, 2020)

FlashRegex: Deducing Anti-ReDoS Regexes from Examples. - Yeting Li; Zhiwu Xu 001; Jialun Cao; Haiming Chen 001; Tingjian Ge; Shing-Chi Cheung; Haoren Zhao (ASE, 2020)

Inferring Restricted Regular Expressions with Interleaving from Positive and Negative Samples. - Yeting Li; Haiming Chen 001; Lingqi Zhang; Bo Huang; Jianzhao Zhang (PAKDD (2), 2020)

Grammars and a Random Generator for Deterministic Chain Regular Expressions. - Xinyu Chu; Ping Lu 007; Haiming Chen 001 (SOFSEM (Doctoral Student Research Forum), 2020)

Inferring Deterministic Regular Expression with Unorder. - Xiaofan Wang 003; Haiming Chen 001 (SOFSEM, 2020)

Inclusion algorithms for one-unambiguous regular expressions and their applications. - Haiming Chen 001; Zhiwu Xu 001 (Sci. Comput. Program., 2020)

TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair. - Yeting Li; Shuaimin Li; Zhiwu Xu 001; Jialun Cao; Zixuan Chen; Yun Hu; Haiming Chen 001; Shing-Chi Cheung (ICSE, 2021)

ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection. - Yeting Li; Zixuan Chen; Jialun Cao; Zhiwu Xu 001; Qiancheng Peng; Haiming Chen 001; Liyuan Chen; Shing-Chi Cheung (USENIX Security Symposium, 2021)

RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix. - Yeting Li; Yecheng Sun; Zhiwu Xu 001; Jialun Cao; Yuekang Li; Rongchen Li; Haiming Chen 001; Shing-Chi Cheung; Yang Liu 003; Yang Xiao 011 (USENIX Security Symposium, 2022)

SemMT: A Semantic-Based Testing Approach for Machine Translation Systems. - Jialun Cao; Meiziniu Li; Yeting Li; Ming Wen 001; Shing-Chi Cheung; Haiming Chen 001 (ACM Trans. Softw. Eng. Methodol., 2022)

Algorithms for Checking Intersection Non-emptiness of Regular Expressions. - Weihao Su; Rongchen Li; Chengyao Peng; Haiming Chen 001 (ICTAC, 2023)

Decompilation Based Deep Binary-Source Function Matching. - Xiaowei Wang; Zimu Yuan; Yang Xiao 011; Liyan Wang; Yican Yao; Haiming Chen 001; Wei Huo (SciSec, 2023)

Modeling Regex Operators for Solving Regex Crossword Puzzles. - Weihao Su; Haiming Chen 001; Rongchen Li; Zixuan Chen (SETTA, 2023)

Deducing Matching Strings for Real-World Regular Expressions. - Yixuan Yan; Weihao Su; Lixiao Zheng; Mengxi Wang; Haiming Chen 001; Chengyao Peng; Rongchen Li; Zixuan Chen (SETTA, 2023)

Grammar construction methods for extended deterministic expressions. - Xiaoying Mou; Haiming Chen 001 (CoRR, 2023)

Learning Disjunctive Multiplicity Expressions and Disjunctive Generalize Multiplicity Expressions From Both Positive and Negative Examples. - Yeting Li; Haiming Chen 001; Zixuan Chen (Comput. J., 2023)

Molecular Graph Representation Learning via Structural Similarity Information. - Chengyu Yao; Hong Huang 004; Hang Gao 004; Fengge Wu; Haiming Chen 001; Junsuo Zhao (ECML/PKDD (3), 2024)

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 001; Hongyu Gao (SETTA, 2024)

A Derivative-Based Membership Algorithm for Enhanced Regular Expressions. - Mengxi Wang; Chunmei Dong; Weihao Su; Chengyao Peng; Haiming Chen 001 (SETTA, 2024)

Towards an Effective Method of ReDoS Detection for Non-backtracking Engines. - Weihao Su; Hong Huang 004; Rongchen Li; Haiming Chen 001; Tingjian Ge (USENIX Security Symposium, 2024)

Incremental algorithms for solving regular expression intersection non-emptiness. - Haiming Chen 001; Hong Huang 004; Rongchen Li; Chengyao Peng; Weihao Su (Theor. Comput. Sci., 2025)