2008 |
14 | EE | Kunihiko Hiraishi:
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.
Petri Nets 2008: 231-250 |
2007 |
13 | EE | Kunihiko Hiraishi:
Special Section on Concurrent/Hybrid Systems: Theory and Applications.
IEICE Transactions 90-A(11): 2442 (2007) |
2005 |
12 | EE | Atsuyuki Inoue,
Akira Ito,
Kunihiko Hiraishi,
Katsushi Inoue:
Inkdot versus Pebble over Two-Dimensional Languages.
IEICE Transactions 88-A(5): 1173-1180 (2005) |
11 | EE | 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 | EE | Kunihiko Hiraishi:
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems.
COORDINATION 2002: 220-235 |
9 | EE | 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 | EE | Kunihiko Hiraishi:
Synthesis of Supervisors Using Learning Algorithm of Regular Languages.
Discrete Event Dynamic Systems 11(3): 211-234 (2001) |
7 | EE | 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 |