• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Laboratory of Process-Aware Information Systems (PAIS Lab)

Publications
Working paper
Searching for Deviations in Trading Systems: Combining Control-Flow and Data Perspectives

Carrasquel Gamez J. C., Lomazova I. A.

arxiv.org. Computer Science. Cornell University, 2022

Article
Discovering architecture-aware and sound process models of multi-agent systems: a compositional approach

Nesterov R., Bernardinello L., Lomazova I. A. et al.

Software and Systems Modeling. 2023. Vol. 22. P. 351-375.

Article
Resource Bisimilarity in Petri Nets is Decidable

Lomazova I. A., Vladimir A. Bashkin, Jančar P.

Fundamenta Informaticae. 2022. Vol. 186. No. 1-4. P. 175-194.

Article
Борис Абрамович Трахтенброт (к столетию со дня рождения)

Артемов С. Н., Барздинь Я. М., Бокуть Л. А. и др.

Успехи математических наук. 2022. Т. 77. № 1(463). С. 191-195.

Article
Method of Performance Analysis of Time-Critical Applications Using DB-Nets

Rigin A., Shershakov Sergey Andreevich.

Proceedings of the Institute for System Programming of the RAS. 2021. Vol. 33. No. 3. P. 109-122.

About the Lab

The laboratory was founded in January 2013 under the scientific supervision of Professor Wil van der Aalst, one of the world's leading computer scientists and the most influential researchers in fields such as business process management and process analysis (Process Mining).


Illustration for news: Pursuing a PhD in Russia: ‘Attractive and Exotic’

Pursuing a PhD in Russia: ‘Attractive and Exotic’

After getting his Master’s degree in Computer Science in Rome, Julio Carrasquel decided not to pursue a corporate career in IT, but to move to Moscow to get a PhD at HSE University. As a result, he received a scholarship on the Advanced Doctoral Programme, successfully defended his thesis, and was named one of the university’s Best Teachers. Julio talked with the HSE News Service about his path in academia and life in Russia.After getting his Master’s degree in Computer Science in Rome, Julio Carrasquel decided not to pursue a corporate career in IT, but to move to Moscow to get a PhD at HSE University. As a result, he received a scholarship on the Advanced Doctoral Programme, successfully defended his thesis, and was named one of the university’s Best Teachers. Julio talked with the HSE News Service about his path in academia and life in Russia.

Illustration for news: HSE University and Sberbank Sign Cooperation Agreement

HSE University and Sberbank Sign Cooperation Agreement

HSE University and Sberbank have entered into a cooperation agreement. The document was signed by Herman Gref, CEO and Chairman of the Executive Board of Sberbank, and HSE University Rector Nikita Anisimov. The agreement is aimed at the implementation of shared educational, research, career-guidance, awareness-raising, and informational projects.