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 | 11 | 2014 |
Towards Goal-Oriented Conformance Checking. H Horita, H Hirayama, Y Tahara, A Ohsuga SEKE, 722-724, 2015 | 9 | 2015 |
Extraction of Missing Tendency Using Decision Tree Learning in Business Process Event Log H Horita, Y Kurihashi, N Miyamori Data 5 (3), 2020 | 8 | 2020 |
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 | 8 | 2016 |
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 | 6 | 2016 |
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 | 5 | 2019 |
Towards Goal-Oriented Business Process Model Repair T Takei, H Horita 10th International Congress on Advanced Applied Informatics (IIAI-AAI2021), 2021 | 3 | 2021 |
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 | 3 | 2016 |
リファインメントパターンを利用した KAOS ゴールモデルから BPMN モデルへの変換 堀田大貴, 本田耕三, 平山秀昭, 清雄一, 中川博之, 田原康之, ... コンピュータ ソフトウェア 32 (4), 4_141-4_160, 2015 | 2 | 2015 |
決定木学習を利用したビジネスプロセス実行ログ検証のための論理式の生成 堀田大貴, 平山秀昭, 早瀬健夫, 田原康之, 大須賀昭彦 電子情報通信学会論文誌 D 101 (3), 530-538, 2018 | 1 | 2018 |
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 |