2020 Ivannikov Memorial Workshopсборник

Статьи, опубликованные в сборнике

---

• • 2020 A State-based Refinement Technique for Event-B
  • Khoroshilov Alexey, Kuliamin Victor, Petrenko Alexander K., Schepetkov Ilya
  • в сборнике 2020 Ivannikov Memorial Workshop
• 
  • 2020 High Energy Physics Data Popularity : ATLAS Datasets Popularity Case Study
  • Grigorieva Maria, Tretyakov Eugeny, Klimentov Alexei, Golubkov Dmitry, Korchuganova Tatiana, Alekseev Aleksandr, Artamonov Alexey, Galkin Timofei
  • в сборнике 2020 Ivannikov Memorial Workshop, с. 22-28 DOI
• 
  • 2020 Three-step Algorithms for Detection of High Degree Nodes in Online Social Networks
  • Shaikhelislamov D., Drobyshevskiy M., Turdakov D., Yatskov A., Varlamov M., Aivazov D.
  • в сборнике 2020 Ivannikov Memorial Workshop, с. 43-48 DOI
• • 2020 Verifying Cryptographic Protocols by Tamarin Prover
  • Vinarskii Evgenii, Demakov Alexey, Kamkin Alexander, Yevtushenko Nina
  • в сборнике 2020 Ivannikov Memorial Workshop, с. 75-81