| |
| 2007 | ||
|---|---|---|
| 4 | EE | Hiroyuki Mori, Yasushi Umezawa: Credit risk evaluation in power market with random forest. SMC 2007: 3737-3742 |
| 3 | EE | Yasushi Umezawa, Takeshi Shimizu: A Formal Verification Methodology for Checking Data Integrity CoRR abs/0710.4848: (2007) |
| 2004 | ||
| 2 | EE | Yasushi Umezawa, Takeshi Shimizu: A Formal Verification Methodology for Checking Data Integrity. DATE 2004: 284-289 |
| 1 | EE | Yasushi Umezawa, Takeshi Shimizu: A Formal Verification Methodology for Checking Data Integrity. DATE 2004: 284-289 |
| 1 | Hiroyuki Mori | [4] |
| 2 | Takeshi Shimizu | [1] [2] [3] |