Follow
Hiroki Horita
Title
Cited by
Cited by
Year
Transformation approach from KAOS goal models to BPMN models using refinement patterns
H Horita, K Honda, Y Sei, H Nakagawa, Y Tahara, A Ohsuga
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1023-1024, 2014
112014
Towards Goal-Oriented Conformance Checking.
H Horita, H Hirayama, Y Tahara, A Ohsuga
SEKE, 722-724, 2015
92015
Extraction of Missing Tendency Using Decision Tree Learning in Business Process Event Log
H Horita, Y Kurihashi, N Miyamori
Data 5 (3), 2020
82020
Process mining approach based on partial structures of event logs and decision tree learning
H Horita, H Hirayama, T Hayase, Y Tahara, A Ohsuga
2016 5th IIAI International Congress on Advanced Applied Informatics (IIAI …, 2016
82016
Goal achievement analysis based on LTL checking and decision tree for improvements of PAIS
H Horita, H Hirayama, Y Tahara, A Ohsuga
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1214-1218, 2016
62016
A Method for Goal Model Repair Based on Process Mining
H Horita, H Hirayama, T Hayase, Y Tahara, A and Ohsuga
20th IEEE/ACIS International Conference on Software Engineering, Artificial …, 2019
52019
Towards Goal-Oriented Business Process Model Repair
T Takei, H Horita
10th International Congress on Advanced Applied Informatics (IIAI-AAI2021), 2021
32021
Business process verification and restructuring LTL formula based on machine learning approach
H Horita, H Hirayama, T Hayase, Y Tahara, A Ohsuga
Computer and Information Science, 89-102, 2016
32016
リファインメントパターンを利用した KAOS ゴールモデルから BPMN モデルへの変換
堀田大貴, 本田耕三, 平山秀昭, 清雄一, 中川博之, 田原康之, ...
コンピュータ ソフトウェア 32 (4), 4_141-4_160, 2015
22015
決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成
堀田大貴, 平山秀昭, 早瀬健夫, 田原康之, 大須賀昭彦
電子情報通信学会論文誌 D 101 (3), 530-538, 2018
12018
YouTubeにおける顔が写ったサムネイルと再生回数の関係
森田昭壱, 堀田大貴
経営情報学会2024年度年次大会, 2024
2024
Generating LTL Formulas for Process Mining by Example of Trace
K Komatsu, H Horita
Journal of Data Science and Intelligent Systems, 2024
2024
Analysis of Business Processes with Automatic Detection of KPI Thresholds and Process Discovery Based on Trace Variants
T Takei, H Horita
Research Briefs on Information and Communication Technology Evolution 9, 59-76, 2023
2023
低品質イベントログの修復がConformance Checkingへ与える影響についての研究
半谷太一, 堀田大貴
経営情報学会2023年度年次大会, 2023
2023
説明可能機械学習によるプロセスマイニングにおけるイベントログのエンコーディング方法に関する研究
本名海斗, 堀田大貴
経営情報学会2023年度年次大会, 2023
2023
SATベースの手法による宣言型プロセスモデルの発見
小松航汰, 堀田大貴
経営情報学会2023年度年次大会, 2023
2023
トレースのバリアントに基づくKPI閾値の自動検出によるビジネスプロセスの分析
武井太郎, 堀田大貴
電子情報通信学会知能ソフトウェア工学研究会, 2023
2023
Comparison of Goal-Oriented Business Process Model Repair and Discovery
T Takei, H Horita
International Journal of Service and Knowledge Management 7 (1), 1-17, 2023
2023
ビジネスプロセス実行時における公平な人員の割り当て
江頭那由多, 堀田大貴
電子情報通信学会知能ソフトウェア工学研究会, 2023
2023
ビジネスプロセス実行時における公平な人員の割り当てにむけて
江頭那由多, 堀田大貴
ソフトウェアエンジニアリングシンポジウム2022ワークショップ, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20