Dmitry M. Rusakov

According to our database, Dmitry M. Rusakov authored at least 4 papers between 2005 and 2007.

Collaborative distances:

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

2007

Scheme inclusion verification algorithm in algebraic model of programs with constants.

Dmitry M. Rusakov

Program. Comput. Softw., 2007

Inclusion problem in algebraic models of programs with constants.

Rimma I. Podlovchenko, Dmitry M. Rusakov

Program. Comput. Softw., 2007

2005

Program Schemes with Constants.

Rimma I. Podlovchenko, Dmitry M. Rusakov

Program. Comput. Softw., 2005

On the Equivalence Problem for Programs with Mode Switching.

Rimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov

Proceedings of the Implementation and Application of Automata, 2005