| Capability-based delegation model in RBAC K Hasebe, M Mabuchi, A Matsushita Proceedings of the 15th ACM symposium on Access control models and …, 2010 | 63 | 2010 |
| Power-saving in large-scale storage systems with data migration K Hasebe, T Niwa, A Sugiki, K Kato 2010 IEEE Second International Conference on Cloud Computing Technology and …, 2010 | 48 | 2010 |
| Model Checking of BPMN Models for Reconfigurable Workflows JCP Aguilar, K Hasebe, M Mazzara, K Kato arXiv preprint arXiv:1607.00478, 2016 | 23 | 2016 |
| Computationally complete symbolic attacker and key exchange G Bana, K Hasebe, M Okada Proceedings of the 2013 ACM SIGSAC conference on Computer & communications …, 2013 | 16 | 2013 |
| Traffic management for last-mile public transportation systems using autonomous vehicles K Hasebe, K Kato, H Abe, R Akiya, M Kawamoto 2017 International Smart Cities Conference (ISC2), 1-6, 2017 | 13 | 2017 |
| Capability-role-based delegation in workflow systems K Hasebe, M Mabuchi 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing …, 2010 | 12 | 2010 |
| Power-saving in storage systems for internet hosting services with data access prediction J Okoshi, K Hasebe, K Kato 2013 International Green Computing Conference Proceedings, 1-10, 2013 | 9 | 2013 |
| Deadlock detection in the scheduling of last-mile transportation using model checking K Hasebe, M Tsuji, K Kato 2017 IEEE 15th Intl Conf on Dependable, Autonomic and Secure Computing, 15th …, 2017 | 7 | 2017 |
| Computational Semantics for Basic Protocol Logic–A Stochastic Approach G Bana, K Hasebe, M Okada Advances in Computer Science–ASIAN 2007. Computer and Network Security: 12th …, 2007 | 7 | 2007 |
| Computational semantics for first-order logical analysis of cryptographic protocols G Bana, K Hasebe, M Okada Formal to Practical Security: Papers Issued from the 2005-2008 French …, 2009 | 6 | 2009 |
| Non-monotonic properties for proving correctness in a framework of compositional logic K Hasebe, M Okada Proceedings of Foundations of Computer Security Workshop (FCS’04), 97-113, 2004 | 6 | 2004 |
| Power-aware autonomous distributed storage systems for internet hosting service platforms J Okoshi, K Hasebe, K Kato Cloud Computing: Third International Conference, CloudComp 2012, Vienna …, 2013 | 5 | 2013 |
| Completeness and counter-example generations of a basic protocol logic K Hasebe, M Okada Electronic Notes in Theoretical Computer Science 147 (1), 73-92, 2006 | 5 | 2006 |
| Power-saving in storage systems for cloud data sharing services with data access prediction K Hasebe, J Okoshi, K Kato IEICE TRANSACTIONS on Information and Systems 98 (10), 1744-1754, 2015 | 4 | 2015 |
| Towards a guideline for clinical trials in the development of human assistive robots K Hasebe, H Kawamoto, A Matsushita, K Kamibayashi, Y Sankai 2010 IEEE International Conference on Robotics and Biomimetics, 751-756, 2010 | 4 | 2010 |
| Formal verification of dynamic real-time state-transition systems using linear logic K Hasebe, JP Jouannaud, A Kremer, M Okada, R Zumkeller 日本ソフトウェア科学会大会論文集/日本ソフトウェア科学会 編 20, 1-5, 2003 | 4 | 2003 |
| A Framework for Generating Playstyles of Game AI with Clustering of Play Logs. Y Iwasaki, K Hasebe ICAART (3), 605-612, 2022 | 3 | 2022 |
| Fault Tolerance in the Traffic Management System of a Last-mile Transportation Service. K Hasebe, S Sasaki, K Kato VEHITS, 552-557, 2018 | 3 | 2018 |
| CapaCon: access control mechanism for inter-device communications through TCP connections M Mabuchi, Y Shinjo, K Hasebe, A Sato, K Kato Proceedings of the 2010 ACM Symposium on Applied Computing, 706-712, 2010 | 3 | 2010 |
| Inferences on honesty in compositional logic for protocol analysis K Hasebe, M Okada International Symposium on Software Security, 65-86, 2003 | 3 | 2003 |
