堀田大貴 (Hiroki Horita) - マイポータル

基本情報

所属: 茨城大学理工学研究科（工学野）情報科学領域講師

学位: 博士(工学)(電気通信大学)

研究者番号: 30799804
J-GLOBAL ID: 201501083632991558
researchmap会員ID: B000243594

外部リンク: https://sites.google.com/view/horitahirokilab/%E7%A0%94%E7%A9%B6%E3%83%86%E3%83%BC%E3%83%9E

研究キーワード

研究分野

経歴

2024年4月 - 現在

茨城大学, 工学部情報工学科, 講師
2017年2月 - 2024年3月

茨城大学, 工学部情報工学科, 助教

学歴

2014年4月 - 2017年3月

電気通信大学大学院, 情報システム学研究科, 社会知能情報学専攻
2012年4月 - 2014年3月

電気通信大学大学院, 情報システム学研究科, 社会知能情報学専攻
2008年4月 - 2012年3月

青山学院大学, 社会情報学部, 社会情報学科

委員歴

2022年6月 - 2025年5月

情報処理学会, 論文誌ジャーナル編集委員
2024年4月 - 2025年3月

経営情報学会, 代議員
2024年3月 - 2024年8月

15th International Conference on Artificial Intelligence-empowered Software Engineering (AIESE 2024), PROGRAM COMMITTEE
2023年12月 - 2024年6月

情報処理学会, 2023年度論文賞選定ワーキンググループ委員
2023年6月 - 2024年5月

電子情報通信学会, 知能ソフトウェア工学研究会幹事
2023年5月 - 2024年5月

電子情報通信学会, 知能ソフトウェア工学小特集号（英文論文誌D）幹事
2022年6月 - 2023年5月

電子情報通信学会, 知能ソフトウェア工学研究会幹事補佐
2023年1月 - 2023年3月

電子情報通信学会, 2023年総合大会プログラム編成委員

論文

Generating LTL Formulas for Process Mining by Example of Trace

Kota Komatsu, Hiroki Horita

Journal of Data Science and Intelligent Systems 2024年査読有り最終著者責任著者
Analysis of Business Processes with Automatic Detection of KPI Thresholds and Process Discovery Based on Trace Variants

Taro Takei, Hiroki Horita

9 59-73 2023年9月査読有り最終著者責任著者
Comparison of Goal-Oriented Business Process Model Repair and Discovery

Taro Takei, Hiroki Horita

International Journal of Service and Knowledge Management 7(1) 1-17 2023年査読有り最終著者責任著者
Towards Goal-Oriented Business Process Model Repair

Taro Takei, Hiroki Horita

10th International Congress on Advanced Applied Informatics (IIAI-AAI2021) 2021年7月査読有り
Extraction of Missing Tendency Using Decision Tree Learning in Business Process Event Log

Hiroki Horita, Yuta Kurihashi, Nozomi Miyamori

Data 5(3) 2020年9月査読有り筆頭著者最終著者責任著者
Fairness Analysis in Goal-Oriented Requirements Selection

Hiroki Horita, Junji Noguchi

International Journal of Trade, Economics and Finance 11(4) 77-82 2020年8月査読有り筆頭著者責任著者
A Method for Goal Model Repair Based on Process Mining

Hiroki Horita, Hideaki Hirayama, Takeo Hayase, Yasuyuki Tahara, Akihiko Ohsuga

20th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2019) 121-126 2019年7月査読有り筆頭著者責任著者
決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成

堀田大貴,平山秀昭,早瀬健夫,田原康之,大須賀昭彦

電子情報通信学会論文誌 Vol.J101-D(No.3 (2018)) 530-538 2018年3月査読有り筆頭著者責任著者
Goal achievement analysis based on LTL checking and decision tree for improvements of PAIS

Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara, Akihiko Ohsuga

Proceedings of the ACM Symposium on Applied Computing 04-08- 1214-1216 2016年4月4日査読有り
Business Process Verification and Restructuring LTL Formula Based on Machine Learning Approach

Hiroki Horita, Hideaki Hirayama, Takeo Hayase, Yasuyuki Tahara, Akihiko Ohsuga

COMPUTER AND INFORMATION SCIENCE 656 89-102 2016年査読有り
Process Mining Approach Based on Partial Structures of Event Logs and Decision Tree Learning

Hiroki Horita, Hideaki Hirayama, Takeo Hayase, Yasuyuki Tahara, Akihiko Ohsuga

PROCEEDINGS 2016 5TH IIAI INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS IIAI-AAI 2016 113-118 2016年査読有り
リファインメントパターンを利用したKAOSゴールモデルからBPMNモデルへの変換

堀田大貴, 本田耕三, 平山秀昭, 清雄一, 中川博之, 田原康之, 大須賀昭彦

コンピュータソフトウェア 32(4) 4_141-4_160 2015年11月査読有り筆頭著者責任著者
Towards Goal-Oriented Conformance Checking

Hiroki Horita, Hideaki Hirayama, Yasuyuki Tahara, Akihiko Ohsuga

International Conference on Software Engineering and Knowledge Engineering (SEKE2015) 722-724 2015年7月査読有り筆頭著者責任著者
Transformation approach from KAOS goal models to BPMN models using refinement patterns

Hiroki Horita, Kozo Honda, Yuichi Sei, Hiroyuki Nakagawa, Yasuyuki Tahara, Akihiko Ohsuga

Proceedings of the ACM Symposium on Applied Computing 1023-1024 2014年査読有り