Pour une liste indépendante de l'affiliation, consulter DBLP.

• 2026 - (1)

  • Revue internationale à comité de lecture - (1)

    • Verified derivation of a parallel maximum segment sum program based on algorithmic skeletons
      Auteur(s) : Frédéric LOULERGUE, Jordan ISCHARD, Abdelali ED-DBALI
      

      HAL : 5709883

• 2023 - (1)

  • Publications dans les actes d'un congrès international avec comité de lecture - (1)

    • Verified High Performance Computing: the SyDPaCC Approach
      Auteur(s) : Frédéric LOULERGUE, Abdelali ED-DBALI
      

      LNCS - HAL : 4171949

• 2003 - (5)

  • Publications dans les actes d'un congrès international avec comité de lecture - (4)

    • Learning Approximate Consistencies
      Auteur(s) : Thi-bich-hanh DAO, Abdelali ED-DBALI, Arnaud LALLOUET, Andrei LEGTCHENKO
      

      HAL : 144938

    • Finite Domain Constraint Solver Learning
      Auteur(s) : Thi-bich-hanh DAO, Abdelali ED-DBALI, Arnaud LALLOUET, Andrei LEGTCHENKO
      

      HAL : 144947

    • Language, Definition and Optimal Computation of CSP Approximations
      Auteur(s) : Thi-bich-hanh DAO, Abdelali ED-DBALI, Arnaud LALLOUET
      

      HAL : 144941

    • Intermediate (Learned) Consistencies
      Auteur(s) : Thi-bich-hanh DAO, Abdelali ED-DBALI, Arnaud LALLOUET, Andrei LEGTCHENKO
      

      HAL : 85689

  • Publications dans les actes d'un congrès national avec comité de lecture - (1)

    • Apprentissage de solveurs de contraintes sur les domaines finis
      Auteur(s) : Thi-bich-hanh DAO, Abdelali ED-DBALI, Arnaud LALLOUET, Andrei LEGTCHENKO
      

      HAL : 144950