Travelled to:
1 × Canada
2 × Portugal
Collaborated with:
Y.Matsumoto M.Adachi S.Moritomo K.Johnson R.Calinescu
Talks about:
system (3) process (2) integr (2) mine (2) net (2) job (2) increment (1) framework (1) enterpris (1) softwar (1)
Person: Shinji Kikuchi
DBLP: Kikuchi:Shinji
Contributed to:
Wrote 3 papers:
- CBSE-2013-JohnsonCK #component #framework #incremental #verification
- An incremental verification framework for component-based software systems (KJ, RC, SK), pp. 33–42.
- ICEIS-ISAS-2010-KikuchiMAM #mining #process
- Process Mining for Job Nets in Integrated Complex Computer Systems (SK, YM, MA, SM), pp. 5–12.
- ICEIS-J-2010-KikuchiMAM10a #enterprise #mining #process
- Process Mining for Job Nets in Integrated Enterprise Systems (SK, YM, MA, SM), pp. 299–310.