Up a level |
This graph maps the connections between all the collaborators of {}'s publications listed on this page.
Each link represents a collaboration on the same publication. The thickness of the link represents the number of collaborations.
Use the mouse wheel or scroll gestures to zoom into the graph.
You can click on the nodes and links to highlight them and move the nodes by dragging them.
Hold down the "Ctrl" key or the "⌘" key while clicking on the nodes to open the list of this person's publications.
Boucheneb, H., Imine, A., & Najem, M. (2010, October). Symbolic Model-Checking of Optimistic Replication Algorithms [Paper]. 8th International Conference on Integrated Formal Methods (IFM 2010), Nancy, France. External link
Boucheneb, H., & Imine, A. (2009, June). On model-checking optimistic replication algorithms [Paper]. Joint 11th IFIP WG 6.1 International Conference (FMOODS 2009) and 29th IFIP WG 6.1 International Conference (FORTE 2009), Lisboa, Portugal. External link
Randolph, A., Boucheneb, H., Imine, A., & Quintero, A. (2015). On synthesizing a consistent operational transformation approach. IEEE Transactions on Computers, 64(4), 1074-1089. External link
Randolph, A., Imine, A., Boucheneb, H., & Quintero, A. (2014). Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis. Ingénierie des systèmes d'information, 19(6), 9-32. External link
Randolph, A., Boucheneb, H., Imine, A., & Quintero, A. (2012, August). On consistency of operational transformation approach [Paper]. 14th International Workshop on Verification of Infinite-State Systems (INFINITY 2012), Paris, France. Published in Electronic Proceedings in Theoretical Computer Science (EPTCS), 107. External link
Randolph, A., Imine, A., Boucheneb, H., & Quintero, A. (2013, September). Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors [Paper]. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013), Madrid, Spain. External link