Ushakova Mariya Sergeevna

Publications in Math-Net.Ru

1. Dynamically changing parallelism with the asynchronous sequential data flows
   
   Model. Anal. Inform. Sist., 27:2 (2020),  164–179
2. Verification of programs with mutual recursion in the Pifagor language
   
   Model. Anal. Inform. Sist., 25:4 (2018),  358–381
3. Support tools for creation and transformation of functional-dataflow parallel programs
   
   Proceedings of ISP RAS, 29:5 (2017),  165–184
4. Automation of formal verification of programs in the Pifagor language
   
   Model. Anal. Inform. Sist., 22:4 (2015),  578–589
5. 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