中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 21)

Items/Page:    Sort:
Deciding Determinism of Regular Languages [期刊论文]
Theory of Computing Systems, 2014-01-01
Lu, Ping (1); Bremer, Joachim (2); Chen, Haiming (1)

 
checking determinism of regular expressions with counting [会议论文]
16th International Conference on Developments in Language Theory, DLT 2012, Taipei, Taiwan, August 14, 2012 - August 17, 2012
Chen Haiming; Lu Ping

 
derivatives of regular expressions and an application [会议论文]
International Workshop on Theoretical Computer Science, WTCS 2012, Auckland, New zealand, February 21, 2012 - February 24, 2012
Chen Haiming; Yu Sheng

 
assisting the design of xml schema: diagnosing nondeterministic content models [会议论文]
13th Asia-Pacific Conference on Web Technology, APWeb 2011, Beijing, China, April 18,
Chen Haiming; Lu Ping
  |  
 
determinacy and rewriting of conjunctive queries over unary database schemas [会议论文]
26th Annual ACM Symposium on Applied Computing, SAC 2011, TaiChung, Taiwan, March 21,
Zheng Lixiao; Chen Haiming
  |  
 
subtyping algorithm of regular tree grammars with disjoint production rules [会议论文]
7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010, Natal, Brazil, September
Chen Lei; Chen Haiming
  |  
 
a toolkit for generating sentences from context-free grammars [会议论文]
8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, September
Xu Zhiwu; Zheng Lixiao; Chen Haiming
  |  
 
a systematic framework for grammar testing [会议论文]
8th IEEE/ACIS International Conference on Computer and Information Science, Shanghai, PEOPLES R CHINA, JUN 01-03,
Zheng Lixiao; Chen Haiming

 
inclusion test algorithms for one-unambiguous regular expressions [会议论文]
5th International Colloquium on Theoretical Aspects of Computing (ICTAC 2008), Istanbul, TURKEY, SEP 01-03,
Chen Haiming; Chen Lei
  |  
 
efficient type checking for a subclass of regular expression types [会议论文]
9th International Conference for Young Computer Scientists, Zhangjiajie, PEOPLES R CHINA, NOV 18-21,
Chen Lei; Chen Haiming
  |  
 

1 2 3 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace