A. I. Vasenina

According to our database, A. I. Vasenina authored at least 3 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Automatic Inference of Synchronous Regular Invariants.

A. I. Vasenina, Yurii Kostyukov, Dmitry Mordvinov

Program. Comput. Softw., August, 2025

2019

Interactive Near Duplicate Search in Software Documentation.

Dmitry V. Luciv, Dmitrij V. Koznov, A. A. Shelikhovskii, Konstantin Yu. Romanovsky, George A. Chernishev, Andrey N. Terekhov, Dmitry A. Grigoriev, Anna N. Smirnova, D. V. Borovkov, A. I. Vasenina

Program. Comput. Softw., 2019

Interactive Duplicate Search in Software Documentation.

Dmitry V. Luciv, Dmitrij V. Koznov, A. A. Shelikhovskii, Konstantin Yu. Romanovsky, George A. Chernishev, Andrey N. Terekhov, Dmitry A. Grigoriev, Anna N. Smirnova, D. V. Borovkov, A. I. Vasenina

CoRR, 2019