The SCEAS System
Navigation Menu

Search the dblp DataBase


Haiming Chen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Haiming Chen
    Combining CFG and Recursive Functions to Get a New Language. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:351- [Conf]
  2. Haiming Chen, Yunmei Dong
    Towards Practical Computable Functions on Context-Free Languages. [Citation Graph (0, 0)][DBLP]
    TAMC, 2006, pp:555-565 [Conf]
  3. Haiming Chen, Rudolf Freund, Mihai Ionescu, Gheorghe Paun, Mario J. Pérez-Jiménez
    On String Languages Generated by Spiking Neural P Systems. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:75, n:1-4, pp:141-162 [Journal]
  4. Haiming Chen, Yunmei Dong
    Pattern Matching Compilation of Functions Defined in Context-Free Languages. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2001, v:16, n:2, pp:159-167 [Journal]
  5. Haiming Chen, Yunmei Dong
    Practical Type Checking of Functions Defined on Context-Free Languages. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2004, v:19, n:6, pp:840-847 [Journal]
  6. Haiming Chen, Yunmei Dong
    Facilitating formal specification acquisition by using recursive functions on context-free languages. [Citation Graph (0, 0)][DBLP]
    Knowl.-Based Syst., 2006, v:19, n:2, pp:141-151 [Journal]
  7. Haiming Chen, Yunmei Dong
    Yet another meta-language for programming language processing. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:6, pp:28-37 [Journal]

  8. A Systematic Framework for Grammar Testing. [Citation Graph (, )][DBLP]

  9. Inclusion Test Algorithms for One-Unambiguous Regular Expressions. [Citation Graph (, )][DBLP]

  10. Subtyping Algorithm of Regular Tree Grammars with Disjoint Production Rules. [Citation Graph (, )][DBLP]

  11. Distributed Call Admission Protocol for Multi-Channel Multi-Radio Wireless Networks. [Citation Graph (, )][DBLP]

  12. A Joint Design of Opportunistic Forwarding and Energy-Efficient MAC Protocol in Wireless Sensor Networks. [Citation Graph (, )][DBLP]

  13. Efficient Type Checking for a Subclass of Regular Expression Types. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002