Output of Quantum Computing research at the University of Tartu
arXiv:1903.12611Information content of queries in training Parameterized Quantum Circuits
Evgenii Dolzhkov, Bahman Ghandchi, Dirk Oliver Theis arXiv:1903.08357
Quantum Relational Hoare Logic with Expectations
Yangjia Li, Dominique Unruh arXiv:1902.00325
Quantum Hoare Logic with Ghost Variables
Dominique Unruh arXiv:1901.11434 (Frontiers in Physics)
Input Redundancy for Parameterized Quantum Circuits
Javier Gil Vidal, Dirk Oliver Theis arXiv:1812.06323
Calculus on parameterized quantum circuits
Javier Gil Vidal, Dirk Oliver Theis arXiv:1810.10759
Note on (active-)QRAM-style data access as a quantum circuit
Tore Vincent Carstens, Dirk Oliver Theis arXiv:1802.03188
Quantum Relational Hoare Logic
Dominique Unruh
Publications without Preprint
Journal of LuminescenceSpectroscopic evidence of cooperative (entangled) quantum states of Nd3+ ion pairs in Nd3+: LaF3 crystal
Yurii Orlovskii, Helge Gross, Elena Vinogradova, Vadim Boltrushko, Vladimir Hizhnyakov