2 citations · 2 across the 2 of their papers we have counts for
2 papers
quant-ph2025
Success probability in Shor's Algorithm
Ali Abbassi, Lionel Bayle
This paper aims to determine the exact success probability at each step of Shor's algorithm. Although the literature usually provides a lower bound on this probability, we present…
cs.SE2019★ 2 cited
Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB
Ali Abbassi, Nancy A. Day, Derek Rayside
We present a variety of translation options for converting Alloy to SMT-LIB via Alloy's Kodkod interface. Our translations, which are implemented in a library that we call Astra, a…