Les publications du Laboratoire

Les publications parues en 2017

Articles dans des revues internationales ou nationales avec comité de lecture répertoriées par l’AERES

  1. Christian Delhommé et Imed Zaguia — Countable linear orders with disjoint infinite intervals are mutually orthogonal, Discrete Mathematics, 2017.
  2. Marianne Morillon — Linear extenders and the Axiom of Choice, Commentationes Mathematicae Universitatis Carolinae, 2017.

Communications avec actes dans un congrès international

  1. Xavier Nicolay, Réhan Noordally, Nour Mohammad Murad et Tahiry Razafindralambo — Where is My Next Hop ? The Case of Indian Ocean Islands, 2017 Global Information Infrastructure and Networking Symposium (GIIS) (GIIS'17), Saint-Pierre, Reunion, octobre 2017.
  2. Réhan Noordally, Yassine Gangat, Arnaud Ravoavahy, Pascal Anelli et Xavier Nicolay — How long delays impact TCP performance for a connectivity from Reunion Island?, Next Generation Computing Applications (NextComp), 2017 1st International Conference on, pp. 103–108, IEEE, juillet 2017.
  3. Tahina Ralitera et Rémy Courdier — Toward Smart Island Simulation Application a Case Study of Reunion Island, 15th International Conference on Practical Applications of Agents and Multi-Agent Systems(PAAMS 2017), pp. 457–469, publication dirigée par Bajo et al, Springer International Publishing, Porto, Portugal, juin 2017.
  4. Tahina Ralitera, Maxime Ferard, Gonzalo Bustos-Turu, Koen H Van Dam et Rémy Courdier — Steps Towards Simulating Smart Cities and Smart Islands with a Shared Generic Framework - A Case Study of London and Reunion Island, 6th International Conference on Smart Cities and Green ICT Systems(SmartGreens 2017), pp. 329–336, publication dirigée par Cornel Klein Markus Helfert et Brian Donnellan, SCITEPRESS – Science and Technology Publications, Lda., Porto, Portugal, avril 2017.
  5. Maurica Fonenantsoa, Frédéric Mesnard et Étienne Payet — Optimal Approximation for Efficient Termination Analysis of Floating-point Loops, Proceedings of the 1st IEEE Conference on Next Generation Computing Applications (NEXTCOMP'17), Pointe aux Piments, Mauritius Island, July 19-21, 2017, IEEE, 2017.
  6. Frédéric Mesnard, Étienne Payet et Germán Vidal — Selective Unification in Constraint Logic Programming, Proceedings of the 19th Principles and Practice of Declarative Programming (PPDP'17), Namur, Belgium, October 9-11, 2017, ACM Press, 2017.