• 1700 Citations
19992019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2019

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 journalArticleAcademicpeer-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 journalArticleAcademicpeer-review

Open Access
File
71 Downloads (Pure)

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 journalArticleAcademicpeer-review

Open Access
File
1 Citation (Scopus)
22 Downloads (Pure)
2018

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 journalArticleAcademicpeer-review

Open Access
1 Citation (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 journalArticleAcademicpeer-review

Open Access
18 Citations (Scopus)
2017
Open Access
File
77 Downloads (Pure)
2016

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 journalArticleAcademicpeer-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 journalArticleAcademicpeer-review

Open Access
File
104 Downloads (Pure)
2015

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 journalArticleAcademicpeer-review

Open Access
File
81 Downloads (Pure)
2013

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-83

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
1 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-729

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)
2011

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-363

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
234 Citations (Scopus)
127 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-1043

Research output: Contribution to journalArticleAcademicpeer-review

45 Citations (Scopus)
4 Downloads (Pure)
2010

A reference model for grid architectures and its validation

Aalst, van der, W. M. P., Bratosin, C. C., Sidorova, N. & Trcka, N., 2010, In : Concurrency and Computation : Practice & Experience. 22, 11, p. 1365-1385

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)
2009

Generation of database transactions with Petri nets

Hee, van, K. M., Sidorova, N., Voorhoeve, M. & Werf, van der, J. M. E. M., 2009, In : Fundamenta Informaticae. 93, 1-3, p. 171-184

Research output: Contribution to journalArticleAcademicpeer-review

13 Citations (Scopus)
1 Downloads (Pure)
2008

Can I find a partner? Undecidability of partner existence for open nets

Massuthe, P., Serebrenik, A., Sidorova, N. & Wolf, K., 2008, In : Information Processing Letters. 108, 6, p. 374-378

Research output: Contribution to journalArticleAcademicpeer-review

29 Citations (Scopus)
7 Downloads (Pure)

History-based joins : semantics, soundness and implementation

Hee, van, K. M., Oanea, O. I., Serebrenik, A., Sidorova, N. & Voorhoeve, M., 2008, In : Data & Knowledge Engineering. 64, 1, p. 24-37

Research output: Contribution to journalArticleAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)

Simulated time for host-based testing with TTCN-3

Blom, S. C. C., Deiß, T., Ioustinova, N., Kontio, A., Pol, van de, J. C., Rennoch, A. & Sidorova, N., 2008, In : Software Testing, Verification and Reliability. 18, 1, p. 29-49

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
90 Downloads (Pure)

Token history Petri nets

Hee, van, K. M., Serebrenik, A. & Sidorova, N., 2008, In : Fundamenta Informaticae. 85, 1-4, p. 219-234

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
3 Downloads (Pure)

Working with the past : integrating history in Petri nets

Hee, van, K. M., Serebrenik, A., Sidorova, N. & Aalst, van der, W. M. P., 2008, In : Fundamenta Informaticae. 88, 3, p. 387-409

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)
2007

Checking properties of adaptive workflow nets

Hee, van, K. M., Oanea, O. I., Serebrenik, A., Sidorova, N., Voorhoeve, M. & Lomazova, I. A., 2007, In : Fundamenta Informaticae. 79, 3-4, p. 347-362

Research output: Contribution to journalArticleAcademicpeer-review

17 Citations (Scopus)
1 Downloads (Pure)

LogLogics : a logic for history-dependent business processes

Hee, van, K. M., Oanea, O. I., Serebrenik, A., Sidorova, N. & Voorhoeve, M., 2007, In : Science of Computer Programming. 65, 1, p. 30-40

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
4 Citations (Scopus)
1 Downloads (Pure)

Scheduling-free resource management

Hee, van, K. M., Serebrenik, A., Sidorova, N., Voorhoeve, M. & Wal, van der, J., 2007, In : Data & Knowledge Engineering. 61, 1, p. 59-75

Research output: Contribution to journalArticleAcademicpeer-review

9 Citations (Scopus)
1 Downloads (Pure)
2006

Consistency in model integration

Hee, van, K. M., Sidorova, N., Somers, L. J. A. M. & Voorhoeve, M., 2006, In : Data & Knowledge Engineering. 56, 1, p. 4-22

Research output: Contribution to journalArticleAcademicpeer-review

18 Citations (Scopus)
2 Downloads (Pure)

Resource-constrained workflow nets

Hee, van, K. M., Sidorova, N. & Voorhoeve, M., 2006, In : Fundamenta Informaticae. 71, 2-3, p. 243-257

Research output: Contribution to journalArticleAcademicpeer-review

32 Citations (Scopus)
1 Downloads (Pure)