Research Output per year
Research Output
2019
Data-driven usability test scenario creation
van Eck, M. L., Markslag, E., Sidorova, N., Brosens-Kessels, A. & van der Aalst, W. M. P., 1 Jan 2019, Human-Centered Software Engineering - 7th IFIP WG 13.2 International Working Conference, HCSE 2018, Revised Selected Papers. Lárusdóttir, M. K., Winckler, M., Kuusinen, K., Palanque, P. & Bogdan, C. (eds.). Cham: Springer, p. 88-108 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11262 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1
Citation
(Scopus)
3
Downloads
(Pure)
Discovering more precise process models from event logs by filtering out chaotic activities
Tax, N., Sidorova, N. & van der Aalst, W. M. P., 15 Feb 2019, In : Journal of Intelligent Information Systems. 52, 1, p. 107-139 33 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
File
14
Citations
(Scopus)
73
Downloads
(Pure)
Generating time-based label refinements to discover more precise process models
Tax, N., Alasgarov, E. E., Sidorova, N., Haakma, R. & van der Aalst, W. M. P., 2019, In : Journal of Ambient Intelligence and Smart Environments. 11, 2, p. 165-182 18 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
File
Guided interaction exploration and performance analysis in artifact-centric process models
van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 1 Dec 2019, In : Business and Information Systems Engineering. 61, 6, p. 649-663 15 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
File
1
Citation
(Scopus)
22
Downloads
(Pure)
Multi-instance mining: discovering synchronisation in artifact-centric processes
van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 1 Jan 2019, Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers. Daniel, F., Sheng, Q. Z. & Motahari, H. (eds.). Cham: Springer, p. 18-30 13 p. (Lecture Notes in Business Information Processing; vol. 342).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1
Citation
(Scopus)
1
Downloads
(Pure)
2018
Event abstraction for process mining using supervised learning techniques
Tax, N., Sidorova, N., Haakma, R. & van der Aalst, W. M. P., 2018, Proceedings of the SAI Intelligent Systems Conference (IntelliSys 2016), 21-22 September 2016, London, United Kingdom. Bi, Y., Kapoor, S. & Bhatia, R. (eds.). Berlin: Springer, p. 251-269 19 p. (Lecture Notes in Networks and Systems; vol. 15).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
11
Citations
(Scopus)
5
Downloads
(Pure)
Interest-driven discovery of local process models
Tax, N., Dalmas, B., Sidorova, N., van der Aalst, W. M. P. & Norre, S., Sep 2018, In : Information Systems. 77, p. 105-117 13 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
1
Citation
(Scopus)
Local process model discovery: bringing petri nets to the pattern mining world
Tax, N., Sidorova, N., van der Aalst, W. M. P. & Haakma, R., 1 Jan 2018, Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Khohamenko, V. & Roux, O. H. (eds.). Dordrecht: Springer, p. 374-384 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10877 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
5
Citations
(Scopus)
1
Downloads
(Pure)
Mining local process models with constraints efficiently: applications to the analysis of smart home data
Tax, N., Sidorova, N., Haakma, R. & van der Aalst, W. M. P., 27 Dec 2018, Proceedings - 2018 International Conference on Intelligent Environments, IE 2018. Piscataway: Institute of Electrical and Electronics Engineers, p. 56-63 8 p. 8595032Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
2
Citations
(Scopus)
Mining process model descriptions of daily life through event abstraction
Tax, N., Sidorova, N., Haakma, R. & van der Aalst, W. M. P., 1 Jan 2018, Intelligent Systems and Applications: Extended and Selected Results from the SAI Intelligent Systems Conference (IntelliSys) 2016. Kapoor, S., Bhatia, R. & Bi, Y. (eds.). Berlin: Springer, p. 83-104 22 p. (Studies in Computational Intelligence; vol. 751).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
6
Citations
(Scopus)
The imprecisions of precision measures in process mining
Tax, N., Lu, X., Sidorova, N., Fahland, D. & van der Aalst, W. M. P., Jul 2018, In : Information Processing Letters. 135, p. 1-8 8 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
18
Citations
(Scopus)
2017
Composite state machine miner: discovering and exploring multi-perspective processes
van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 31 Jan 2017, Proceedings of the BPM Demo Track 2016. Azevedo, L. & Cabanillas, C. (eds.). CEUR-WS.org, p. 73-77 5 p. (CEUR Workshop Proceedings; vol. 1789).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
76
Downloads
(Pure)
Guided interaction exploration in artifact-centric process models
van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 14 Aug 2017, 2017 IEEE 19th Conference on Business Informatics (CBI), Business Informatics (CBI), 24-27 July 2017, Thessaloniki, Greece. Institute of Electrical and Electronics Engineers, p. 109-118 10 p. 8010712Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
7
Citations
(Scopus)
61
Downloads
(Pure)
Heuristic approaches for generating local process models through log projections
Tax, N., Sidorova, N., van der Aalst, W. M. P. & Haakma, R., 9 Feb 2017, Proceedings of IEEE Symposium on Computational Intelligence and Data Mining, December 6-9, 2016, Athens, Greece. Piscataway: Institute of Electrical and Electronics Engineers, p. 1-8 7849948Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
11
Citations
(Scopus)
64
Downloads
(Pure)
Human performance-aware scheduling and routing of a multi-skilled workforce
van Eck, M. L., Firat, M., Nuijten, W. P. M., Sidorova, N. & van der Aalst, W. M. P., 31 Oct 2017, In : Complex Systems Informatics and Modeling Quarterly. 68, 12, p. 1-21 21 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
File
Local process models: pattern mining with process models
Tax, N., Sidorova, N. & van der Aalst, W. M. P., 10 Jun 2017, Proceedings of the Twenty-Sixth Benelux Conference on Machine Learning (BENELEARN). Duivesteijn, W., Pechenizkiy, M., Fletcher, G., Menkovski, V., Postma, E., Vanschoren, J. & van der Putten, P. (eds.). p. 83-86Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
148
Downloads
(Pure)
2016
Discovering and Exploring State-based Models for Multi-perspective Processes
van Eck, M. L., Sidorova, N. & van der Aalst, W. M. P., 2016, Business Process Management : 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18–22, 2016. Proceedings. La Rosa, M., Loos, P. & Pastor, O. (eds.). Dordrecht: Springer, p. 142-157 16 p. (Lecture notes in computer science; vol. 9850).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
15
Citations
(Scopus)
5
Downloads
(Pure)
Enabling Process Mining on Sensor Data from Smart Products
Van Eck, M. L., Sidorova, N. & Van Der Aalst, W. M. P., 23 Aug 2016, IEEE RCIS 2016 - IEEE 10th International Conference on Research Challenges in Information Science, 1-3 may 2016, Grenoble, France. Brussels: IEEE Computer Society, p. 1-12 12 p. 7549355Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
10
Citations
(Scopus)
248
Downloads
(Pure)
Log-based evaluation of label splits for process models
Tax, N., Sidorova, N., Haakma, R. & van der Aalst, W., 2016, In : Procedia Computer Science. 96, p. 63-72 10 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
File
4
Citations
(Scopus)
65
Downloads
(Pure)
Mining local process models
Tax, N., Sidorova, N., Haakma, R. & van der Aalst, W. M. P., 2016, In : Journal of Innovation in Digital Ecosystems. 3, 2, p. 183-196 14 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
File
On generation of time-based label refinements
Tax, N., Alasgarov, E. E., Sidorova, N. & Haakma, R., 2016, Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, 28-30 September 2016, Rostock, Germany. p. 1-12Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
6
Citations
(Scopus)
28
Downloads
(Pure)
2015
KPI-based activity planning for people working in flexible processes
Eck, van, M. L., Sidorova, N. & Aalst, van der, W. M. P., 2015, Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering (Stockholm, Sweden, June 10, 2015). Grabis, J. & Sandkuhl, K. (eds.). Aachen: CEUR-WS.org, p. 97-104 (CEUR Workshop Proceedings; vol. 1367).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
88
Downloads
(Pure)
Personalized stress management : enabling stress monitoring with LifelogExplorer
Kocielnik, R. D. & Sidorova, N., 2015, In : KI - Künstliche Intelligenz. 29, 2, p. 115-122 8 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
File
2013
Business process modeling using Petri nets
Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, Transactions on Petri Nets and Other Models of Concurrency VII. Jensen, K., Aalst, van der, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (eds.). Berlin: Springer, p. 116-161 (Lecture Notes in Computer Science; vol. 7480).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
12
Citations
(Scopus)
11
Downloads
(Pure)
Configurable declare : designing customisable flexible models
Schunselaar, D. M. M., Maggi, F. M., Sidorova, N. & Aalst, van der, W. M. P., 2013, On the Move to Meaningful Internet Systems: OTM 2012 (Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10-14, 2012. Proceedings, Part I). Meersman, R. (ed.). Berlin: Springer, p. 20-37 (Lecture Notes in Computer Science; vol. 7565).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
11
Citations
(Scopus)
1
Downloads
(Pure)
Discrete timed Petri nets
Bera, D., Hee, van, K. M. & Sidorova, N., 2013, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 1303)Research output: Book/Report › Report › Academic
Open Access
File
72
Downloads
(Pure)
Enabling self-reflection with LifelogExplorer : generating simple views from complex data
Kocielnik, R. D., Maggi, F. M. & Sidorova, N., 2013, 7th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth 2013, Venice, Italy, May 5-8, 2013). Institute of Electrical and Electronics Engineers, p. 184-191Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
7
Citations
(Scopus)
1
Downloads
(Pure)
Interval soundness of resource-constrained workflow nets : decidability and repair
Ramezani Taghiabadi, E., Sidorova, N. & Stahl, C., 2013, Fundamentals of Software Engineering (5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers). Arbab, F. & Sirjani, M. (eds.). Berlin: Springer, p. 150-167 (Lecture Notes in Computer Science; vol. 8161).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Refinement of synchronizable places with multi-workflow nets
Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, In : Fundamenta Informaticae. 122, 1-2, p. 59-83Research output: Contribution to journal › Article › Academic › peer-review
1
Citation
(Scopus)
1
Downloads
(Pure)
Smart technologies for long-term stress monitoring at work
Kocielnik, R. D., Sidorova, N., Maggi, F. M., Ouwerkerk, M. & Westerink, J. H. D. M., 2013, Proceedings of the 26th IEEE Conference on Computer-Based Medical Systems (CBMS'13, Porto, Portugal, June 20-22, 2013). IEEE Computer Society, p. 53-58Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
65
Citations
(Scopus)
4
Downloads
(Pure)
Soundness for resource-constrained workflow nets is decidable
Sidorova, N. & Stahl, C., 2013, In : IEEE Transactions on Systems, Man, and Cybernetics: Systems. 43, 3, p. 724-729Research output: Contribution to journal › Article › Academic › peer-review
7
Citations
(Scopus)
The right timing : reflections on the modeling and analysis of time
Hee, van, K. M. & Sidorova, N., 2013, Application and Theory of Petri Nets and Concurrency (34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings). Colom, J. M. & Desel, J. (eds.). Berlin: Springer, p. 1-20 (Lecture Notes in Computer Science; vol. 7927).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
6
Citations
(Scopus)
2
Downloads
(Pure)
When can we trust a third party?
Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2013, Transactions on Petri Nets and Other Models of Concurrency VIII. Koutny, M., Aalst, van der, W. M. P. & Yakovlev, A. (eds.). Berlin: Springer, p. 106-122 (Lecture Notes in Computer Science; vol. 8100).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
1
Citation
(Scopus)
1
Downloads
(Pure)
2012
Patterns for a log-based strengthening of declarative compliance models
Schunselaar, D. M. M., Maggi, F. M. & Sidorova, N., 2012, Integrated Formal Methods (9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings). Derrick, J., Gnesi, S., Latella, D. & Treharne, H. (eds.). Berlin: Springer, p. 327-342 (Lecture Notes in Computer Science; vol. 7321).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
10
Citations
(Scopus)
Soundness for resource-constrained workflow nets is decidable
Sidorova, N. & Stahl, C., 2012, BPMcenter. org. 7 p. (BPM reports; vol. 1209)Research output: Book/Report › Report › Academic
Stress@Work: from measuring stress to its understanding, prediction and handling with personalized coaching
Bakker, J., Holenderski, L., Kocielnik, R. D., Pechenizkiy, M. & Sidorova, N., 2012, IHI'12 - Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium (Miami FL, USA, January 28-30, 2012). New York NY: Association for Computing Machinery, Inc, p. 673-677Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
37
Citations
(Scopus)
Stress analytics in education
Kocielnik, R. D., Pechenizkiy, M. & Sidorova, N., 2012, Proceedings of the 5th International Conference on Educational Data Mining, EDM 2012 2012. Yacef, K., Zaïane, O. R., Hershkovitz, A., Yudelson, M. & Stamper, J. C. (eds.). p. 236-237Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
4
Citations
(Scopus)
2
Downloads
(Pure)
When can we trust a third party? : a soundness perspective
Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2012, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'12, Hamburg, Germany, June 25-26, 2012). Cabac, L., Duvigneau, M. & Moldt, D. (eds.). CEUR-WS.org, p. 47-59 (CEUR Workshop Proceedings; vol. 851).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1
Downloads
(Pure)
2011
Cost-based fitness in conformance checking
Adriansyah, A., Sidorova, N. & Dongen, van, B. F., 2011, Proceedings of the 11th International Conference on Application of Concurrency to System Design (ACSD'11, Kanazawa, Japan, June 2-24, 2011). Los Alamitos: IEEE Computer Society, p. 57-66Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
41
Citations
(Scopus)
147
Downloads
(Pure)
Discovering characteristics of stochastic collections of process models
Hee, van, K. M., La Rosa, M., Liu, Z. & Sidorova, N., 2011, BPMcenter. org. 17 p. (BPM reports; vol. 1106)Research output: Book/Report › Report › Academic
4
Citations
(Scopus)
1
Downloads
(Pure)
Discovering characteristics of stochastic collections of process models
Hee, van, K. M., La Rosa, M., Liu, Z. & Sidorova, N., 2011, Business Process Management (9th International Conference, BPM 2011, Clermont-Ferrand, France, August 28-September 2, 2011. Proceedings). Rinderle-Ma, S., Toumani, F. & Wolf, K. (eds.). Berlin: Springer, p. 298-312 (Lecture Notes in Computer Science; vol. 6896).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
4
Citations
(Scopus)
4
Downloads
(Pure)
Distributed genetic process mining using sampling
Bratosin, C. C., Sidorova, N. & Aalst, van der, W. M. P., 2011, Parallel Computing Technologies (11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings). Malyshkin, V. (ed.). Berlin: Springer, p. 224-237 (Lecture Notes in Computer Science; vol. 6873).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1
Citation
(Scopus)
Do my constraints constrain enough? : patterns for strengthening constraints in declarative compliance models
Schunselaar, D. M. M., Maggi, F. M. & Sidorova, N., 2011, BPMcenter. org. 18 p. (BPM reports; vol. 1115)Research output: Book/Report › Report › Academic
1
Downloads
(Pure)
Is my event log complete? - A probabilistic approach to process mining
Hee, van, K. M., Liu, Z. & Sidorova, N., 2011, Proceedings of the 5th IEEE International Conference on Research Challenges in Information Sciences (RCIS 2011, Gosier, Guadeloupe, May 19-21, 2011). Institute of Electrical and Electronics Engineers, p. 1-12Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
14
Citations
(Scopus)
93
Downloads
(Pure)
Refinement of synchronizable places with multi-workflow nets : weak termination preserved!
Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2011, Eindhoven: Technische Universiteit Eindhoven. 21 p. (Computer science reports; vol. 1101)Research output: Book/Report › Report › Academic
Open Access
File
5
Citations
(Scopus)
40
Downloads
(Pure)
Refinement of synchronizable places with multi-workflow nets. Weak termination preserved!
Hee, van, K. M., Sidorova, N. & Werf, van der, J. M. E. M., 2011, Applications and Theory of Petri Nets (32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings). Kristensen, L. M. & Petrucci, L. (eds.). Berlin: Springer, p. 149-168 (Lecture Notes in Computer Science; vol. 6709).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
5
Citations
(Scopus)
1
Downloads
(Pure)
Soundness of workflow nets : classification, decidability, and analysis
Aalst, van der, W. M. P., Hee, van, K. M., Hofstede, ter, A. H. M., Sidorova, N., Verbeek, H. M. W., Voorhoeve, M. & Wynn, M. T., 2011, In : Formal Aspects of Computing. 23, 3, p. 333-363Research output: Contribution to journal › Article › Academic › peer-review
Open Access
File
234
Citations
(Scopus)
127
Downloads
(Pure)
Soundness-preserving refinements of service compositions
Hee, van, K. M., Mooij, A. J., Sidorova, N. & Werf, van der, J. M. E. M., 2011, Web Services and Formal Methods (7th International Workshop, WS-FM 2010, Hoboken NJ, USA, September 16-17, 2010. Revised selected papers). Bravetti, M. & Bultan, T. (eds.). Berlin: Springer, p. 131-145 (Lecture Notes in Computer Science; vol. 6551).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access
File
9
Citations
(Scopus)
46
Downloads
(Pure)
Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible
Sidorova, N., Stahl, C. & Trcka, N., 2011, In : Information Systems. 36, 7, p. 1026-1043Research output: Contribution to journal › Article › Academic › peer-review
45
Citations
(Scopus)
4
Downloads
(Pure)
What's your current stress level? Detection of stress patterns from GSR sensor data
Bakker, J., Pechenizkiy, M. & Sidorova, N., 2011, Proceedings 11th IEEE International Conference on Data Mining (ICDM'11, Vancouver BC, Canada, December 11-14, 2011). Institute of Electrical and Electronics Engineers, p. 573-580Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
115
Citations
(Scopus)
2
Downloads
(Pure)