Mariya S. Ushakova

According to our database, Mariya S. Ushakova authored at least 2 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Dynamically Changing Parallelism with Asynchronous Sequential Data Flows.

Alexander Ivanovich Legalov, Ivan V. Matkovskii, Mariya S. Ushakova, Darya S. Romanova

Autom. Control. Comput. Sci., 2021

2018

Verification of Programs with Mutual Recursion in Pifagor Language.

Mariya S. Ushakova, Alexander I. Legalov

Autom. Control. Comput. Sci., 2018