RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Legalov, Aleksandr Ivanovich

Statistics Math-Net.Ru
Total publications: 9
Scientific articles: 9

Number of views:
This page:99
Abstract pages:1059
Full texts:442
References:153
Professor
Doctor of technical sciences
E-mail:

http://www.mathnet.ru/eng/person79129
List of publications on Google Scholar
List of publications on ZentralBlatt
http://orcid.org/0000-0002-5487-0699

Publications in Math-Net.Ru
2018
1. M. S. Ushakova, A. I. Legalov, “Verification of programs with mutual recursion in the Pifagor language”, Model. Anal. Inform. Sist., 25:4 (2018),  358–381  mathnet  elib
2. V. S. Vasilyev, A. I. Legalov, “Loop-invariant optimization in the Pifagor language”, Model. Anal. Inform. Sist., 25:4 (2018),  347–357  mathnet  elib
2017
3. A. I. Legalov, V. S. Vasilyev, I. V. Matkovskii, M. S. Ushakova, “Support tools for creation and transformation of functional-dataflow parallel programs”, Proceedings of ISP RAS, 29:5 (2017),  165–184  mathnet  elib
2015
4. M. S. Ushakova, A. I. Legalov, “Automation of formal verification of programs in the Pifagor language”, Model. Anal. Inform. Sist., 22:4 (2015),  578–589  mathnet  mathscinet  elib
5. M. S. Ushakova, A. I. Legalov, “A toolkit for supporting formal verification of programs in the functional data-flow parallel programming language”, Vestn. YuUrGU. Ser. Vych. Matem. Inform., 4:2 (2015),  58–70  mathnet  elib
2014
6. A. I. Legalov, M. A. Farkov, “Application of numerical optimization methods to perform molecular docking on graphics processing units”, Model. Anal. Inform. Sist., 21:5 (2014),  93–101  mathnet
7. D. A. Nedorezov, A. I. Legalov, O. V. Nepomnjashhij, S. S. Krasnenko, A. V. Ankudinov, “Mutation test metodology for onboard spacecrafts radioelectronic equipment ground test”, Sistemy i Sredstva Inform., 24:1 (2014),  73–79  mathnet  elib
2012
8. M. S. Kropacheva, A. I. Legalov, “Formal Verification of Programs in Functional Dataflow Parallel Language”, Model. Anal. Inform. Sist., 19:5 (2012),  81–99  mathnet
9. A. I. Legalov, O. V. Nepomnyaschy, I. V. Matkovsky, M. S. Kropacheva, “Tail Recursion Transformation in Functional Dataflow Parallel Programs”, Model. Anal. Inform. Sist., 19:4 (2012),  48–58  mathnet

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020