Natalia Sidorova
Orcid: 0000-0002-9223-938X
According to our database1,
Natalia Sidorova
authored at least 110 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
9
10
1
1
3
2
3
1
1
4
2
1
3
6
3
2
2
2
1
2
4
1
7
1
4
4
6
7
4
3
6
4
5
2
3
3
3
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 6th International Conference on Process Mining, 2024
Conformance Checking with Model Projections - Rethinking Log-Model Alignments for Processes with Interacting Objects.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024
2023
Proceedings of the Doctoral Consortium and Demo Track 2023 at the International Conference on Process Mining 2023 co-located with the 5th International Conference on Process Mining (ICPM 2023), 2023
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023
2022
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022
2021
Signal Phrase Extraction: A Gateway to Information Retrieval Improvement in Law Texts.
Proceedings of the Legal Knowledge and Information Systems, 2021
Proceedings of the 2021 Workshops on Computer Human Interaction in IoT Applications co-located with the International Conference on Embedded Wireless Systems and Networks (EWSN 2021) and the 13th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2021), 2021
2019
Discovering more precise process models from event logs by filtering out chaotic activities.
J. Intell. Inf. Syst., 2019
J. Ambient Intell. Smart Environ., 2019
Guided Interaction Exploration and Performance Analysis in Artifact-Centric Process Models.
Bus. Inf. Syst. Eng., 2019
2018
Mining Local Process Models with Constraints Efficiently: Applications to the Analysis of Smart Home Data.
Proceedings of the 14th International Conference on Intelligent Environments, 2018
Proceedings of the Human-Centered Software Engineering, 2018
Proceedings of the Business Process Management Workshops, 2018
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018
2017
Complex Syst. Informatics Model. Q., 2017
CoRR, 2017
Proceedings of the 19th IEEE Conference on Business Informatics, 2017
2016
Proceedings of the 2016 IEEE Symposium Series on Computational Intelligence, 2016
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 20th International Conference KES-2016, 2016
Proceedings of SAI Intelligent Systems Conference (IntelliSys) 2016, 2016
Proceedings of the 25th International Workshop on Concurrency, 2016
Composite State Machine Miner: Discovering and Exploring Multi-perspective Processes.
Proceedings of the BPM Demo Track 2016 Co-located with the 14th International Conference on Business Process Management (BPM 2016), 2016
Proceedings of the Business Process Management - 14th International Conference, 2016
2015
Künstliche Intell., 2015
Proceedings of the CAiSE 2015 Forum at the 27th International Conference on Advanced Information Systems Engineering co-located with 27th International Conference on Advanced Information Systems Engineering (CAiSE 2015), 2015
2013
IEEE Trans. Syst. Man Cybern. Syst., 2013
Trans. Petri Nets Other Model. Concurr., 2013
Trans. Petri Nets Other Model. Concurr., 2013
Fundam. Informaticae, 2013
Enabling self-reflection with LifelogExplorer: Generating simple views from complex data.
Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, 2013
Proceedings of the Fundamentals of Software Engineering - 5th International Conference, 2013
Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013
2012
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012
Stess@Work: from measuring stress to its understanding, prediction and handling with personalized coaching.
Proceedings of the ACM International Health Informatics Symposium, 2012
Proceedings of the Integrated Formal Methods - 9th International Conference, 2012
Proceedings of the 5th International Conference on Educational Data Mining, 2012
2011
Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible.
Inf. Syst., 2011
Formal Aspects Comput., 2011
Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011
Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011
Proceedings of the Data Mining Workshops (ICDMW), 2011
Proceedings of the Business Process Management - 9th International Conference, 2011
Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved!
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011
2010
Concurr. Comput. Pract. Exp., 2010
Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010
Proceedings of the Software Composition - 9th International Conference, 2010
Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010
Proceedings of the IEEE Congress on Evolutionary Computation, 2010
Workflow Soundness Revisited: Checking Correctness in the Presence of Data While Staying Conceptual.
Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010
Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010
Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), 2010
2009
Trans. Petri Nets Other Model. Concurr., 2009
Trans. Petri Nets Other Model. Concurr., 2009
Proceedings of the Perspectives of Systems Informatics, 2009
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009
Proceedings of the Applications and Theory of Petri Nets, 2009
2008
Softw. Test. Verification Reliab., 2008
Inf. Process. Lett., 2008
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008
Proceedings of the Fourth International Conference on e-Science, 2008
2007
Sci. Comput. Program., 2007
Proceedings of the Parallel Computing Technologies, 2007
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007
Proceedings of the Business Process Management, 5th International Conference, 2007
Proceedings of the Business Process Management Workshops, 2007
Proceedings of the Petri Nets and Other Models of Concurrency, 2007
2006
Modelling History-Dependent Business Processes.
Proceedings of the Modelling, 2006
Proceedings of the Perspectives of Systems Informatics, 2006
Proceedings of the Perspectives of Systems Informatics, 2006
Proceedings of the Petri Nets and Other Models of Concurrency, 2006
2005
Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005
Proceedings of the Formal Approaches to Software Testing, 5th International Workshop, 2005
Proceedings of the Business Process Management, 3rd International Conference, 2005
Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005
Proceedings of the Applications and Theory of Petri Nets 2005, 2005
2004
Proceedings of the Model Checking Software, 2004
Proceedings of the Applications and Theory of Petri Nets 2004, 2004
2003
Proceedings of the Formal Methods for Components and Objects, 2003
Proceedings of the Perspectives of Systems Informatics, 2003
Proceedings of the Applications and Theory of Petri Nets 2003, 2003
2002
Proceedings of the Verification, 2002
Proceedings of the FME 2002: Formal Methods, 2002
Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002
2001
Proceedings of the SDL 2001: Meeting UML, 2001
Proceedings of the Static Analysis, 8th International Symposium, 2001
Proceedings of the Perspectives of System Informatics, 2001
2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 2000
Proceedings of the Application and Theory of Petri Nets 2000, 2000