3 citations · 3 across the 2 of their papers we have counts for
Showing quant-phShow all
2 papers · 1 filter
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,…