| Soundness of workflow nets: classification, decidability, and analysis WMP Van Der Aalst, KM Van Hee, AHM Ter Hofstede, N Sidorova, ... Formal Aspects of Computing 23 (3), 333-363, 2011 | 368 | 2011 |
| Constraint-based workflow models: Change made easy M Pesic, MH Schonenberg, N Sidorova, WMP van der Aalst OTM Confederated International Conferences" On the Move to Meaningful …, 2007 | 296 | 2007 |
| Data-flow anti-patterns: Discovering data-flow errors in workflows N Trčka, WMP Van der Aalst, N Sidorova International Conference on Advanced Information Systems Engineering, 425-439, 2009 | 199 | 2009 |
| What's your current stress level? Detection of stress patterns from GSR sensor data J Bakker, M Pechenizkiy, N Sidorova 2011 IEEE 11th international conference on data mining workshops, 573-580, 2011 | 160 | 2011 |
| Soundness and separability of workflow nets in the stepwise refinement approach K Van Hee, N Sidorova, M Voorhoeve International Conference on Application and Theory of Petri Nets, 337-356, 2003 | 147 | 2003 |
| Generalised soundness of workflow nets is decidable K Van Hee, N Sidorova, M Voorhoeve International Conference on Application and Theory of Petri Nets, 197-215, 2004 | 87 | 2004 |
| Smart technologies for long-term stress monitoring at work R Kocielnik, N Sidorova, FM Maggi, M Ouwerkerk, JHDM Westerink Proceedings of the 26th IEEE International Symposium on Computer-Based …, 2013 | 81 | 2013 |
| Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible N Sidorova, C Stahl, N Trčka Information Systems 36 (7), 1026-1043, 2011 | 62 | 2011 |
| Cost-based fitness in conformance checking A Adriansyah, N Sidorova, BF van Dongen 2011 Eleventh International Conference on Application of Concurrency to …, 2011 | 62 | 2011 |
| Nested nets for adaptive systems KM van Hee, IA Lomazova, O Oanea, A Serebrenik, N Sidorova, ... International Conference on Application and Theory of Petri Nets, 241-260, 2006 | 58 | 2006 |
| Soundness of resource-constrained workflow nets K Van Hee, A Serebrenik, N Sidorova, M Voorhoeve International Conference on Application and Theory of Petri Nets, 250-267, 2005 | 58 | 2005 |
| Stess@ work: From measuring stress to its understanding, prediction and handling with personalized coaching J Bakker, L Holenderski, R Kocielnik, M Pechenizkiy, N Sidorova Proceedings of the 2nd ACM SIGHIT International health informatics symposium …, 2012 | 57 | 2012 |
| Mining local process models N Tax, N Sidorova, R Haakma, WMP van der Aalst Journal of Innovation in Digital Ecosystems 3 (2), 183-196, 2016 | 53 | 2016 |
| Model checking SDL with Spin D Bošnački, D Dams, L Holenderski, N Sidorova International Conference on Tools and Algorithms for the Construction and …, 2000 | 53* | 2000 |
| Workflow soundness revisited: Checking correctness in the presence of data while staying conceptual N Sidorova, C Stahl, N Trčka International Conference on Advanced Information Systems Engineering, 530-544, 2010 | 46 | 2010 |
| Can I find a partner? Undecidability of partner existence for open nets P Massuthe, A Serebrenik, N Sidorova, K Wolf Information Processing Letters 108 (6), 374-378, 2008 | 46 | 2008 |
| Resource-constrained workflow nets K Van Hee, N Sidorova, M Voorhoeve Fundamenta Informaticae 71 (2, 3), 243-257, 2006 | 45 | 2006 |
| Weak and almost sure limits for the parabolic Anderson model with heavy tailed potentials R Van Der Hofstad, P Mörters, N Sidorova The Annals of Applied Probability 18 (6), 2450-2494, 2008 | 41 | 2008 |
| Consistency in model integration K Van Hee, N Sidorova, L Somers, M Voorhoeve Data & Knowledge Engineering 56 (1), 4-22, 2006 | 39 | 2006 |
| Event abstraction for process mining using supervised learning techniques N Tax, N Sidorova, R Haakma, WMP van der Aalst Proceedings of SAI Intelligent Systems Conference, 251-269, 2016 | 37 | 2016 |
Wil van der AalstRWTH Aachen UniversityVerified email at pads.rwth-aachen.de