Search the dblp DataBase

Publications of Author

1. Yuki Kato, Hiroyuki Seki, Tadao Kasami
   On the Generative Power of Grammars for RNA Secondary Structure. [Citation Graph (0, 0)][DBLP]
   IEICE Transactions, 2005, v:88, n:1, pp:53-64 [Journal]
   
2. 
   Type Checking and Inference Are Equivalent in Lambda Calculi with Existential Types. [Citation Graph (, )][DBLP]
   
   
3. 
   Prediction of Protein Beta-Sheets: Dynamic Programming versus Grammatical Approach. [Citation Graph (, )][DBLP]
   
   
4. 
   Prediction of RNA secondary structure with pseudoknots using integer programming. [Citation Graph (, )][DBLP]