20 citations · 25 across the 6 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
cs.ET2024★ 1 cited
Minimizing the Number of Teleportations in Distributed Quantum Computing Using Alloy
Ali Ebnenasir, Kieran Young
This paper presents a novel approach for minimizing the number of teleportations in Distributed Quantum Computing (DQC) using formal methods. Quantum teleportation plays a major ro…
cs.DM2024
Specifying and Verifying the Convergence Stairs of the Collatz Program
Ali Ebnenasir
This paper presents an algorithmic method that, given a positive integer , generates the -th convergence stair containing all natural numbers from where the Collatz conjectur…
cs.DC2024★ 1 cited
BCM-Broadcast: A Byzantine-Tolerant Causal Broadcast Algorithm for Distributed Mobile Systems
Leila NamvariTazehkand, Saied Pashazadeh, Ali Ebnenasir
This paper presents an algorithm, called BCM-Broadcast, for the implementation of causal broadcast in distributed mobile systems in the presence of Byzantine failures. The BCM-Broa…