1.
Построение и анализ вычислительных алгоритмов
М.: Мир, 1979
2.
Основы теории чисел
Изд.8-е, испр. М.: Наука, 1972
3.
Вычислительные машины и труднорешаемые задачи
М.: Мир, 1982
4.
Квантовые вычисления: алгоритмы и исправление ошибок
УМН, номер6, 1997
5.
Математическая логика
М.: Мир, 1973
6.
Введение в метаматематику
М.: ИЛ, 1957
7.
Искусство программирования на ЭВМ. В 3т
М.: Мир, 1977
8.
Линейная алгебра и геометрия
М.: Наука, 1986
9.
Теория кодов, исправляющих ошибки
М.: Связь, 1979
10.
Алгоритмы и рекурсивные функции
М.: Наука, 1965
11.
Комбинаторная оптимизация. Алгоритмы и сложность
М.: Мир, 1985
12.
Задачи и теоремы линейной алгебры
М.: Наука. Физматлит, 1996
13.
Теория рекурсивных функций и эффективная вычислимость
М.: Мир, 1972
14.
Теория линейного и целочисленного программирования. В 2т
М.: Мир, 1991
15.
Основные понятия алгебры // Алгебра-1. Итоги науки и техники
М.: ВИНИТИ, 1986
16.
Математическая логика
М.: Наука, 1975
17.
Степени неразрешимости
М.: Наука, 1977
18.
Вероятностные методы в комбинаторике
М.: Мир, 1976
21.
Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channel
Phys. Rev. Lett. Vol. 70, 1993. P. 1895-1899
22.
Phys. Rev. Vol. A 54, 1996. P. 3824-3851
23.
Quantum Cryptoanalysis of Hidden Linear Functions
Proceedings of Advances in Cryptology - CRYPTO-95, Lecture Notes in Computer Science. Vol. 963. Springer-Verlag, 1995. P. 424-437
24.
The Complexity of Finite Functions // Handbook of Theoretical Computer Science
Volume A, Algorithms and Complexity, Ch. 14. J. van Leeuwen, ed., Amsterdam et al.: Elsevier / Cambridge, MA: MIT Press, 1990. P. 757-804
25.
Phys. Rev. Vol. A 54, 1996. P. 1098-1106
26.
Phys. Rev. Lett. Vol. 78, 1997. P. 405-408
27.
Quantum theory, the Church-Turing principle and the universal quantum computer
Proc. R. Soc. Lond. Vol. A 400, 1985. P. 97
28.
Quantum computational networks
Proc. Roy. Soc. Lond. Vol. A 425,1989. P. 73
29.
Quantum mechanical computers
Optics News, February 1985. Vol. 11. P. 11
30.
Are there interactive protocols for Co-NP-languages
Inf. Proc. Letters. Vol. 28, 1988. P. 249-251
31.
A fast quantum mechanical algorithm for database search
STOC'28, 1996. P. 212-219
35.
BPP and the polynomial hierarchy
Inf. Proc. Lett. Vol. 17, no. 4, 1983. P. 215-217
36.
IP=PSPACE
Journal of the ACM, Vol. 39, no 4, 1992. P. 869-877
37.
IP=PSPACE: simplified proof
Journal of the ACM, Vol. 39, no 4, 1992. P. 878-880
38.
Algorithms for Quantum Computation: Discrete log and Factoring
FOCS'35, 1994. P. 124
39.
SIAM Journal of Computing. Vol. 26, 1997. P. 1484
40.
Scheme for reducing decoherence in quantum memory
Phys. Rev. Vol. A 52, 1995. P. 2493-2496
42.
On the Power of Quantum Computation
FOCS'35, 1994. P. 116-123
43.
Introduction to the Theory of Computation
Boston: PWS Publishing Company, 1997
44.
Proc. Roy. Soc. Lond. Vol. A 452, 1996. P. 2551
47.
Quantum circuit complexity
FOCS'34, 1993. P. 352