Kerian Thuillier

According to our database1, Kerian Thuillier authored at least 4 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2021
2022
2023
2024
0
1
2
3
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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).
PhD thesis, 2024

CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2022
MERRIN: MEtabolic regulation rule INference from time series data.
Bioinform., 2022

2021
Learning Boolean Controls in Regulated Metabolic Networks: A Case-Study.
Proceedings of the Computational Methods in Systems Biology, 2021


  Loading...