|
|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
著者: "Hiraishi, Kunihiko"
9 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 13-Nov-1997 | 時間付き離散事象システムの時間付き安定性 | 望山, 洋; 平石, 邦彦; Mochiyama, Hiromi; Hiraishi, kunihiko; モチヤマ, ヒロミ; ヒライシ, クニヒコ |
| 26-Oct-1998 | フォーシブルな事象をもつ時間付き離散事象システムの時間付き安定性 | 望山, 洋; 平石, 邦彦; Mochiyama, hiromi; Hiraishi, kunihiko; モチヤマ, ヒロミ; ヒライシ, クニヒコ |
| 16-Nov-1998 | The completeness of linear logic for petri net models | Ishihara, Keiko; Hiraishi, Kunihiko |
| 14-Dec-1998 | The completeness of linear logic with modal operator for Petri net models | Ishihara, Keiko; Hiraishi, Kunihiko |
| 30-Jun-1999 | Synthesis of supervisors using learning algorithm of regular languages | Hiraishi, Kunihiko |
| 17-Feb-2000 | Scheduling of parallel identical machines to maximize the weighted number | Hiraishi, Kunihiko; Levner, Eugene; Vlach, Milan |
| 8-Jan-2002 | Construction of Rule Base for the Control of Discrete Event Dynamic | Hiraishi, Kunihiko; Capkovic, Frantisek |
| 5-Dec-2002 | A Polynomial Time Algorithm for a Just-In-Time Scheduling Problem with Periodic Time Slots | Hiraishi, Kunihiko |
| 8-Aug-2006 | KCLP-HS: a rapid prototyping tool for implementing algorithms on hybrid systems | Hiraishi, Kunihiko |
|
