Maria V. Andreeva E-mail mary@iis.nsk.su Organization A.P. Ershov Institute of Informatics Systems SB RAS — junior researcher
Andreeva M. Action refinement and equivalence notions for timed event structures // Computer Science. — 2006. — # 24 — P. 1-25
Andreeva M., Il'in V., Itskovich E. Two solvers for non-symmetric SLAEs // Numerical Analysis. — 2003. — # 12 — P. 1-12
Andreeva M., Virbitskaite I. Concurrent testing for timed event structures // Computer Science. — 2002. — # 18 — P. 1-14