Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-TASC  pour  2017

Nombre de publications retournées : 19


Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
COMM_NAT
OUV
THESE
AUTRES
2131111


Revues internationales avec comité de lecture (ART_INT)

    • [1] N. Beldiceanu, B. Dumas Feris, P. Gravey, M. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J. Menaud, P. Morel, M. Morvan, M. MOULINARD, A. Orgerie, J. Pazat, O. Roux, A. Sharaiha. Towards energy-proportional Clouds partially powered by renewable energy. In Computing ; éd. Springer Verlag, 2017, vol. 99, num. 1.
      https://hal.inria.fr/hal-01340318

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [4] N. Beldiceanu, M. Carlsson, A. Derrien, C. Prud'Homme, A. Schutt, P. Stuckey. Range-Consistent Forbidden Regions of Allen’s Relations. In CPAIOR 2017 - 14th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, juin 2017, Padoue, Italie.
      https://hal.archives-ouvertes.fr/hal-01686406
    • [5] G. Ziat, M. Pelleau, C. Truchet, A. Miné. Améliorer la propagation : l'Importance d'être Inconsistant. In Treizièmes journées Francophones de Programmation par Contraintes, juin 2017, Montreuil sur Mer, France.
      https://hal.archives-ouvertes.fr/hal-01735167
    • [7] E. Arafailova, N. Beldiceanu, H. Simonis. AMONG Implied Constraints for Two Families of Time-Series Constraints. In The 23rd International Conference on Principles and Practice of Constraint Programming, août 2017, Melbourne, Australie.
      https://hal.inria.fr/hal-01651585
    • [8] E. Arafailova, N. Beldiceanu, H. Simonis. Beyond the Holy Grail - Automatically Generating Constraint Propagators for Conjunctions of Time-Series Constraints. In Workshop on Progress Towards the Holy Grail, août 2017, Melbourne, Australie.
      https://hal.inria.fr/hal-01651610
    • [9] E. Arafailova, N. Beldiceanu, H. Simonis. Generating Linear Invariants for a Conjunction of Automata Constraints. In The 23rd International Conference on Principles and Practice of Constraint Programming, août 2017, Melbourne, Australie.
      https://hal.inria.fr/hal-01651593
    • [10] A. Bart, B. Delahaye, D. Lime, E. Monfroy, C. Truchet. Reachability in Parametric Interval Markov Chains Using Constraints. In 14th International Conference on Quantitative Evaluation of SysTems, septembre 2017, Berlin, Allemagne.
      https://hal.archives-ouvertes.fr/hal-01591036
    • [11] G. Madi Wamba, Y. Li, A. Orgerie, N. Beldiceanu, J. Menaud. Cloud workload prediction and generation models. In SBAC-PAD: International Symposium on Computer Architecture and High Performance Computing, octobre 2017, Campinas, Brésil.
      https://hal.archives-ouvertes.fr/hal-01578354
    • [12] J. Fages, C. Prud'Homme. Making the first solution good!. In ICTAI 2017 29th IEEE International Conference on Tools with Artificial Intelligence, novembre 2017, Boston, MA, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01629182
    • [13] T. Petit. On Constraint Linear Decompositions Using Mathematical Variables. In IEEE ICTAI, IEEE International Conference on Tools with Artificial Intelligence, novembre 2017, Boston, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01686540
    • [14] B. Genc, M. Siala, G. Simonin, B. Sullivan. On the Complexity of Robust Stable Marriage. In COCOA 2017 11th Annual International Conference on Combinatorial Optimization and Applications, décembre 2017, Shanghai, Chine.
      https://hal.archives-ouvertes.fr/hal-01689884

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [16] A. BART, B. Delahaye, E. Monfroy, C. Truchet. Vérification de chaînes de Markov à intervalles paramétrés avec des contraintes. In Treizièmes journées Francophones de Programmation par Contraintes, juin 2017, Montreuil sur Mer, France.
      https://hal.archives-ouvertes.fr/hal-01555755

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

Theses et HDR (THESE)

    • [18] G. Madi Wamba. Combiner la programmation par contraintes et l’apprentissage machine pour construire un modèle éco-énergétique pour petits et moyens data centers. Thèses : Ecole nationale supérieure Mines-Télécom Atlantique.
      https://tel.archives-ouvertes.fr/tel-01665187

Autres publications (AUTRES)

Copyright : LS2N 2017 - Mentions Légales - 
 -