default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHaiming Chen 0001
Person information
- affiliation: Chinese Academy of Sciences, Institute of Software, State Key Laboratory of Computer Science, Beijing, China
- affiliation (PhD 1999): Chinese Academy of Sciences, Institute of Software, Laboratory of Computer Science, Beijing, China
Other persons with the same name
- Haiming Chen — disambiguation page
- Haiming Chen 0002
![[0000-0002-3311-1837]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0002-3311-1837")
— Ningbo University, Faculty of Electrical Engineering and Computer Science, Zhejiang Key Laboratory of Mobile Network Application Technology, Ningbo, China (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2025
[j18]Haiming Chen, Hong Huang, Rongchen Li, Chengyao Peng, Weihao Su:
Incremental algorithms for solving regular expression intersection non-emptiness. Theor. Comput. Sci. 1043: 115249 (2025)- 2023
- [j17]Yeting Li, Haiming Chen, Zixuan Chen:
Learning Disjunctive Multiplicity Expressions and Disjunctive Generalize Multiplicity Expressions From Both Positive and Negative Examples. Comput. J. 66(7): 1733-1748 (2023) - 2022
- [j16]Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung, Haiming Chen:
SemMT: A Semantic-Based Testing Approach for Machine Translation Systems. ACM Trans. Softw. Eng. Methodol. 31(2): 34e:1-34e:36 (2022) - 2020
- [j15]Haiming Chen, Zhiwu Xu:
Inclusion algorithms for one-unambiguous regular expressions and their applications. Sci. Comput. Program. 193: 102436 (2020) - 2019
- [j14]Zhiwu Xu, Ping Lu, Haiming Chen:
Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions. Comput. J. 62(9): 1322-1341 (2019) - 2017
- [j13]Haiming Chen, Mihai Ionescu, Andrei Paun, Gheorghe Paun:
On trace languages generated by (small) spiking neural P systems. Theor. Comput. Sci. 682: 57-66 (2017) - 2015
- [j12]Haiming Chen, Ping Lu:
Checking determinism of regular expressions with counting. Inf. Comput. 241: 302-320 (2015) - [j11]Ping Lu, Feifei Peng, Haiming Chen, Lixiao Zheng:
Deciding determinism of unary languages. Inf. Comput. 245: 181-196 (2015) - [j10]Ping Lu, Joachim Bremer, Haiming Chen:
Deciding Determinism of Regular Languages. Theory Comput. Syst. 57(1): 97-139 (2015) - 2011
- [j9]Zhiwu Xu, Lixiao Zheng, Haiming Chen:
A Toolkit for Generating Sentences from Context-Free Grammars. Int. J. Softw. Informatics 5(4): 659-676 (2011) - 2008
- [j8]Jian Zhang, Wenhui Zhang, Naijun Zhan, Yi-Dong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang, Xueyang Zhu:
Basic research in computer science and software engineering at SKLCS. Frontiers Comput. Sci. China 2(1): 1-11 (2008) - [j7]Haiming Chen, Mihai Ionescu, Tseren-Onolt Ishdorj, Andrei Paun, Gheorghe Paun, Mario J. Pérez-Jiménez:
Spiking neural P systems with extended rules: universality and languages. Nat. Comput. 7(2): 147-166 (2008) - 2007
- [j6]Haiming Chen, Rudolf Freund, Mihai Ionescu, Gheorghe Paun, Mario J. Pérez-Jiménez:
On String Languages Generated by Spiking Neural P Systems. Fundam. Informaticae 75(1-4): 141-162 (2007) - 2006
- [j5]Haiming Chen, Yunmei Dong:
Facilitating formal specification acquisition by using recursive functions on context-free languages. Knowl. Based Syst. 19(2): 141-151 (2006) - 2004
- [j4]Haiming Chen, Yunmei Dong:
Practical Type Checking of Functions Defined on Context-Free Languages. J. Comput. Sci. Technol. 19(6): 840-847 (2004) - 2002
- [j3]Haiming Chen, Yunmei Dong:
Yet another meta-language for programming language processing. ACM SIGPLAN Notices 37(6): 28-37 (2002) - 2001
- [j2]Haiming Chen, Yunmei Dong:
Pattern Matching Compilation of Functions Defined in Context-Free Languages. J. Comput. Sci. Technol. 16(2): 159-167 (2001) - 1999
- [j1]Haiming Chen:
Function Definition Language FDL and its implementation. J. Comput. Sci. Technol. 14(4): 414-421 (1999)
Conference and Workshop Papers
- 2024
- [c48]Chengyu Yao, Hong Huang, Hang Gao, Fengge Wu, Haiming Chen, Junsuo Zhao:
Molecular Graph Representation Learning via Structural Similarity Information. ECML/PKDD (3) 2024: 351-367 - [c47]Zipan Tang, Yixuan Yan, Rongchen Li, Hanze Dong, Haiming Chen, Hongyu Gao:
Enhancing Multi-modal Regular Expression Synthesis via Large Language Models and Semantic Manipulations of Sub-expressions. SETTA 2024: 122-141 - [c46]Mengxi Wang, Chunmei Dong, Weihao Su, Chengyao Peng, Haiming Chen:
A Derivative-Based Membership Algorithm for Enhanced Regular Expressions. SETTA 2024: 344-362 - [c45]Weihao Su, Hong Huang, Rongchen Li, Haiming Chen, Tingjian Ge:
Towards an Effective Method of ReDoS Detection for Non-backtracking Engines. USENIX Security Symposium 2024 - 2023
- [c44]Weihao Su, Rongchen Li, Chengyao Peng, Haiming Chen:
Algorithms for Checking Intersection Non-emptiness of Regular Expressions. ICTAC 2023: 216-235 - [c43]Xiaowei Wang, Zimu Yuan, Yang Xiao, Liyan Wang, Yican Yao, Haiming Chen, Wei Huo:
Decompilation Based Deep Binary-Source Function Matching. SciSec 2023: 244-260 - [c42]Weihao Su, Haiming Chen, Rongchen Li, Zixuan Chen:
Modeling Regex Operators for Solving Regex Crossword Puzzles. SETTA 2023: 206-225 - [c41]Yixuan Yan, Weihao Su, Lixiao Zheng, Mengxi Wang, Haiming Chen, Chengyao Peng, Rongchen Li, Zixuan Chen:
Deducing Matching Strings for Real-World Regular Expressions. SETTA 2023: 331-350 - 2022
- [c40]Yeting Li, Yecheng Sun, Zhiwu Xu, Jialun Cao, Yuekang Li, Rongchen Li, Haiming Chen, Shing-Chi Cheung, Yang Liu, Yang Xiao:
RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix. USENIX Security Symposium 2022: 4183-4200 - 2021
- [c39]Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung:
TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair. ICSE 2021: 1210-1222 - [c38]Yeting Li, Zixuan Chen, Jialun Cao, Zhiwu Xu, Qiancheng Peng, Haiming Chen, Liyuan Chen, Shing-Chi Cheung:
ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection. USENIX Security Symposium 2021: 3847-3864 - 2020
- [c37]Yeting Li, Jialun Cao, Haiming Chen, Tingjian Ge, Zhiwu Xu, Qiancheng Peng:
FlashSchema: Achieving High Quality XML Schemas with Powerful Inference Algorithms and Large-scale Schema Data. ICDE 2020: 1962-1965 - [c36]Yeting Li, Zhiwu Xu, Jialun Cao, Haiming Chen, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao:
FlashRegex: Deducing Anti-ReDoS Regexes from Examples. ASE 2020: 659-671 - [c35]Yeting Li, Haiming Chen, Lingqi Zhang, Bo Huang, Jianzhao Zhang:
Inferring Restricted Regular Expressions with Interleaving from Positive and Negative Samples. PAKDD (2) 2020: 769-781 - [c34]Xinyu Chu, Ping Lu, Haiming Chen:
Grammars and a Random Generator for Deterministic Chain Regular Expressions. SOFSEM (Doctoral Student Research Forum) 2020: 49-60 - [c33]Xiaofan Wang, Haiming Chen:
Inferring Deterministic Regular Expression with Unorder. SOFSEM 2020: 325-337 - 2019
- [c32]Yeting Li, Xiaolan Zhang, Jialun Cao, Haiming Chen, Chong Gao:
Learning k-Occurrence Regular Expressions with Interleaving. DASFAA (2) 2019: 70-85 - [c31]Yeting Li, Chunmei Dong, Xinyu Chu, Haiming Chen:
Learning DMEs from Positive and Negative Examples. DASFAA (3) 2019: 434-438 - [c30]Yeting Li, Xiaoying Mou, Haiming Chen:
Learning k-Occurrence Regular Expressions from Positive and Negative Samples. ER 2019: 264-272 - [c29]Xiaoying Mou, Haiming Chen, Yeting Li:
Context-Free Grammars for Deterministic Regular Expressions with Interleaving. ICTAC 2019: 235-252 - [c28]Yeting Li, Haiming Chen, Xiaolan Zhang, Lingqi Zhang:
An effective algorithm for learning single occurrence regular expressions with interleaving. IDEAS 2019: 24:1-24:10 - [c27]Xiaofan Wang, Haiming Chen:
Learning a Subclass of Deterministic Regular Expression with Counting. KSEM (1) 2019: 341-348 - [c26]Haiming Chen, Yeting Li, Chunmei Dong, Xinyu Chu, Xiaoying Mou, Weidong Min:
A Large-Scale Repository of Deterministic Regular Expression Patterns and Its Applications. PAKDD (3) 2019: 249-261 - [c25]Xiaofan Wang, Haiming Chen:
Learning Restricted Deterministic Regular Expressions with Counting. WISE 2019: 98-114 - 2018
- [c24]Yeting Li, Xiaoying Mou, Haiming Chen:
Learning Concise Relax NG Schemas Supporting Interleaving from XML Documents. ADMA 2018: 303-317 - [c23]Xiaolan Zhang, Yeting Li, Fei Tian, Fanlin Cui, Chunmei Dong, Haiming Chen:
Inferring Regular Expressions with Interleaving from XML Data. APWeb/WAIM (2) 2018: 44-52 - [c22]Xiaofan Wang, Haiming Chen:
Inferring Deterministic Regular Expression with Counting. ER 2018: 184-199 - [c21]Yeting Li, Xiaolan Zhang, Han Xu, Xiaoying Mou, Haiming Chen:
Learning Restricted Regular Expressions with Interleaving from XML Data. ER 2018: 586-593 - [c20]Yeting Li, Xinyu Chu, Xiaoying Mou, Chunmei Dong, Haiming Chen:
Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Data. IDEAS 2018: 45-53 - [c19]Xiaolan Zhang, Yeting Li, Fanlin Cui, Chunmei Dong, Haiming Chen:
Inference of a Concise Regular Expression Considering Interleaving from XML Documents. PAKDD (2) 2018: 389-401 - 2017
- [c18]Haiming Chen, Ping Lu:
Derivatives and Finite Automata of Expressions in Star Normal Form. LATA 2017: 236-248 - [c17]Ping Lu, Zhilin Wu, Haiming Chen:
The Complexity of SORE-definability Problems. MFCS 2017: 22:1-22:15 - 2016
- [c16]Yeting Li, Xiaolan Zhang, Feifei Peng, Haiming Chen:
Practical Study of Subclasses of Regular Expressions in DTD and XML Schema. APWeb (2) 2016: 368-382 - 2015
- [c15]Feifei Peng, Haiming Chen:
Discovering Restricted Regular Expressions with Interleaving. APWeb 2015: 104-115 - [c14]Feifei Peng, Haiming Chen, Xiaoying Mou:
Deterministic Regular Expressions with Interleaving. ICTAC 2015: 203-220 - 2013
- [c13]Ping Lu, Feifei Peng, Haiming Chen:
Deciding Determinism of Unary Languages Is coNP-Complete. Developments in Language Theory 2013: 350-361 - 2012
- [c12]Haiming Chen, Sheng Yu:
Derivatives of Regular Expressions and an Application. Computation, Physics and Beyond 2012: 343-356 - [c11]Haiming Chen, Ping Lu:
Checking Determinism of Regular Expressions with Counting. Developments in Language Theory 2012: 332-343 - 2011
- [c10]Haiming Chen, Ping Lu:
Assisting the Design of XML Schema: Diagnosing Nondeterministic Content Models. APWeb 2011: 301-312 - [c9]Lixiao Zheng, Haiming Chen:
Determinacy and rewriting of conjunctive queries over unary database schemas. SAC 2011: 1039-1044 - 2010
- [c8]Lei Chen, Haiming Chen:
Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules. ICTAC 2010: 45-59 - [c7]Zhiwu Xu, Lixiao Zheng, Haiming Chen:
A Toolkit for Generating Sentences from Context-Free Grammars. SEFM 2010: 118-122 - 2009
- [c6]Lixiao Zheng, Haiming Chen:
A Systematic Framework for Grammar Testing. ACIS-ICIS 2009: 1013-1019 - 2008
- [c5]Haiming Chen, Lei Chen:
Inclusion Test Algorithms for One-Unambiguous Regular Expressions. ICTAC 2008: 96-110 - [c4]Lei Chen, Haiming Chen:
Efficient Type Checking for a Subclass of Regular Expression Types. ICYCS 2008: 1647-1652 - 2006
- [c3]Haiming Chen, Mihai Ionescu, Andrei Paun, Gheorghe Paun, Bianca Popa:
On Trace Languages Generated by (Small) Spiking Neural P Systems. DCFS 2006: 94-105 - [c2]Haiming Chen, Yunmei Dong:
Towards Practical Computable Functions on Context-Free Languages. TAMC 2006: 555-565 - 1998
- [c1]Haiming Chen:
Combining CFG and Recursive Functions to Get a New Language. ICFP 1998: 351
Informal and Other Publications
- 2024
- [i7]Chengyu Yao, Hong Huang, Hang Gao, Fengge Wu, Haiming Chen, Junsuo Zhao:
Molecular Graph Representation Learning via Structural Similarity Information. CoRR abs/2409.08580 (2024) - 2023
- [i6]Xiaoying Mou, Haiming Chen:
Grammar construction methods for extended deterministic expressions. CoRR abs/2301.01621 (2023) - 2020
- [i5]Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung:
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair. CoRR abs/2012.15489 (2020) - 2019
- [i4]Chunmei Dong, Yeting Li, Haiming Chen:
Learning Restricted Regular Expressions with Interleaving. CoRR abs/1904.13164 (2019) - [i3]Yeting Li, Haiming Chen, Xiaolan Zhang, Lingqi Zhang:
An Effective Algorithm for Learning Single Occurrence Regular Expressions with Interleaving. CoRR abs/1906.02074 (2019) - 2018
- [i2]Yeting Li, Xinyu Chu, Xiaoying Mou, Chunmei Dong, Haiming Chen:
Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Data. CoRR abs/1805.12503 (2018) - 2015
- [i1]Feifei Peng, Haiming Chen:
Discovering Restricted Regular Expressions with Interleaving. CoRR abs/1504.00150 (2015)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-25 16:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
