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

Seminar on 'Event Log Visualisation with Conditional Partial Order Graphs: From Control Flow to Data'

Andrey Mokhov, lecturer in computer engineering at Newcastle University delivered a report on 'Event Log Visualisation with Conditional Partial Order Graphs' during a PAIS seminar.

Students of the Faculty of Computer Science Delivered Reports at PAIS Lab Seminar

The following speakers presented their reports at PAIS Seminar: Rinat Yusupov (Mining causal relations on events from logs), Yana Manukhina (Process mining approach to user interface design), Maxim Savitsky (Performance analysis using software process mining), Alexander Yugov (Discovering service oriented architecture antipatterns using process mining).

Honorary Lecture 'Data Science: The Science of Big Data' by Wil van der Aalst

On May 28 HSE Honorary Professor, Professor at the Technical University of Eindhoven, Wil van der Aalst delivers a lecture on 'Data Science: The Science of Big Data'.

Seminar on 'Verification of Multi-Agent System Models via Nested Petri Net Unfoldings'

Vera Ermakova, HSE master's student presented the report 'Verification of Multi-Agent System Models via Nested Petri Net Unfoldings' at PAIS seminar.

Seminar 'On Place Invariants of Nested Petri Nets'

Leonid Dworzanski, Senior Lecturer at the School of Software Engineering delivered the report 'On Place Invariants of Nested Petri Nets'.

PAIS Lab Seminar: Comparing business models using graph-edit distance // S. Ivanov

At the session of our seminar Sergey Ivanov (research assistant at PAIS Lab, 4-year student at CSF of HSE) succesfully presented the talk on subject: Comparing business models using graph-edit distance.

PAIS Lab Seminar: Eugeny Mistyukov and Ivan Shugurov

At the session of PAIS Lab seminar were presented two talks by the research assistants of the Lab.
Talk by E. Mistyukov - Log-based transition system recovery.
Talk of I. Shugurov - GENA: Generator of artificial event logs. Current state of work.

PAIS Lab Seminar: research assistants Antonina Begicheva and Natalia Nikitina

Two talks from the research assistants of PAIS Lab.
Antonina Begicheva: Conformance checking algorithms for Petri nets. Natalia Nikitina: Petri net 2D-Layout Algorithms.