Learning Boolean Controls in Regulated Metabolic Networks: A Case-Study. - Kerian Thuillier; Caroline Baroukh; Alexander Bockmayr; Ludovic Cottret; Loïc Paulevé; Anne Siegel (CMSB, 2021)

MERRIN: MEtabolic regulation rule INference from time series data. - Kerian Thuillier; Caroline Baroukh; Alexander Bockmayr; Ludovic Cottret; Loïc Paulevé; Anne Siegel (Bioinform., 2022)

CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems. - Kerian Thuillier; Anne Siegel; Loïc Paulevé (AAAI, 2024)

Hybrid satisfiability methods for the inference of boolean regulations controlling metabolic networks. (Méthodes de satisfiabilité hybrides pour l'inférence de régulations booléennes contrôlant des réseaux métaboliques). - Kerian Thuillier (2024)