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".
14 September
2015
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.
7 September
2015
12