Mariya S. Ushakova

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 2

Top Topics

Control Structures

Dynamically Changing

Recursive Programs

Top Venues

Autom. Control. Comput. Sci.

Publications

Alexander Ivanovich Legalov, Ivan V. Matkovskii, Mariya S. Ushakova, Darya S. Romanova
Dynamically Changing Parallelism with Asynchronous Sequential Data Flows. Autom. Control. Comput. Sci. 55 (7) (2021)
Mariya S. Ushakova, Alexander I. Legalov
Verification of Programs with Mutual Recursion in Pifagor Language. Autom. Control. Comput. Sci. 52 (7) (2018)