Accéder directement au contenu

Loïc Paulevé

5
Documents
Identifiants chercheurs

Présentation

<https://loicpauleve.name>
<https://loicpauleve.name>

Publications

829224
Image document

CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems

Kerian Thuillier , Anne Siegel , Loïc Paulevé
AAAI 2024 - The 38th Annual AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. pp.1-8
Communication dans un congrès hal-04420454v1
Image document

Learning Boolean controls in regulated metabolic networks: a case-study

Kerian Thuillier , Caroline Baroukh , Alexander Bockmayr , Ludovic Cottret , Loïc Paulevé
CMSB 2021 - 19th International Conference on Computational Methods in Systems Biology, Sep 2021, Bordeaux, France. pp.159-180, ⟨10.1007/978-3-030-85633-5_10⟩
Communication dans un congrès hal-03207589v3
Image document

Boolean Network Identification from Multiplex Time Series Data

Max Ostrowski , Loïc Paulevé , Torsten Schaub , Anne Siegel , Carito Guziolowski
CMSB 2015 - 13th conference on Computational Methods for Systems Biology, Sep 2015, Nantes, France. pp.170-181, ⟨10.1007/978-3-319-23401-4_15⟩
Communication dans un congrès hal-01164751v1