profile icon
Dr

Anna Kalenkova

Research Fellow In Process Mining
Computing And Information Systems
science & technology
computer science
technology
computer science, software engineering
process mining
bpmn (business process model and notation)
process discovery
process models
computer science, theory & methods
Anna Kalenkova's Profile Picture
Dr

Anna Kalenkova

 
Division
Engineering
 
Primary Interest
Graph theory. Process modeling. Transition systems. Petri nets
Anna Kalenkova's Profile Picture
Dr

Anna Kalenkova

 

Dr. Anna Kalenkova is a research fellow at the School of Computing and Information Systems, Melbourne School of Engineering, University of Melbourne, Australia. In 2006, she graduated from the Faculty of Computational Mathematics and Cybernetics (Lomonosov Moscow State University) with highest honors.

She obtained her first PhD degree in the field of business process analysis at the Institution of Russian Academy of Sciences, Dorodnicyn Computing Centre of RAS in 2011. Then, in 2018, being a research fellow at the Laboratory of Process Aware information Systems, Higher School of Economics (Moscow, Russia), she defended her PhD thesis at Eindhoven University of Technology (Eindhoven, The Netherlands) in the field of process mining under supervision of Prof. Wil van der Aalst and Prof. Irina Lomazova. Her interests lie in business process analysis, including process mining, formal methods and languages, automata theory, and Petri nets.

Scholarly Works

Displaying the 26 most recent scholarly works by Anna Kalenkova.

Scholarly works icon

Automated Repair of Process Models Using Non-Local Constraints

Anna Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa

Conference Proceedings  |  2020  |  Proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency

State-of-the-art process discovery methods construct free-choice process models from event logs. Hence, the constructed models do ..

Scholarly works icon

Automated Repair of Process Models Using Non-Local Constraints

Anna Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa

Conference Proceedings  |  2020  |  Proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency

State-of-the-art process discovery methods construct free-choice process models from event logs. Hence, the constructed models do ..

Scholarly works icon

Efficient algorithms for finding differences between process models

A Skobtsov, A Kalenkova

Conference Proceedings  |  2019  |  2019 Ivannikov Ispras Open Conference (ISPRAS)

Scholarly works icon

Application of a Genetic Algorithm for Finding Edit Distances between Process Models

AA Kalenkova, DA Kolesnikov

Journal article  |  2019  |  Automatic Control and Computer Sciences

Finding graph edit distances (determining the similarity of graph models) is an important task in various areas of computer scienc..

Scholarly works icon

Using heuristic algorithms for fast alignment between business processes and goals

AV Skobtsov, AA Kalenkova

Conference Proceedings  |  2019  |  2019 IEEE 23rd International Enterprise Distributed Object Computing Workshop (EDOCW)

Scholarly works icon

Discovering high-level BPMN process models from event data

Anna Kalenkova, Andrea Burattin, Massimiliano de Leoni, Wil van der Aalst, Alessandro Sperduti

Journal article  |  2019  |  Business Process Management Journal

Scholarly works icon

Monotone Conformance Checking for Partially Matching Designed and Observed Processes

Artem Polyvyanyy, Anna Kalenkova

Conference Proceedings  |  2019  |  2019 International Conference on Process Mining (ICPM)

Conformance checking is a subarea of process mining that studies relations between designed processes, also called process models,..

Scholarly works icon

Efficient comparison of process models using Tabu search algorithm

AV Skobtsov, AA Kalenkova

Conference Proceedings  |  2019  |  CEUR Workshop Proceedings

Copyright © 2019 for this paper by its authors. Companies from various domains record their operational behavior in a form of even..

Scholarly works icon

On the efficient application of Aho-Corasick algorithm in process mining

Andrey Konchagin, Anna Kalenkova

Conference Proceedings  |  2018

Scholarly works icon

Constructing Regular Expressions from Real-life Event Logs

Polina Tarantsova, Anna Kalenkova

Conference Proceedings  |  2018

Scholarly works icon

Learning high-level process models from event data

Anna Kalenkova

Thesis / Dissertation  |  2018

Scholarly works icon

E-Government Services: Comparing Real and Expected User Behavior

Anna Kalenkova, Alexander Ageev, Irina Lomazova, Wil van der Aalst

Conference Proceedings  |  2018  |  Lecture Notes in Business Information Processing

E-government web services are becoming increasingly popular among citizens of various countries. Usually, to receive a service, th..

Scholarly works icon

Process mining using BPMN: relating event logs and process models

Anna A Kalenkova, Wil MP van der Aalst, Irina A Lomazova, Vladimir A Rubin

Journal article  |  2017  |  Software & Systems Modeling

Scholarly works icon

Generating event logs for high-level process models

Alexey A Mitsyuk, Ivan S Shugurov, Anna A Kalenkova, Wil MP van der Aalst

Journal article  |  2017  |  Simulation Modelling Practice and Theory

Scholarly works icon

Transition Systems Reduction: Balancing between Precision and Simplicity

Sergey Shershakov, Anna Kalenkova, Irina Lomazova

Conference Proceedings  |  2016

Scholarly works icon

Process Discovery Using Localized Events

Wil MP van der Aalst, Anna Kalenkova, Vladimir Rubin, Eric Verbeek

Conference Proceedings  |  2015  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Scholarly works icon

BPMNDiffViz: A tool for BPMN Models comparison?

SY Ivanov, AA Kalenkova, WMP Van Der Aalst

Conference Proceedings  |  2015  |  CEUR Workshop Proceedings

Scholarly works icon

Comparing process models in the BPMN 2.0 XML format

S Ivanov, A Kalenkova

Journal article  |  2015  |  Proceedings of the Institute for System Programming of the RAS

Scholarly works icon

Discovery of Cancellation Regions within Process Mining Techniques

Anna A Kalenkova, Irina A Lomazova

Journal article  |  2014  |  Fundamenta Informaticae

Scholarly works icon

Using process mining for the analysis of an e-trade system: A case study

Alexey Mitsyuk, Anna Kalenkova, Shershakov Sergey

Journal article  |  2014  |  Business Informatics

Scholarly works icon

Discovering, analyzing and enhancing BPMN models using ProM

AA Kalenkova, M De Leoni, WMP Van Der Aalst

Conference Proceedings  |  2014  |  CEUR Workshop Proceedings

Scholarly works icon

Applying Graph Grammars for the Generation of Process Models and Their Logs

Valeriia Kataeva, Anna Kalenkova

Conference Proceedings  |  2014

Scholarly works icon

Process model discovery: A method based on transition system decomposition

AA Kalenkova, IA Lomazova, WMP Van Der Aalst

Conference Proceedings  |  2014  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Scholarly works icon

Discovery of Cancellation Regions within Process Mining Techniques

Anna Kalenkova, Irina Lomazova

Conference Proceedings  |  2013

Scholarly works icon

An algorithm of automatic workflow optimization

AA Kalenkova

Journal article  |  2012  |  Programming and Computer Software

Scholarly works icon

Application of if-conversion to verification and optimization of workflows

AA Kalenkova

Journal article  |  2010  |  Programming and Computer Software

26

Scholarly Works

Keyword Analysis

Expanding Knowledge
Information Systems
Computation Theory and Mathematics
Artificial Intelligence and Image Processing
Computer Software
Distributed Computing

Honours, Awards and Fellowships

2019

Best paper award at the 1st International Conference on Process Mining (ICPM)
2016

Software and System Modeling Journal. Best Paper Award.
2006

Best diploma, 3rd place. Moscow State University. Faculty of Computational mathematics and Cybernetics.

3

Awards

Credentials

Positions

Research Fellow In Process Mining

Computing And Information Systems

Lecturer

Computing And Information Systems

Education

Doctor of philosophy

Eindhoven University of Technology

Candidate of physical and mathematical sciences

Russian Academy of Sciences

Specialist in Applied mathematics and computer science

Moscow State University

Links