1. Dining philosophers, leader election and ring size problems, in the quantum setting;Aharonov,2017
2. Multiplicative equations over commuting matrices;Babai,1996
3. Principles of Model Checking (Representation and Mind Series);Baier,2008
4. Quantum partially observable Markov decision processes;Barry;Phys. Rev. A,2014
5. Relational proofs for quantum programs;Barthe;Proc. ACM Program. Lang.,2019