Publicaciones en colaboración con investigadoras/es de Institut Universitaire de France (8)

2017

  1. A distributed leader election algorithm in crash-recovery and omissive systems

    Information Processing Letters, Vol. 118, pp. 100-104

2015

  1. Eventual Leader Election Despite Crash-Recovery and Omission Failures

    Proceedings - 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing, PRDC 2015

2013

  1. Brief announcement: Revisiting dynamic distributed systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Fault-tolerant leader election in mobile dynamic distributed systems

    Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC

2012

  1. Specifying and implementing an eventual leader service for dynamic systems

    International Journal of Web and Grid Services, Vol. 8, Núm. 3, pp. 204-224

2011

  1. Brief announcement: ΔΩ: Specifying an eventual leader service for dynamic systems

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Specifying and implementing an eventual leader service for dynamic systems

    Proceedings - 2011 International Conference on Network-Based Information Systems, NBiS 2011