English Doron A. Peled Cited by user Uw0v5033 on 21 Dec 2020 In 2006 Doron returned to Israel and joined Bar-Ilan University as a professor of computer science.
French Réduction par ordre partiel Cited by user Fschwarzentruber on 20 Dec 2018 En informatique, la réduction par ordre partiel est une technique pour éviter l'explosion d'états en vérification de modèles, en planification automatique.
English Partial order reduction Cited by user Aronisstav on 25 Jun 2018 In computer science, partial order reduction is a technique for reducing the size of the state-space to be searched by a model checking or Automated planning and…