« TECHNIQUE DE VÉRIFICATION EN TEMPS RÉEL DE CIRCUITS ARITHMÉTIQUES SANS MÉMOIRE BASÉS SUR LES MATHÉMATIQUES VÉDIQUES ». REVUE ROUMAINE DES SCIENCES TECHNIQUES — SÉRIE ÉLECTROTECHNIQUE ET ÉNERGÉTIQUE, vol. 70, nᵒ 4, novembre 2025, p. 519-24, https://doi.org/10.59277/RRST-EE.2025.4.15.