Irina V. Shoshmina

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Publications

Irina V. Shoshmina
Distributed embedded control system design with verification support. Autom. Control. Comput. Sci. 45 (7) (2011)
Irina V. Shoshmina, Alexey B. Belyaev
Symbolic Algorithm for Generation Büchi Automata from LTL Formulas. PaCT (2011)
Gabriel G. Balint-Kurti, Alexander V. Bogdanov, Ashot Gevorkyan, Yuri E. Gorbachev, Tigran Hakobyan, Gunnar Nyman, Irina V. Shoshmina
Grid-Technology for Chemical Reactions Calculation. Trans. Comput. Sci. 7 (2010)
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
Computational Engineering on the Grid: Crafting a Distributed Virtual Reactor. e-Science (2006)
Gabriel G. Balint-Kurti, Alexander V. Bogdanov, Ashot Gevorkyan, Yuri E. Gorbachev, Tigran Hakobyan, Gunnar Nyman, Irina V. Shoshmina, Elena N. Stankova
Grid-Technology for Chemical Reactions Calculation. International Conference on Computational Science (3) (2005)