Towards Quantum Programs Verification: From Quipper Circuits to QPMC. - Linda Anticoli; Carla Piazza; Leonardo Taglialegne; Paolo Zuliani (RC, 2016)

mathtt Entangλ Entang λ e: A Translation Framework from Quipper Programs to Quantum Markov Chains. - Linda Anticoli; Carla Piazza; Leonardo Taglialegne; Paolo Zuliani (InfQ@VALUETOOLS, 2017)

Verifying Quantum Programs: From Quipper to QPMC. - Linda Anticoli; Carla Piazza; Leonardo Taglialegne; Paolo Zuliani (CoRR, 2017)

Quantum Markov Chain Semantics for Quip-E Programs. - Linda Anticoli; Leonardo Taglialegne (CoRR, 2020)