Hasebe Koji

ハセベコウジ | Hasebe Koji

Affiliation and department：
Job title： Associate Professor
Homepage URL (1)： http://www.cs.tsukuba.ac.jp/~hasebe

Research field (2)： Information theory , Software

Research keywords (5)： Game Theory , Distributed Systems , Multi-Agent Systems , Formal Methods , Mathematical Logic

Papers (39)：

Koji Hasebe, Mitsuaki Tsuji, Kazuhiko Kato. Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking. Proceedings - 2017 IEEE 15th International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd International Conference on Big Data Intelligence and Computing and 2017 IEEE Cyber Science and Technology Congress, DASC-PICom-DataCom-CyberSciTec 2017. 2018. 2018-. 423-430
Koji Hasebe, Sho Takai, Kazuhiko Kato. A Flexible Data Migration Strategy for Power Savings in Distributed Storage Systems. 7th International Conference on Smart Cities and Green ICT Systems (SmartGreens 2018). 2018. 352-357
Koji Hasebe, Shohei Sasaki, Kazuhiko Kato. Fault Tolerance in the Traffic Management System of a Last-mile Transportation Service. 4th International Conference on Vehicle Technology and Intelligent Transportation Systems (VEHITS 2018). 2018. 552-557
Koji Hasebe, Kazuhiko Kato, Hirotake Abe, Ryutaro Akiya, Masayuki Kawamoto. Traffic management for last-mile public transportation systems using autonomous vehicles. 2017 International Smart Cities Conference, ISC2 2017. 2017. 6 pages
Koji Hasebe, Takumi Sawada, Kazuhiko Kato. A game theoretic approach to power reduction in distributed storage systems. Journal of Information Processing. 2016. 24. 1. 173-181

ｍore...

MISC (7)：

A Passenger Transport Method for Last Mile Transportation with Platooning Vehicles. 2016. 33. 481-488
Koji Hasebe, Takumi Sawada, Kazuhiko Kato. A Game Theoretic Approach to Power Reduction in Distributed Storage Systems. 2015. 8. 4
Power-Saving in Storage Systems with Distributed Hash Table. 2015. 32. 9p
Power-Saving in DHT-based Large-Scale Storage Systems. 2010. 27. 1-9
A Policy Specification Language with Control Flow for Access Control. 2010. 27. 1-8

ｍore...

Books (2)：

Cybernics
Springer-Verlag 2014
数理的技法による情報セキュリティ
共立出版 2010

Education (3)：

2000 - 2003 Keio University Graduate School of Letters Department of Philosophy, Doctor Course
1998 - 2000 Keio University Graduate School of Letters Department of Philosophy, Master Course
1994 - 1998 Keio University Faculty of Letters Department of Philosophy

Professional career (1)：

Ph.D. in Philosophy (Keio University)

Work history (7)：

2017/04 - 現在 University of Tsukuba Faculty of Engineering, Information, and Systems Associate Professor
2011/02 - 2017/03 University of Tsukuba Faculty of Engineering, Information, and Systems Assistant Professor
2008/03 - 2011/02 University of Tsukuba Research Fellow
2006/09 - 2008/02 National Institute of Advanced Industrial Science and Technology (AIST) Research Center for Verification and Semantics Research Fellow
2004/04 - 2006/09 Keio University JSPS Research Fellow (PD)

Show all

Committee career (10)：

2018 - 現在日本ソフトウェア科学会大会プログラム副委員長
2013 - 現在日本ソフトウェア科学会プログラミング論研究会(PPL)ワークショッププログラム委員
2013 - 現在 ACM SAC プログラム委員
2012 - 現在 KES-AMSTA Program Committee
2012 - 現在 KES-AMSTA プログラム委員

Show all

Association Membership(s) (7)：

ACM , IEEE , The Institute of Electronics, Information and Communication Engineers , Information Processing Society of Japan , Japan Society for Software Science and Techinology , Institute of Electrical and Electronics Engineers (IEEE) , Association for Computing Machinery (ACM)

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page