Natalia Sidorova
Natalia Sidorova
Email verificata su tue.nl
TitoloCitata daAnno
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
3872011
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
3042007
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
2032009
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
1792011
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
1482003
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
912013
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
892004
Cost-based fitness in conformance checking
A Adriansyah, N Sidorova, BF van Dongen
2011 Eleventh International Conference on Application of Concurrency toá…, 2011
662011
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
652011
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
632012
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
612005
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
582016
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
582006
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
55*2000
Resource-constrained workflow nets
K Van Hee, N Sidorova, M Voorhoeve
Fundamenta Informaticae 71 (2, 3), 243-257, 2006
502006
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
462010
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
462008
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
452016
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
412008
Consistency in model integration
K Van Hee, N Sidorova, L Somers, M Voorhoeve
Data & Knowledge Engineering 56 (1), 4-22, 2006
392006
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20