| 2023 | BPM | Typed Petri Nets with Variable Arc Weights. | Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin |
| 2020 | AIST | Checking Conformance Between Colored Petri Nets and Event Logs. | Julio Cesar Carrasquel, Khalil Mecheraoui, Irina A. Lomazova |
| 2019 | AIST | Detection of Anomalies in the Criminal Proceedings Based on the Analysis of Event Logs. | Alexandra A. Kolosova, Irina A. Lomazova |
| 2017 | AIST | Process Model Repair by Detecting Unfitting Fragments. | Alexey A. Mitsyuk, Irina A. Lomazova, Ivan S. Shugurov, Wil M. P. van der Aalst |
| 2017 | BPM | E-Government Services: Comparing Real and Expected User Behavior. | A. A. Kalenkova, A. A. Ageev, Irina A. Lomazova, Wil M. P. van der Aalst |
| 2017 | CoDIT | Controlling boundedness for live Petri nets. | Irina A. Lomazova, Louchka Popova-Zeugmann, Arthur Bartels |
| 2016 | MODELS | Process mining using BPMN: relating event logs and process models. | Anna A. Kalenkova, Wil M. P. van der Aalst, Irina A. Lomazova, Vladimir A. Rubin |
| 2014 | CAV | Branching Processes of Conservative Nested Petri Nets. | Daniil Frumin, Irina A. Lomazova |
| 2014 | ESEM | Process mining can be applied to software too! | Vladimir A. Rubin, Alexey A. Mitsyuk, Irina A. Lomazova, Wil M. P. van der Aalst |
| 2013 | PACT | Timed Resource Driven Automata Nets for Distributed Real-Time Systems Modelling. | Vladimir A. Bashkin, Irina A. Lomazova, Yulia A. Novikova |
| 2005 | PACT | Similarity of Generalized Resources in Petri Nets. | Vladimir A. Bashkin, Irina A. Lomazova |
| 2003 | ICCS | Interacting Automata for Modelling Distributed Systems. | Irina A. Lomazova |
| 1997 | FCT | On Occurrence Net Semantics for Petri Nets with Contacts. | Irina A. Lomazova |
| 1997 | PACT | On Proving Large Distributed Systems: Petri Net Modules Verification. | Irina A. Lomazova |
| 1987 | FCT | Procedural Implementation of Algebraic Specifications of Abstract Data Types. | Irina A. Lomazova |