Tree-like resolution complexity of two planar problems. - Dmitry Itsykson; Anna Malova; Vsevolod Oparin; Dmitry Sokolov 001 (CoRR, 2014)

A Concurrency-Optimal Binary Search Tree. - Vitaly Aksenov; Vincent Gramoli; Petr Kuznetsov; Anna Malova; Srivatsan Ravi (Euro-Par, 2017)