Accéder directement au contenu

Loïc Paulevé

12
Documents
Identifiants chercheurs

Présentation

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

Publications

51808
Image document

Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis

 Loïc Paulevé
Peer Community Journal, 2023, 3 (e30), ⟨10.24072/pcjournal.255⟩
Article dans une revue hal-03745553v2
Image document

MERRIN: MEtabolic Regulation Rule INference from time series data

 Kerian Thuillier , Caroline Baroukh , Alexander Bockmayr , Ludovic Cottret , Loïc Paulevé
Bioinformatics, 2022, 38 (Supplement_2), pp.ii127-ii133. ⟨10.1093/bioinformatics/btac479⟩
Article dans une revue hal-03701755v2
Image document

Prédire le comportement des cellules avec la modélisation booléenne

 Loïc Paulevé
Interstices, 2021
Article dans une revue hal-03206126v1
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

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets

 Giann Karlo Aguirre-Samboní , Stefan Haar , Loïc Paulevé , Stefan Schwoon , Nick Würdemann
GandALF 2022 - Games, Automata, Logics, and Formal Verification, Sep 2022, Madrid, Spain. ⟨10.4204/EPTCS.370.12⟩
Communication dans un congrès hal-03773855v1
Image document

Variable-Depth Simulation of Most Permissive Boolean Networks

 Théo Roncalli , Loïc Paulevé
20th International Conference on Computational Methods in Systems Biology (CMSB 2022), 2022, Bucharest, Romania. ⟨10.1007/978-3-031-15034-0_7⟩
Communication dans un congrès hal-03704761v1
Image document

Non-deterministic updates of Boolean networks

 Loïc Paulevé , Sylvain Sené
27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021), 2021, Marseille, France. pp.10:1--10:16, ⟨10.4230/OASIcs.AUTOMATA.2021.10⟩
Communication dans un congrès hal-03210805v2
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

Boolean networks and their dynamics: the impact of updates

 Loïc Paulevé , Sylvain Sené
Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools, Wiley, 2022, 978-1-119-71658-7
Chapitre d'ouvrage hal-03736899v1

Réseaux booléens : formalisme, sémantiques, et complexité

 Loïc Paulevé
Cédric Lhoussaine; Élisabeth Remy. Approches symboliques de la modélisation et de l'analyse des systèmes biologiques, ISTE Editions, 2022, 9781789490299
Chapitre d'ouvrage hal-03612593v1

Computational Complexity of Minimal Trap Spaces in Boolean Networks

 Kyungduk Moon , Kangbok Lee , Loïc Paulevé
2023
Pré-publication, Document de travail hal-04309014v1
Image document

scBoolSeq: Linking scRNA-Seq Statistics and Boolean Dynamics

 Gustavo Magaña López , Laurence Calzone , Andrei Zinovyev , Loïc Paulevé
2023
Pré-publication, Document de travail hal-04294917v1