 | Monter d'un niveau |
Ahmed, H., Pierre, S., & Quintero, A. (novembre 2013). Network based mobility management protocol for ethernet passive optical networks [Communication écrite]. ACM international symposium on Design and analysis of intelligent vehicular networks and applications (DIVANet '13), Barcelona Spain. Lien externe
Aly, M., & Quintero, A. (juillet 2013). A presence-based architecture for a gateway to integrate vehicular Ad-hoc networks (VANETs), IP multimedia subsystems (IMS) and wireless sensor networks (WSNs) [Communication écrite]. 9th International Wireless Communications and Mobile Computing Conference (IWCMC 2013), Cagliari, Sardinia, Italy. Lien externe
Randolph, A., Boucheneb, H., Imine, A., & Quintero, A. (août 2012). On consistency of operational transformation approach [Communication écrite]. 14th International Workshop on Verification of Infinite-State Systems (INFINITY 2012), Paris, France. Publié dans Electronic Proceedings in Theoretical Computer Science (EPTCS), 107. Lien externe
Randolph, A., Imine, A., Boucheneb, H., & Quintero, A. (septembre 2013). Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors [Communication écrite]. 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013), Madrid, Spain. Lien externe
