Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-TASC  pour  2018

Nombre de publications retournées : 15

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

Revues internationales avec comité de lecture (ART_INT)

    • [1] D. Cortés-Borda, E. Wimmer, B. Gouilleux, E. Barré, N. Oger, L. Goulamaly, L. Peault, B. Charrier, C. Truchet, P. Giraudeau, M. Rodriguez-Zubiri, E. Le Grognec, F. Felpin. An Autonomous Self-Optimizing Flow Reactor for the Synthesis of Natural Product Carpanone. In Journal of Organic Chemistry ; éd. American Chemical Society, 2018, vol. 83, num. 23.
      https://hal.science/hal-01980485
    • [2] E. Arafailova, N. Beldiceanu, H. Simonis. Deriving generic bounds for time-series constraints based on regular expressions characteristics. In Constraints ; éd. Springer Verlag, 2018, vol. 23, num. 1.
      https://inria.hal.science/hal-01685567
    • [3] Z. Al-Shara, F. Alvares, H. Bruneliere, J. Lejeune, C. Prud'Homme, T. Ledoux. CoMe4ACloud: An End-to-End Framework for Autonomic Cloud Systems. In Future Generation Computer Systems ; éd. Elsevier, 2018, vol. 86.
      https://hal.science/hal-01762716
    • [4] A. Bart, B. Delahaye, P. Fournier, D. Lime, E. Monfroy, C. Truchet. Reachability in parametric Interval Markov Chains using constraints. In Theoretical Computer Science ; éd. Elsevier, 2018, vol. 747.
      https://hal.science/hal-01917092

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

    • [5] T. Petit, A. Trapp. Solution Engineering " : génération et classification de solutions enrichies par des vecteurs de qualité. In ROADEF 2018, 19e congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision, février 2018, Lorient, France.
      https://hal.science/hal-01686802
    • [6] A. Godet, X. Lorca, G. Simonin. Deriving filtering algorithms from dedicated algorithms: zoom on the Bin Packing problem. In CP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming : Doctoral Program Proceedings, août 2018, Lille, France.
      https://imt-mines-albi.hal.science/hal-01923740
    • [7] G. Lo Bianco, C. Truchet, X. Lorca, V. Ravelomanana. A Probabilistic Model to Count Solutions on the alldifferent Constraint. In CP 2018 - The 24th International Conference on Principles and Practice of Constraints Programming, août 2018, Lille, France.
      https://imt-mines-albi.hal.science/hal-01923767
    • [8] G. Ziat, M. Pelleau, C. Truchet, A. Miné. Finding solutions by finding inconsistencies. In CP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, août 2018, Lille, France.
      https://hal.science/hal-01885769
    • [9] G. Madi Wamba, N. Beldiceanu. CP-based cloud workload annotation as a preprocessing for anomaly detection using deep neural networks. In ITISE 2018 - International Conference onTime Series and Forecasting, septembre 2018, Granada, Espagne.
      https://hal.science/hal-01882896

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

    • [10] N. Galvez Ramirez, E. Monfroy, F. Saubion, C. Castro. Generation and Optimization of SMT Strategies. In Workshop on Optimization and Learning: Challenges and Applications - OLA, 2018, Alicante, Espagne.
      https://univ-angers.hal.science/hal-02715061
    • [11] N. Galvez Ramirez, E. Monfroy, F. Saubion, C. Castro. Optimizing SMT Solving Strategies by Learning with an Evolutionary Process. In International Conference on High Performance Computing & Simulation : Pacos 2018, 2018, Orléans, France.
      https://univ-angers.hal.science/hal-02715060

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

    • [12] A. Reyes Amaro, E. Monfroy, F. Richoux. POSL: A Parallel-Oriented metaheuristic-based Solver Language. In Recent Developments of Metaheuristics. 2018
      https://hal.science/hal-01436119

Theses et HDR (THESE)

    • [13] E. Arafailova. Functional description of sequence constraints and synthesis of combinatorial objects. Thèses : Ecole nationale supérieure Mines-Télécom Atlantique.
      https://theses.hal.science/tel-01962957

Autres publications (AUTRES)

    • [14] E. Arafailova, N. Beldiceanu, R. Douence, M. Carlsson, P. Flener, J. Pearson, M. Francisco Rodríguez, H. Simonis. Global Constraint Catalog, Volume II, Time-Series Constraints. Rapport technique, 2018 ; IMT Atlantique.
      https://inria.hal.science/hal-01374721
    • [15] C. Barillot, I. Fijalkow, I. Queinnec, F. Theoleyre, H. Touzet, M. Beaudouin-Lafon, M. Cani, F. Chaumette, G. Conreur, V. Cortier, C. Gavoille, G. Gogniat, J. Gossa, A. Herzig, J. Krivine, P. Lamarre, F. Lamnabhi-Lagarrigue, A. Letournel, L. Seinturier, I. Tellier, S. Torres, C. Truchet, A. Tsoukias, M. Verleysen. Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I). Rapport technique, 2018 ; CNRS.
      https://hal.science/hal-01956087
Copyright : LS2N 2017 - Mentions Légales - 
 -