2018年1月10日 / 最終更新日時 : 2018年1月10日

Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki,Shinichi Honiden: Education Course of Practical Model Checking, in Proc. of the FirstInternational Workshop on Formal Methods Education and Training (FMET2008), 北九州国際会議場 (2008.10), pp.33-48.

2018年1月9日 / 最終更新日時 : 2018年1月9日

Kawamura,T., Umezu,K., and Ohsuga,A.: Mobile Navigation System for the Elderly – Preliminary Experiment and Evaluation, in Proc. of the 5th International Conference on Ubiquitous Intelligence and Computing, Oslo University College, Oslo, Norway (2008.6), pp.578-590.

2018年5月18日 / 最終更新日時 : 2019年5月10日 ohsuga-editor

竹之内隆夫, 川村隆浩, 大須賀昭彦: ユーザ存在の特定を困難にした分散匿名化の提案 ～２診療機関のレセプトデータを用いた有効性の評価～, 電子情報通信学会論文誌, Vol.J96-D, No.3 (2013.3), pp.596-610.

2018年1月8日 / 最終更新日時 : 2018年1月8日

Takenouchi,T., Kawamura,T., and Ohsuga,A.: Development of Knowledge-filtering Agent along with User Context in Ubiquitous Environment, in Proc. of the 2nd International Symposium on Ubiquitous Intelligence and Smart Worlds (UISW2005), Lecture Notes in Computer Science 3823, Springer-Verlag, Nagasaki, Japan (2005.12), pp.71-80.