Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Linda Anticoli.

Newcastle AuthorsTitleYearFull text
Linda Anticoli
Dr Paolo Zuliani
Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains2017
Linda Anticoli
Dr Paolo Zuliani
Towards Quantum Programs Verification: From Quipper Circuits to QPMC2016