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

News

PAIS Lab semiar:Business Process Model and Notation (BPMN)

At the session of our seminar, Kirill Samokhvalov and Nikolai Sidiropulo (Master's students at the HSE CS Faculty) delivered a report "Business Process Model and Notation (BPMN)".

PAIS Lab seminar: "Event Structures: Yet Another Process Model"

At the session of our seminar,  Rinat Yusupov (Master's student at the HSE CS Faculty) delivered a report "Event Structures: Yet Another Process Model"

PAIS Lab seminar: Detection of anti-patterns in service-based systems

At the session of our seminar, Alexander Yugov (Master's student at the HSE CS Faculty) delivered a report "Detection of anti-patterns in service-based systems".

Seminar on "Detection of anti-patterns in service-based systems"

Alexander Yugov, student of FCS delivered the report 'Detection of anti-patterns in service-based systems'.

PAIS Lab seminar: Formal grammars after the Cuban missile crisis

At the session of our seminar,  Alexander Okhotin (University of Turku, Finnland) delivered a report "Formal grammars after the Cuban missile crisis"

PAIS Lab seminar: Methods and algorithms for checking adequacy of analytical models of organizational enterprise activities

At the session of our seminar,  Inna Grigoreva (Tyumen State University) delivered a report "Methods and algorithms for checking adequacy of analytical models of organizational enterprise activities".

PAIS Lab seminar: Existing methods of abstracting process models // Antonina Begicheva

At the session of our seminar,  Antonina Begicheva (Research assistant of the PAIS Lab) delivered a report "Existing methods of abstracting process models".

PAIS Lab seminar: Distibuted process mining algorithms / Application of artificial neural networks for time series prediction // Ivan Shugurov, Alexandra Shulman

At the session of our seminar, Ivan Shugurov (Bachelor's student at the HSE CS Faculty) delivered a report " Distibuted process mining algorithms" and Alexandra Shulman (Bachelor's student at the HSE CS Faculty) delivered a perort "Application of artificial neural networks for time series prediction".

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".