Publications

  • Dmitry Mordvinov and Grigory Fedyukovich
    Verifying Safety of Functional Programs with Rosette/Unbound
  • Mordvinov, Dmitry, and Grigory Fedyukovich
    Synchronizing constrained horn clauses
    LPAR, EPiC Series in Computing. EasyChair,
  • Mordvinov Dmitry, Yurii Litvinov, and Timofey Bryksin
    TRIK studio: Technical introduction
    Open Innovations Association (FRUCT), 2017 20th Conference of. IEEE,
  • Semyon Grigorev, Anastasiya Ragozina
    arXiv,
  • Marina Polubelova, Sergey Bozhko, Semyon Grigorev
    Proceedings of the Institute for System Programming,
  • Anton Podkopaev, Ilya Sergey, Aleksandar Nanevski
    arXiv,
  • Ekaterina Verbitskaia , Semyon Grigorev, Dmitry Avdyukhin
    Perspectives of System Informatics,
  • Marina Polubelova, Semyon Grigorev
    Systems and Means of Informatics,
  • Koznov, D., Luciv, D., Basit, H.A., Lieh, O.E., Smirnov, M.
    Clone detection in reuse of software technical documentation
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9609, pp. 170-185,
  • Lucive, D.V., Koznov, D.V., Basit, H.A., Terekhov, A.N.
    On fuzzy repetitions detection in documentation reuse
    Programming and Computer Software, 42 (4), pp. 216-224,

Sort by: