|
| [13] | Entropia: A Family of Entropy-Based Conformance Checking Measures for Process Mining (Artem Polyvyanyy, Hanan Alkhammash, Claudio Di Ciccio, Luciano García-Bañuelos, Anna A. Kalenkova, Sander J. J. Leemans, Jan Mendling, Alistair Moffat, and Matthias Weidlich), In Proceedings of the ICPM Doctoral Consortium and Tool Demonstration Track 2020 co-located with the 2nd International Conference on Process Mining (ICPM 2020), Padua, Italy, October 4-9, 2020 (Claudio Di Ciccio, Benoît Depaire, Jochen De Weerdt, Chiara Di Francescomarino, Jorge Munoz-Gama, eds.), CEUR-WS.org, volume 2703, 2020. |
| [12] | Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems (Artem Polyvyanyy, Andreas Solti, Matthias Weidlich, Claudio Di Ciccio, and Jan Mendling), In EMISA Forum, volume 40, 2020. |
| [11] | Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems (Artem Polyvyanyy, Andreas Solti, Matthias Weidlich, Claudio Di Ciccio, and Jan Mendling), In ACM Trans. Softw. Eng. Methodol., volume 29, 2020. |
|
| [10] | Interleaving isotactics - An equivalence notion on behaviour abstractions (Artem Polyvyanyy, Jan Sürmeli, and Matthias Weidlich), In Theor. Comput. Sci., volume 737, 2018. |
|
| [9] | The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems (Artem Polyvyanyy, Matthias Weidlich, Raffaele Conforti, Marcello La Rosa, and Arthur H. M. ter Hofstede), In Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings (Gianfranco Ciardo, Ekkart Kindler, eds.), Springer, volume 8489, 2014. |
|
| [8] | Towards a Compendium of Process Technologies - The jBPT Library for Process Model Analysis (Artem Polyvyanyy and Matthias Weidlich), In Proceedings of the CAiSE'13 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE), Valencia, Spain, June 20th, 2013 (Rébecca Deneckère, Henderik Alex Proper, eds.), CEUR-WS.org, volume 998, 2013. |
|
| [7] | Isotactics as a Foundation for Alignment and Abstraction of Behavioral Models (Artem Polyvyanyy, Matthias Weidlich, and Mathias Weske), In Business Process Management - 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings (Alistair Barros, Avigdor Gal, Ekkart Kindler, eds.), Springer, volume 7481, 2012. |
|
| [6] | Connectivity of workflow nets: the foundations of stepwise verification (Artem Polyvyanyy, Matthias Weidlich, and Mathias Weske), In Acta Informatica, volume 48, 2011. |
| [5] | Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation (Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, and Mathias Weske), In Fundam. Informaticae, volume 113, 2011. |
| [4] | Process compliance analysis based on behavioural profiles (Matthias Weidlich, Artem Polyvyanyy, Nirmit Desai, Jan Mendling, and Mathias Weske), In Inf. Syst., volume 36, 2011. |
|
| [3] | Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition (Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, and Mathias Weske), In Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings (Johan Lilius, Wojciech Penczek, eds.), Springer, volume 6128, 2010. |
| [2] | Process Compliance Measurement Based on Behavioural Profiles (Matthias Weidlich, Artem Polyvyanyy, Nirmit Desai, and Jan Mendling), In Advanced Information Systems Engineering, 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings (Barbara Pernici, ed.), Springer, volume 6051, 2010. |
| [1] | The Biconnected Verification of Workflow Nets (Artem Polyvyanyy, Matthias Weidlich, and Mathias Weske), In On the Move to Meaningful Internet Systems: OTM 2010 - Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I (Robert Meersman, Tharam S. Dillon, Pilar Herrero, eds.), Springer, volume 6426, 2010. |