• 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