Search the dblp DataBase

Publications of Author

1. Toramatsu Shintani, Yoshinori Katayama, Kunihiko Hiraishi, Mitsuhiko Toda
   KORE: A Hybrid Knowledge Programming Environment for Decision Support Based on a Logic Programming Language. [Citation Graph (1, 0)][DBLP]
   LP, 1986, pp:22-33 [Conf]
   
2. Yuji Takada, Kunihiko Hiraishi, Yasubumi Sakakibara
   Exact Learning of Semilinear Sets. [Citation Graph (0, 0)][DBLP]
   ALT, 1990, pp:314-324 [Conf]
   
3. Kunihiko Hiraishi
   Construction of a Class of Safe Petri Nets by Presenting Firing Sequences. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1992, pp:244-262 [Conf]
   
4. Kunihiko Hiraishi
   Reducted State Space Representation for Unbounded Vector State Spaces. [Citation Graph (0, 0)][DBLP]
   Application and Theory of Petri Nets, 1996, pp:230-248 [Conf]
   
5. Kunihiko Hiraishi
   PN²: An Elementary Model for Design and Analysis of Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
   COORDINATION, 2002, pp:220-235 [Conf]
   
6. Kunihiko Hiraishi, Eugene Levner, Milan Vlach
   Scheduling of parallel identical machines to maximize the weighted number of just-in-time jobs. [Citation Graph (0, 0)][DBLP]
   Computers & OR, 2002, v:29, n:7, pp:841-848 [Journal]
   
7. Keiko Ishihara, Kunihiko Hiraishi
   The Completeness of Linear Logic for Petri Net Models. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 2001, v:9, n:4, pp:- [Journal]
   
8. Kunihiko Hiraishi
   Some Complexity Results on Transition Systems and Elementary Net Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:135, n:2, pp:361-376 [Journal]
   
9. Kunihiko Hiraishi, Atsunobu Ichikawa
   On Structural Conditions for Weak Persistency and Semilinearity of Petri Nets. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:93, n:2, pp:185-199 [Journal]
   
10. 
    Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds. [Citation Graph (, )][DBLP]