| |
| 2007 | ||
|---|---|---|
| 3 | EE | Rimma I. Podlovchenko, Dmitry M. Rusakov: Inclusion problem in algebraic models of programs with constants. Programming and Computer Software 33(3): 121-131 (2007) |
| 2005 | ||
| 2 | EE | Rimma I. Podlovchenko, Dmitry M. Rusakov, Vladimir A. Zakharov: On the Equivalence Problem for Programs with Mode Switching. CIAA 2005: 351-352 |
| 1 | EE | Rimma I. Podlovchenko, Dmitry M. Rusakov: Program Schemes with Constants. Programming and Computer Software 31(3): 113-122 (2005) |
| 1 | Rimma I. Podlovchenko | [1] [2] [3] |
| 2 | Vladimir A. Zakharov | [2] |