Modeling and predicting behavioral dynamics on the web. - Kira Radinsky; Krysta M. Svore; Susan T. Dumais; Jaime Teevan; Alex Bocharov; Eric Horvitz (WWW, 2012)

Asymptotically Optimal Topological Quantum Compiling. - Vadym Kliuchnikov; Alex Bocharov; Krysta M. Svore (CoRR, 2013)

From Reversible Logic Gates to Universal Quantum Bases. - Alex Bocharov; Krysta M. Svore (Bull. EATCS, 2013)

Behavioral dynamics on the web: Learning, modeling, and prediction. - Kira Radinsky; Krysta M. Svore; Susan T. Dumais; Milad Shokouhi; Jaime Teevan; Alex Bocharov; Eric Horvitz (ACM Trans. Inf. Syst., 2013)

Efficient synthesis of probabilistic quantum circuits with fallback. - Alex Bocharov; Martin Roetteler; Krysta M. Svore (CoRR, 2014)

Efficient synthesis of universal Repeat-Until-Success circuits. - Alex Bocharov; Martin Roetteler; Krysta M. Svore (CoRR, 2014)

Improved Quantum Ternary Arithmetics. - Alex Bocharov; Shawn X. Cui; Martin Roetteler; Krysta M. Svore (CoRR, 2015)

A Framework for Approximating Qubit Unitaries. - Vadym Kliuchnikov; Alex Bocharov; Martin Roetteler; Jon Yard (CoRR, 2015)

Factoring with Qutrits: Shor's Algorithm on Ternary and Metaplectic Quantum Architectures. - Alex Bocharov; Martin Roetteler; Krysta M. Svore (CoRR, 2016)

Improved quantum ternary arithmetic. - Alex Bocharov; Shawn X. Cui; Martin Roetteler; Krysta M. Svore (Quantum Inf. Comput., 2016)

Efficient approximation of diagonal unitaries over the Clifford+T basis. - Jonathan Welch; Alex Bocharov; Krysta M. Svore (Quantum Inf. Comput., 2016)

A note on optimality of quantum circuits over metaplectic basis. - Alex Bocharov (Quantum Inf. Comput., 2018)

Predicting human-generated bitstreams using classical and quantum models. - Alex Bocharov; Michael H. Freedman; Eshan Kemp; Martin Roetteler; Krysta M. Svore (CoRR, 2020)