Irina A. Lomazova
Orcid: 0000-0002-9420-3751
According to our database1,
Irina A. Lomazova
authored at least 62 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
J. Log. Algebraic Methods Program., 2024
2023
Soundness-preserving composition of synchronously and asynchronously interacting workflow net components.
J. Parallel Distributed Comput., September, 2023
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach.
Softw. Syst. Model., February, 2023
CoRR, 2023
Proceedings of the Business Process Management Workshops, 2023
2022
Trans. Petri Nets Other Model. Concurr., 2022
Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives.
CoRR, 2022
2021
A Petri net extension for systems of concurrent communicating agents with durable actions.
J. Parallel Distributed Comput., 2021
2020
Compositional Conformance Checking of Nested Petri Nets and Event Logs of Multi-Agent Systems.
CoRR, 2020
Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020
Proceedings of the Analysis of Images, Social Networks and Texts, 2020
2019
Proceedings of the 21st IEEE Conference on Business Informatics, 2019
Detection of Anomalies in the Criminal Proceedings Based on the Analysis of Event Logs.
Proceedings of the Analysis of Images, Social Networks and Texts, 2019
2018
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, 2018
2017
Trans. Petri Nets Other Model. Concurr., 2017
Softw. Syst. Model., 2017
Autom. Control. Comput. Sci., 2017
Proceedings of the 4th International Conference on Control, 2017
Proceedings of the Business Process Management Workshops, 2017
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017
Proceedings of the Supplementary Proceedings of the Sixth International Conference on Analysis of Images, Social Networks and Texts (AIST 2017), Moscow, Russia, July 27, 2017
2016
Automatic construction of systems of distributed components from nested Petri nets models.
Program. Comput. Softw., 2016
Fundam. Informaticae, 2016
Proceedings of the International Workshop on Petri Nets and Software Engineering 2016, 2016
Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016
2015
Proceedings of the 24th International Workshop on Concurrency, 2015
2014
Trans. Petri Nets Other Model. Concurr., 2014
Fundam. Informaticae, 2014
Proceedings of the International Conference on Software and Systems Process 2014, 2014
Proceedings of the 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2014
Proceedings of the VPT 2014. Second International Workshop on Verification and Program Transformation, 2014
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014
2013
Fundam. Informaticae, 2013
Autom. Control. Comput. Sci., 2013
Proceedings of the Parallel Computing Technologies - 12th International Conference, 2013
Proceedings of the Joint Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'13) and the International Workshop on Modeling and Business Environments (ModBE'13), Milano, Italy, June 24, 2013
2012
Fundam. Informaticae, 2012
Proceedings of the 21th International Workshop on Concurrency, 2012
2011
2010
Fundam. Informaticae, 2010
2008
Proceedings of the Pillars of Computer Science, 2008
2007
2006
Proceedings of the Petri Nets and Other Models of Concurrency, 2006
2005
Proceedings of the Parallel Computing Technologies, 2005
2004
Communities of Interacting Automata for Modelling Distributed Systems with Dynamic Structure.
Fundam. Informaticae, 2004
2003
Proceedings of the Computational Science - ICCS 2003, 2003
2002
Fundam. Informaticae, 2002
2001
Program. Comput. Softw., 2001
Proceedings of the Perspectives of System Informatics, 2001
2000
Nested Petri Nets - a Formalism for Specification and Verification of Multi-Agent Distributed Systems.
Fundam. Informaticae, 2000
1999
Proceedings of the Perspectives of System Informatics, 1999
1997
Proceedings of the Parallel Computing Technologies, 1997
Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997
1987
Proceedings of the Fundamentals of Computation Theory, 1987