4 件中 1 - 4 件目
年度 Year |
受賞学術賞名 Name of award |
受賞対象となった研究/業績/活動等 Activity for which award given |
受賞年月(日) Date |
---|---|---|---|
授与機関 Award presenter |
|||
2016 | 2016年度情報処理学会論文賞 | 「XPath充足可能性を判定する多項式時間アルゴリズムの提案と評価」(2016)に対して | 2017年06月 |
情報処理学会 | |||
備考(Remarks) |
|||
2008 | 2008年度大阪大学論文100選 | 「Bag-based Data Models for Incomplete Information and Their Closure Properties」(2008)に対して | 2009年06月 |
大阪大学 | |||
備考(Remarks) |
|||
2005 | 第21回電気通信普及財団賞(テレコムシステム技術賞)奨励賞 | 論文「Temporal Reasoning about Two Concurrent Sequences of Events」(2005)に対して | 2006年03月 |
電気通信普及財団 | |||
備考(Remarks) |
|||
1997 | 平成9年度情報処理学会論文賞 | 論文「抽象的順序機械型代数的仕様からのドキュメント生成システム」(1997)に対して | 1998年05月 |
情報処理学会 | |||
備考(Remarks) |
Page: [<<PREV] [1] [NEXT>>]
Copyright(C) 2010 Software Research Associates, Inc. All Rights Reserved.