| Inference of Gene Networks from Single Cell Data through Quantified Inductive Logic Programming S Buchet, F Carbone, M Magnin, M Ménager, O Roux The 12th International Conference on Computational Systems-Biology and …, 2021 | 1 | 2021 |
| Bilevel optimization and its bicriteria approximation in computational protein design S Buchet, M Defresne, S De Givry, M Ruffini, T Schiex Société Française de Recherche Opérationnelle et d'Aide à la Décision ROADEF …, 2023 | | 2023 |
| Proving Unreachability in Automata Networks by Mixing Static Analysis and Bounded Model Checking S Buchet, M Magnin, O Roux | | 2023 |
| Vérification formelle et apprentissage logique pour la modélisation qualitative à partir de données single-cell S Buchet École centrale de Nantes, 2022 | | 2022 |
| Bi-Objective Discrete Graphical Model Optimization S Buchet, D Allouche, S de Givry, T Schiex | | |
| PULSATIONS DANS LA GIRAFE LEL Antoine, S BUCHET, D GAUTREAU | | |
