BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hiraishi:Kunihiko

Contributed to:

CASE 20152015
CASE 20122012
Words, Languages & Combinatorics 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.