Travelled to:1 × China
2 × USA
Collaborated with:H.Furusawa E.Choi T.Ogi M.Hirose N.Kakehi P.Johnstone J.Power T.Tsujishita J.Worrell
Talks about:coalgebra (1) categori (1) transit (1) softwar (1) environ (1) axiomat (1) analysi (1) system (1) review (1) haptic (1)
Person: Hiroshi Watanabe
DBLP: Watanabe:Hiroshi
Contributed to:
2006
1998
1997Wrote 3 papers:
- ICSE-2006-FurusawaCW #analysis #design #modelling #overview #performance
- Efficiency analysis of model-based review in actual software design (HF, EHC, HW), pp. 604–607.
- LICS-1998-JohnstonePTWW #algebra #axiom #category theory
- An Axiomatics for Categories of Transition Systems as Coalgebras (PJ, JP, TT, HW, JW), pp. 207–213.
- HCI-SEC-1997-OgiHWK #realtime #simulation
- Real-Time Numerical Simulation in Haptic Environment (TO, MH, HW, NK), pp. 965–968.