Publications

• Deterministic Regular Expression with Interleaving by Feifei Peng, Haiming Chen and Xiaoying Mou. accepted by ICTAC 2015.
• Discovering Restricted Regular Expressions with Interleaving by Feifei Peng, Haiming Chen. accepted by APWeb 2015   CCF C.
• Coverage Criteria for Regular Languages and the Applications by Lixiao Zheng, Haiming Chen, Feifei Peng. submitted 2015.
• Deciding Determinism of Unary Languages by Ping Lu, Feifei Peng, Haiming Chen, Lixiao Zheng. Accepted by Information and Computation 2015   CCF A.
• Deciding Determinism of Unary Languages Is coNP-Complete by Ping Lu, Feifei Peng, Haiming Chen. Developments in Language Theory (DLT) 2013   CORE B.