133 citations · 304 across the 9 of their papers we have counts for
Showing 2008Show all
2 papers · 1 filter
quant-ph2008★ 3 cited
Bases in diagrammatic quantum protocols
Bob Coecke, Eric Oliver Paquette, Simon Perdrix
This paper contains two new results: 1. We amend the notion of abstract basis in a dagger symmetric monoidal category, as well as its corresponding graphical representation, in ord…
cs.LO2008★ 48 cited
Quantum entanglement analysis based on abstract interpretation
Simon Perdrix
Entanglement is a non local property of quantum states which has no classical counterpart and plays a decisive role in quantum information theory. Several protocols, like the telep…