3 citations · 3 across the 2 of their papers we have counts for
3 papers
quant-ph2020
Quantum Markov Chain Semantics for Quip-E Programs
Linda Anticoli, Leonardo Taglialegne
In this work we present a mapping from a fragment of the quantum programming language Quipper, called Quip-E, to the semantics of the QPMC model checker, aiming at the automatic ve…
quant-ph2018
Modeling Tripartite Entanglement in Quantum Protocols using Evolving Entangled Hypergraphs
Linda Anticoli, Masoud Gharahi Ghahi
The notion of entanglement is the most well-known nonclassical correlation in quantum mechanics and a fundamental resource in quantum information and computation. This correlation,…
cs.LO2017★ 3 cited
Verifying Quantum Programs: From Quipper to QPMC
Linda Anticoli, Carla Piazza, Leonardo Taglialegne +1
In this paper we present a translation from the quantum programming language Quipper to the QPMC model checker, with the main aim of verifying Quipper programs. Quipper is an embed…