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

News

PAIS Lab seminar: Verification on nested Petri nets by means of unfoldings // Vera Ermakova

At the session of our seminar,  Vera Ermakova (Master's student at the HSE CS Faculty) delivered a report "Verification on nested Petri nets by means of unfoldings".

PAIS Lab seminar: Markov chains and their applications // Vladimir Kovtunovskiy

At the session of our seminar, Vladimir Kovtunovskiy (Bachelor's student at the HSE CS Faculty) delivered a report "Markov chains and their applications".

PAIS Lab seminar: Problems and challenges of process mining // Natalia Nikitina

At the session of our seminar,  Natalia Nikitina (Research assistant of the PAIS Lab) delivered a report "Problems and challenges of process mining".

PAIS Lab seminar: User interface analysis by means of process discovery // Yana Manukhina

At the session of our seminar,  Yana Manukhina (Master's student at the HSE CS Faculty) delivered a report "User interface analysis by means of process discovery".

PAIS Lab seminar: Possible applications of using Petri nets compositions by means of morphisms for process mining // Roman Nesterov

At the session of our seminar,  Roman Nesterov (Master's student at the HSE CS Faculty) delivered a report "Possible applications of using Petri nets compositions by means of morphisms for process mining".

PAIS Lab seminar: Transition systems reduction for process mining // Sergey Shershakov

At the session of our seminar,  Sergey Shershakov (Research fellow of the PAIS Lab) delivered a report "Transition systems reduction for process mining".

PAIS Lab seminar: Good and bad process models // Alexey Mitsyuk

At the session of our seminar, Alexey Mitsyuk (Junior research fellow of the PAIS Lab) delivered a report "Good and bad process models".

PAIS Lab seminar: Analysis of information structure and modeling of software development process // Sergey Politsyn

At the session of our seminar, Sergey Politsyn (Lecturer at NRU HSE) delivered a report "Analysis of information structure and modeling of software development process".

PAIS Lab seminar: Synthesis of process models based on event logs of information systems. Language choice // Anna Kalenkova

At the session of our seminar, Anna Kalenkova (Senior research fellow of the PAIS Lab) delivered a report "Synthesis of process models based on event logs of information systems. Language choice".

PAIS Lab seminar: Verification of software-defined networks // Vladimir Podymov

At the session of our seminar, Vladimir Podymov (Research fellow of the PAIS Lab) delivered a report "Verification of software-defined networks".