On Consistency of Operational Transformation Approach - Aurel Randolph; Hanifa Boucheneb; Abdessamad Imine; Alejandro Quintero (Infinity, 2012)

Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors. - Aurel Randolph; Abdessamad Imine; Hanifa Boucheneb; Alejandro Quintero (FMICS, 2013)

Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis. - Aurel Randolph; Abdessamad Imine; Hanifa Boucheneb; Alejandro Quintero (Ingénierie des Systèmes d Inf., 2014)

On Synthesizing a Consistent Operational Transformation Approach. - Aurel Randolph; Hanifa Boucheneb; Abdessamad Imine; Alejandro Quintero (IEEE Trans. Computers, 2015)