23 citations · 50 across the 6 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025
A Denotational Semantics for Quantum Loops
Nicola Assolini, Alessandra Di Pierro
Programming a quantum computer, i.e., implementing quantum algorithms on a quantum processor-based copmputer architecture, is a task that can be addressed (just as for classical co…
quant-ph2025
Securities Transaction Settlement Optimization on superconducting quantum devices
Francesco Martini, Daniele Lizzio Bosco, Carlo Barbanera +7
We describe a quantum variational algorithm for securities transactions settlement optimization, based on a novel mathematical formalization of the problem that includes the most r…