Seguir
Natalia Sidorova
Natalia Sidorova
Technische Universiteit Eindhoven
Dirección de correo verificada de tue.nl
Título
Citado por
Citado por
Año
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, 333-363, 2011
5092011
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
3492011
Constraint-based workflow models: Change made easy
M Pesic, MH Schonenberg, N Sidorova, WMP van der Aalst
On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA …, 2007
3442007
Data-flow anti-patterns: Discovering data-flow errors in workflows
N Trčka, WMP Van der Aalst, N Sidorova
Advanced Information Systems Engineering: 21st International Conference …, 2009
2582009
Soundness and separability of workflow nets in the stepwise refinement approach
K Van Hee, N Sidorova, M Voorhoeve
Applications and Theory of Petri Nets 2003: 24th International Conference …, 2003
1712003
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
1572013
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
1212016
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 (IntelliSys) 2016: Volume …, 2018
1042018
Generalised soundness of workflow nets is decidable
K Van Hee, N Sidorova, M Voorhoeve
Applications and Theory of Petri Nets 2004: 25th International Conference …, 2004
1022004
Cost-based fitness in conformance checking
A Adriansyah, N Sidorova, BF van Dongen
2011 Eleventh International Conference on Application of Concurrency to …, 2011
962011
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
952011
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
942012
Discovering more precise process models from event logs by filtering out chaotic activities
N Tax, N Sidorova, WMP van der Aalst
Journal of Intelligent Information Systems 52, 107-139, 2019
882019
Soundness of resource-constrained workflow nets
K Van Hee, A Serebrenik, N Sidorova, M Voorhoeve
Applications and Theory of Petri Nets 2005: 26th International Conference …, 2005
722005
The imprecisions of precision measures in process mining
N Tax, X Lu, N Sidorova, D Fahland, WMP van der Aalst
Information Processing Letters 135, 1-8, 2018
702018
Model checking SDL with Spin
D Bošnački, D Dams, L Holenderski, N Sidorova
Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000
62*2000
Resource-constrained workflow nets
K van Hee, N Sidorova, M Voorhoeve
Fundamenta Informaticae 71 (2-3), 243-257, 2006
572006
Nested nets for adaptive systems
KM van Hee, IA Lomazova, O Oanea, A Serebrenik, N Sidorova, ...
Petri Nets and Other Models of Concurrency-ICATPN 2006: 27th International …, 2006
572006
Workflow soundness revisited: Checking correctness in the presence of data while staying conceptual
N Sidorova, C Stahl, N Trčka
Advanced Information Systems Engineering: 22nd International Conference …, 2010
562010
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
502008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20