Home » Team publications


Publications  for  the  collection  HAL LS2N-TASC  for  2018

Total of the publications found : 15

Overview of LS2N-TASC publications by types
ART_INT
COMM_INT
COMM_NAT
OUV
THESE
AUTRES
452112

International journals with reviewing committee (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-01980485v1
    • [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-01685567v1
    • [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-01762716v1
    • [4] A. Bart, B. Delahaye, 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-01917092v1

International conferences with reviewing committee (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-01686802v1
    • [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-01923740v1
    • [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-01923767v1
    • [8] 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-01882896v1
    • [9] 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.In John Hooker (éds.), . Springer International Publishing, 2018.
      https://hal.science/hal-01885769v1

National conferences with reviewing committee (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-02715061v1
    • [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-02715060v1

Books - books sections - directions of work or proceedings (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-01436119v1

PhD Thesis (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-01962957v1

Other 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-01374721v1
    • [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-01956087v1
Copyright : LS2N 2017 - Legal notices - 
 -