| 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 |
| Bi-objective Discrete Graphical Model Optimization S Buchet, D Allouche, S de Givry, T Schiex International Conference on the Integration of Constraint Programming …, 2024 | | 2024 |
| Designing symmetrical multi-component proteins using a hybrid generative AI approach D Dessaux, S Buchet, L Barthe, M Defresne, G Cioci, S de Givry, ... bioRxiv, 2024.06. 13.598662, 2024 | | 2024 |
| 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 |
| PULSATIONS DANS LA GIRAFE LEL Antoine, S BUCHET, D GAUTREAU | | |
