Tsarev F. N., Shalyto A. A. O postroenii avtomatov s minimalnym chislom sostoyanii dlya zadachi ob "umnom murave" //Sbornik dokladov X mezhdunarodnoi konferentsii po myagkim
vychisleniyam i izmereniyam. SPbGETU "LETI". T. 2, 2007, s. 88–91.
A. A. Sergushichev, A. V. Alexandrov, S. V. Kazakov, F. N. Tsarev, A. A. Shalyto, “Combining de Bruijn graphs, overlap graphs and microassembly for de novo genome assembly”, Izv. Saratov Univ. Math. Mech. Inform., 13:2(2) (2013), 51–57
K. V. Egorov, F. N. Tsarev, A. A. Shalyto, “Application of genetic programming and model checking for finite-state machine induction”, Tr. SPIIRAN, 15 (2010), 123–135