Różnice

Różnice między wybraną wersją a wersją aktualną.

--- research:process [2026/06/19 20:31] – admin
+++ research:process [2026/06/19 21:04] (aktualna) – admin
@@ Linia 13: / Linia 13: @@
 === See also ===
-  * Radoslaw Klimek, Julia Witek. [[https://dl.acm.org/doi/10.1145/3695750.3695822|Automatic Generation of Logical Specifications for Behavioural Models]]. ASEW 2024 – Automated Software Engineering Workshops, 2024.
+  * **Radoslaw Klimek**, Julia Witek. [[https://dl.acm.org/doi/10.1145/3695750.3695822|Automatic Generation of Logical Specifications for Behavioural Models]]. 39th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW-RENE 2024), Sacramento, California, USA, 2024.
+  * **Radoslaw Klimek**, Jakub Blazowski. [[https://arxiv.org/abs/2512.09562|Explainable Verification of Hierarchical Workflows Mined from Event Logs with Shapley Values]]. ArXiv, 2025.
-  * Radoslaw Klimek, Jakub Blazowski. [[https://arxiv.org/abs/2512.09562|Explainable Verification of Hierarchical Workflows Mined from Event Logs with Shapley Values]]. ArXiv, 2025.
+  * van der Aalst W.M.P. [[https://link.springer.com/book/10.1007/978-3-662-49851-4|Process Mining: Data Science in Action]]. Springer, 2016.
+  * Lundberg S.M., Lee S.-I. [[https://dl.acm.org/doi/10.5555/3295222.3295230|A Unified Approach to Interpreting Model Predictions]]. Advances in Neural Information Processing Systems (NeurIPS 2017), 2017, pages. 4765–4774.
-  * van der Aalst W.M.P. (2016). ''Process Mining: Data Science in Action''. Springer.
+  * Luo J. et al. [[https://arxiv.org/abs/2503.21460|Large Language Model Agent: A Survey on Methodology, Applications and Challenges]]. ArXiv, 2025.
-  * Lundberg S.M., Lee S.-I. (2017). ''A Unified Approach to Interpreting Model Predictions''. In: //Advances in Neural Information Processing Systems (NeurIPS 2017)//, pp. 4765–4774.
-  * Luo J. et al. (2025). ''Large Language Model Agent: A Survey on Methodology, Applications and Challenges''. [[https://arxiv.org/abs/2503.21460|arXiv]].