 | 2009 |
|---|
| 16 |       | Kunihiko Hiraishi,
Petr Kuvcera:
Application of DES Theory to Verification of Software Components.
IEICE Transactions 92-A(2): 604-610 (2009) |
| 2008 |
|---|
| 15 | | Kunihiko Hiraishi:
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.
Petri Nets 2008: 231-250 |
| 14 | | Kunihiko Hiraishi:
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.
IEICE Transactions 91-A(11): 3219-3228 (2008) |
| 2007 |
|---|
| 13 | | Kunihiko Hiraishi:
Special Section on Concurrent/Hybrid Systems: Theory and Applications.
IEICE Transactions 90-A(11): 2442 (2007) |
| 2005 |
|---|
| 12 | | Atsuyuki Inoue,
Akira Ito,
Kunihiko Hiraishi,
Katsushi Inoue:
Inkdot versus Pebble over Two-Dimensional Languages.
IEICE Transactions 88-A(5): 1173-1180 (2005) |
| 11 | | Eishi Chiba,
Kunihiko Hiraishi:
A Heuristic Algorithm for One-Machine Just-In-Time Scheduling Problem with Periodic Time Slots.
IEICE Transactions 88-A(5): 1192-1199 (2005) |
| 2002 |
|---|
| 10 | | Kunihiko Hiraishi:
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems.
COORDINATION 2002: 220-235 |
| 9 | | Kunihiko Hiraishi,
Eugene Levner,
Milan Vlach:
Scheduling of parallel identical machines to maximize the weighted number of just-in-time jobs.
Computers & OR 29(7): 841-848 (2002) |
| 2001 |
|---|
| 8 | | Kunihiko Hiraishi:
Synthesis of Supervisors Using Learning Algorithm of Regular Languages.
Discrete Event Dynamic Systems 11(3): 211-234 (2001) |
| 7 | | Keiko Ishihara,
Kunihiko Hiraishi:
The Completeness of Linear Logic for Petri Net Models.
Logic Journal of the IGPL 9(4): (2001) |
| 1996 |
|---|
| 6 | | Kunihiko Hiraishi:
Reducted State Space Representation for Unbounded Vector State Spaces.
Application and Theory of Petri Nets 1996: 230-248 |
| 1994 |
|---|
| 5 |  | Kunihiko Hiraishi:
Some Complexity Results on Transition Systems and Elementary Net Systems.
Theor. Comput. Sci. 135(2): 361-376 (1994) |
| 1992 |
|---|
| 4 | | Kunihiko Hiraishi:
Construction of a Class of Safe Petri Nets by Presenting Firing Sequences.
Application and Theory of Petri Nets 1992: 244-262 |
| 3 | | Kunihiko Hiraishi,
Atsunobu Ichikawa:
On Structural Conditions for Weak Persistency and Semilinearity of Petri Nets.
Theor. Comput. Sci. 93(2): 185-199 (1992) |
| 1990 |
|---|
| 2 | | Yuji Takada,
Kunihiko Hiraishi,
Yasubumi Sakakibara:
Exact Learning of Semilinear Sets.
ALT 1990: 314-324 |
| 1986 |
|---|
| 1 | | Toramatsu Shintani,
Yoshinori Katayama,
Kunihiko Hiraishi,
Mitsuhiko Toda:
KORE: A Hybrid Knowledge Programming Environment for Decision Support Based on a Logic Programming Language.
LP 1986: 22-33 |
