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 (International Conference on Computational Science (3), 2005)

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 (e-Science, 2006)

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)

Symbolic Algorithm for Generation Büchi Automata from LTL Formulas. - Irina V. Shoshmina; Alexey B. Belyaev (PaCT, 2011)

Distributed embedded control system design with verification support. - Irina V. Shoshmina (Autom. Control. Comput. Sci., 2011)