陈海明 - 中国科学院大学 - 计算机科学与技术学院

个人简介

招生专业 083500-软件工程 081202-计算机软件与理论 085400-电子信息招生方向软件设计与分析方法, 新型计算模型与应用软件设计与分析方法, 新型计算模型与应用软件设计与分析方法教育背景 1995-09--中国科学院软件研究所博士 1989-09--中国科学院软件研究所硕士 1984-09--1989-07 中国科学技术大学计算机科学与技术系学士工作简历 2004-07~现在, 中国科学院软件研究所, 研究员奖励信息（1）中国科学院盈科优秀青年学者奖, , 部委级, 2000 （2）支持可理解性和可复用性的软件设, 二等奖, 国家级, 1992 （3）支持可理解性和可复用性的软件设, 一等奖, 部委级, 1991 科研项目（ 1 ）无秩树结构数据和语义多态类型系统的研究, 主持, 国家级, 2011-01--2013-12 （ 2 ）确定性表达式及其子类的理论问题与工具研究, 主持, 国家级, 2015-01--2018-12 （ 3 ）正反例相结合的正则表达式极限识认算法, 参与, 国家级, 2016-01--2018-12 （ 4 ）支持计数与无序的扩展表达式的理论问题与应用研究, 主持, 国家级, 2019-01--2022-12

研究领域

Web数据和编程技术, 计算与数据模型, 形式语言与自动机理论, 程序分析, 编程语言

近期论文

查看导师新发文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

（1） Inferring deterministic regular expression with unorder, SOFSEM 2020, 2020, 通讯作者（2） Grammars and a random generator for deterministic chain regular expressions, SOFSEM 2020, SRF, 2020, 通讯作者（3） FlashSchema: achieving high quality XML schemas with powerful inference algorithms and large-scale schema data, ICDE 2020, 2020, 通讯作者（4） Inferring restricted regular expressions with interleaving from positive and negative samples, PAKDD 2020, 2020, 通讯作者（5） Inclusion algorithms for one-unambiguous regular expressions and their applications, Science of Computer Programming, 2020, 第 1 作者（6） Learning restricted regular expressions with interleaving, SOFSEM 2019, SRF, 2019, 通讯作者（7） Learning a subclass of deterministic regular expression with counting, KSEM 2019, 2019, 通讯作者（8） Context-free grammars for deterministic regular expressions with interleaving, ICTAC 2019, 2019, 通讯作者（9） Learning restricted deterministic regular expressions with counting, WISE’19, 2019, 通讯作者（10） Towards an effective syntax and a generator for deterministic standard regular expressions, The Computer Journal, 2019, 通讯作者（11） A large-scale repository of deterministic regular expression patterns and its applications, PAKDD 2019, 2019, 第 1 作者（12） Learning $k$-occurrence regular expressions with interleaving, DASFAA 2019, 2019, 通讯作者（13） Learning DMEs from positive and negative examples, DASFAA 2019, 2019, 通讯作者（14） An effective algorithm for learning single occurrence regular expressions with interleaving, IDEAS 2019, 2019, 通讯作者（15） Learning $k$-occurrence regular expressions from positive and negative samples, ER 2019, 2019, 通讯作者（16） Inferring Deterministic Regular Expression with Counting, ER 2018, 2018, 通讯作者（17） Learning restricted regular expressions with interleaving from XML data, ER 2018, 2018, 通讯作者（18） Learning concise Relax NG schemas supporting interleaving from XML documents, ADMA 2018, 2018, 通讯作者（19） Inference of a Concise Regular Expression Considering Interleaving from XML documents, PAKDD 2018, 2018, 通讯作者（20） Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Files, IDEAS 2018, 2018, 通讯作者（21） Inferring Regular Expressions with Interleaving from XML Data, APWEB-WAIM 2018, 2018, 通讯作者（22） The complexity of SORE-definability problems, MFCS 2017, 2017, 第 3 作者（23） On trace languages generated by (small) spiking neural P systems, Theoretical Computer Science, 2017, 第 1 作者（24） Derivatives and Finite Automata of Expressions in Star Normal Form, LATA 2017, LNCS 10168, 2017, 第 1 作者（25） Practical Study of Subclasses of Regular Expressions in DTD and XML Schema, APWeb 2016, LNCS 9932, 2016, 第 4 作者（26） Checking Determinism of Regular Expressions with Counting, Information and Computation, 2015, 第 1 作者（27） Deciding Determinism of Regular Languages, Theory of Computing Systems, 2015, 第 3 作者（28） Discovering Restricted Regular Expressions with Interleaving, APWeb 2015, LNCS 9313, 2015, 第 2 作者（29） Deterministic Regular Expressions with Interleaving, ICTAC 2015, LNCS 9399, 2015, 第 2 作者（30） Deciding Determinism of Unary Languages, Information and Computation, 2015, 通讯作者（31）一类受限正则表达式的推断算法, 计算机科学, 2014, 第 3 作者（32）改进的流不敏感的类型限定词推断, 计算机科学, 2014, 第 3 作者（33） Deciding Determinism of Unary Languages Is coNP-Complete, Developments in Language Theory, LNCS, 2013, 第 3 作者（34）确定型语言的相关研究综述, 集成技术, 2013, 第 1 作者（35） Derivatives of regular expressions and an application, Lecture Notes in Computer Science, 2012, 第 1 作者（36）正规树文法的产生式相交判定, 计算机工程与设计, 2012, 通讯作者（37） Checking Determinism of Regular Expressions with Counting, Developments in Language Theory, LNCS 7410, 2012, 第 1 作者（38） Assisting the design of XML Schema: diagnosing nondeterministic content models, Lecture Notes in Computer Science, 2011, 第 1 作者（39） A toolkit for generating sentences from context-free grammars, International Journal of Software and Informatics, 2011, 通讯作者（40） Determinacy and rewriting of conjunctive queries over unary database schemas, SAC'11, 2011, 通讯作者（41）基于文法分支覆盖的短句子生成算法, 软件学报, 2011, 通讯作者（42）基于MST的优化技术：监督式编译, 计算机工程与设计, 2011, 通讯作者（43） A toolkit for generating sentences from context-free grammars, SEFM 2010, 2010, 通讯作者（44） Subtyping algorithm of regular tree grammars with disjoint production rules, ICTAC 2010, 2010, 通讯作者（45）采用了剪枝优化的子类型关系判定, 软件学报, 2010, 通讯作者