一覧
登録利用者:
登録者ページ
利用者(E-people)

JAIST Repository >

著者:  "Ono, Satoshi"

「一覧: 著者」画面に戻る
タイトル順ソート 日付順ソート

4 著者名表示.

発行日タイトル 著者
20-Oct-1988 広域データフロー解析に基づく関数型プログラムの変則性検出小川, 瑞史; 小野, 諭; Ogawa, Mizuhito; Ono, Satoshi
20-Feb-1991 Transformation of Strictness-Related Analyses Based on Abstract InterpretationOgawa, Mizuhito; Ono, Satoshi
2005 Proving Properties of Incremental Merkle TreesOgawa, Mizuhito; Horita, Eiichi; Ono, Satoshi
22-Sep-2009 Proving Properties of Incremental Merkle TreesOgawa, Mizuhito; Horita, Eiichi; Ono, Satoshi

 
お問い合わせ先 : 北陸先端科学技術大学院大学　研究推進課図書館情報係