> Main> Research> Publications
RUSENG

Publications

Year:  
All :: 1999, ... , 2010, 2011, 2012, ... , 2020
Author:  
All :: A, B, C, F, G, H, I, K, L, M, N, P, R, S, T, U, V, W, Z, А, Б, В, Г, Д, Ж, З, И, К, Л, М, Н, П, Р, С, Т, У, Ф, Х, Ц, Ч, Ш, Э 
All :: Samochadin, ... , Semenov, Senichenkov, Shoshmina, ... , Sotnikov 
References

Articles:

Shoshmina, Irina V.
Distributed Embedded Control System Design with Verification Support
Automatic Control and Computer Sciences, 45(7)
2011
ISSN: 0146-4116
Isakov, А.А.; Senichenkov, YU. B.
Program Complex OpenMVL for Modeling Complex Dynamic Systems,
«Дифференциальные уравнения и процессы управления»,, 1:4
2011
Kolesov, Yu.; Senichenkov, Yu.
«Physical modelind» in Model Vision Studium
«Дифференциальные уравнения и процессы управления», 2
2011

Proceedings:

Shoshmina, Irina V.; Belyaev, Alexey B.
Symbolic Algorithm for Generation Büchi Automata from LTL Formulas
In Victor Malyshkin, editor, Volume 6873 of LNCS
Parallel Computing Technologies - 11th International Conference PACT'2011
Kazan
Publisher: Springer,
2011
http://link.springer.com/...007%2F978-3-642-23178-0_9
/~irena/papers/Shoshmina2011.pdf

Contributions to proceedings:

Trifonov, Peter; Semenov, Piotr
Generalized Concatenated Codes Based on Polar Codes
Proceedings of IEEE International Symposium on Wireless Communication Systems
2011
http://dcn.ftk.spbstu.ru/...tert/papers/polar_gcc.pdf
Koznov, D., Chevzova, J., Samochadin, A.; Azarskov, A.
Towards e-government services in Russia
KMIS 2011 - Proceedings of the International Conference on Knowledge Management and Information Sharing
2011
Export as:
BibTeX, XML