Travelled to:1 × Japan
1 × Korea
1 × Sweden
Collaborated with:K.Kobayashi T.Koshiba K.Uehara
Talks about:price (2) model (2) counterexampl (1) pushdown (1) mesoscop (1) consider (1) automata (1) variabl (1) pattern (1) discret (1)
Person: Kunihiko Hiraishi
DBLP: Hiraishi:Kunihiko
Contributed to:
20152012
2000Wrote 4 papers:
- CASE-2015-KobayashiH #realtime
- Optimal real-time pricing of electricity with consideration for decrease in price effect (KK, KH), pp. 539–544.
- CASE-2015-UeharaHK #modelling #petri net
- Mesoscopic modeling of airport surface by object Petri nets (KU, KH, KK), pp. 298–303.
- CASE-2012-KobayashiH #automaton #on the
- On opacity and diagnosability in discrete event systems modeled by pushdown automata (KK, KH), pp. 662–667.
- WLC-2000-KoshibaH #consistency
- A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples (TK, KH), pp. 253–265.