We use cookies in order to improve the quality and usability of the HSE website. More information about the use of cookies is available here, and the regulations on processing personal data can be found here. By continuing to use the site, you hereby confirm that you have been informed of the use of cookies by the HSE website and agree with our rules for processing personal data. You may disable cookies in your browser settings.

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

Research & Expertise

PAIS Lab seminar: Equivalence checking problem for finite state transducers // Vladimir Zakharov

At the session of our seminar,  Vladimir Zakharov (Lead research fellow of the PAIS Lab) delivered a report "Equivalence checking problem for finite state transducers".

Performance at the international conference «Business Process Management»

At the international conference "Business Process Management" (Innsbruck, Austria, 2015, rank A) an intern researcher from PAIS Lab Ivanov S. Y. presented his bachelor thesis "BPMNDiffViz: A Tool for BPMN Models Comparison" devoted to the comparison of models of business processes. This work was supported by RFBR grant 15-37-21103.


12