MetaPRL - A Modular Logical Environment. - Jason Hickey; Aleksey Nogin; Robert L. Constable; Brian E. Aydemir; Eli Barzilay; Yegor Bryukhov; Richard Eaton; Adam Granicz; Alexei Kopylov; Christoph Kreitz; Vladimir Krupski; Lori Lorigo; et al. (TPHOLs, 2003)

Challenge response password security using combinatorial group theory. - Gilbert Baumslag; Yegor Bryukhov; Benjamin Fine; Douglas Troeger (Groups Complex. Cryptol., 2010)

Relative importance of predictors: Comparison of Random Forests with Johnson's Relative Weights. - Dimitri Liakhovitski; Yegor Bryukhov; W. Michael Conklin (Model. Assist. Stat. Appl., 2010)