Irina V. Shoshmina

According to our database, Irina V. Shoshmina authored at least 6 papers between 2005 and 2026.

Collaborative distances:

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

2026

VeHa: A Hybrid National Verification Hackathon for Better Formal Methods Education.

Sergey M. Staroletov, Dmitry A. Kondratyev, Vladimir I. Shelekhov, Alexander Kogtenkov, Nikolay V. Shilov, Natalia Olegovna Garanina, Irina V. Shoshmina, Timofey Cherganov, Vasil Dyadov

Proceedings of the Formal Methods Teaching - 7th Formal Methods Teaching Workshop, 2026

2011

Distributed embedded control system design with verification support.

Irina V. Shoshmina

Autom. Control. Comput. Sci., 2011

Symbolic Algorithm for Generation Büchi Automata from LTL Formulas.

Irina V. Shoshmina, Alexey B. Belyaev

Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011

2010

Grid-Technology for Chemical Reactions Calculation.

Gabriel G. Balint-Kurti, Alexander V. Bogdanov, Ashot Gevorkyan, Yuri E. Gorbachev, Tigran Hakobyan, Gunnar Nyman, Irina V. Shoshmina

Trans. Comput. Sci., 2010

2006

Computational Engineering on the Grid: Crafting a Distributed Virtual Reactor.

Valeria V. Krzhizhanovskaya, Vladimir Korkhov, Alfredo Tirado-Ramos, D. J. Groen, Irina V. Shoshmina, Ilya A. Valuev, Igor V. Morozov, N. V. Malyshkin, Yuri E. Gorbachev, Peter M. A. Sloot

Proceedings of the Second International Conference on e-Science and Grid Technologies (e-Science 2006), 2006

2005

Grid-Technology for Chemical Reactions Calculation.

Gabriel G. Balint-Kurti, Alexander V. Bogdanov, Ashot Gevorkyan, Yuri E. Gorbachev, Tigran Hakobyan, Gunnar Nyman, Irina V. Shoshmina, Elena N. Stankova

Proceedings of the Computational Science, 2005