Documentation
Français (FR)

Anglais (EN)

Loïc Paulevé

23

Documents

Identifiants chercheurs

loic-pauleve
0000-0002-7219-2027
Google Scholar : https://scholar.google.fr/citations?user=Lcdry6AAAAAJ
IdRef : 127903690

Présentation

français
anglais

Publications

42261

	Prédire le comportement des cellules avec la modélisation booléenne Loïc Paulevé Interstices, 2021 Article dans une revue hal-03206126v1
	A detailed map of coupled circadian clock and cell cycle with qualitative dynamics validation Adrien Rougny , Loïc Paulevé , Michèle Teboul , Franck Delaunay BMC Bioinformatics, 2021, 22 (1), pp.240. ⟨10.1186/s12859-021-04158-9⟩ Article dans une revue inserm-03228503v1
	Concurrency in Boolean networks Thomas Chatain , Stefan Haar , Juraj Kolčák , Loïc Paulevé , Aalok Thakkar Natural Computing, 2020, 19 (1), pp.91--109. ⟨10.1007/s11047-019-09748-4⟩ Article dans une revue hal-01893106v2
	Reconciling Qualitative, Abstract, and Scalable Modeling of Biological Networks Loïc Paulevé , Juraj Kolčák , Thomas Chatain , Stefan Haar Nature Communications, 2020, 11, ⟨10.1038/s41467-020-18112-5⟩ Article dans une revue hal-02518582v2
	Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks Juraj Kolčák , David Šafránek , Stefan Haar , Loïc Paulevé Theoretical Computer Science, 2019, 765, pp.120-144. ⟨10.1016/j.tcs.2018.03.009⟩ Article dans une revue hal-01734805v1
	Algorithms for the Sequential Reprogramming of Boolean Networks Hugues Mandon , Cui Su , Jun Pang , Soumya Paul , Stefan Haar IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2019, 16 (5), pp.1610-1619. ⟨10.1109/TCBB.2019.2914383⟩ Article dans une revue hal-02113864v1
	Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis Loïc Paulevé IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2018, 15 (4), pp.1167-1179. ⟨10.1109/TCBB.2017.2749225⟩ Article dans une revue hal-01580765v1
	Prediction of Mutations to Control Pathways Enabling Tumour Cell Invasion with the CoLoMoTo Interactive Notebook (Tutorial) Nicolas Levy , Aurélien Naldi , Céline Hernandez , Gautier Stoll , Denis Thieffry Frontiers in Physiology, 2018, 9, pp.787. ⟨10.1101/319780⟩ Article dans une revue hal-01809081v1
	The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks Aurélien Naldi , Céline Hernandez , Nicolas Levy , Gautier Stoll , Pedro Monteiro Frontiers in Physiology, 2018, 9, pp.n°680:1-13. ⟨10.3389/fphys.2018.00680⟩ Article dans une revue hal-01794294v2
	Computational Discovery of Dynamic Cell Line Specific Boolean Networks from Multiplex Time-Course Data Misbah Razzaq , Loïc Paulevé , Anne Siegel , Julio Saez-Rodriguez , Jérémie Bourdon PLoS Computational Biology, 2018, 14, pp.1-23. ⟨10.1371/journal.pcbi.1006538⟩ Article dans une revue hal-01897020v1
	Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming Louis Fippo Fitime , Olivier F. Roux , Carito Guziolowski , Loïc Paulevé Algorithms for Molecular Biology, 2017, 12 (1), pp.19. ⟨10.1186/s13015-017-0110-3⟩ Article dans une revue hal-01566380v1

	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
	Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision Stéphanie Chevalier , Vincent Noël , Laurence Calzone , Andrei Zinovyev , Loïc Paulevé 18th International Conference on Computational Methods in Systems Biology (CMSB), 2020, Online, Germany. pp.193--209, ⟨10.1007/978-3-030-60327-4_11⟩ Communication dans un congrès hal-02898849v2
	Drawing the Line: Basin Boundaries in Safe Petri Nets Stefan Haar , Loïc Paulevé , Stefan Schwoon CMSB 2020 - 18th International Conference on Computational Methods in Systems Biology, Sep 2020, Konstanz / Online, Germany. ⟨10.1007/978-3-030-60327-4_17⟩ Communication dans un congrès hal-02898841v1
	Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming Stéphanie Chevalier , Christine Froidevaux , Loïc Paulevé , Andrei Zinovyev 2019 IEEE 31st International Conference on Tools with Artificial Intelligence (ICTAI), 2019, Portland, Oregon, United States. ⟨10.1109/ICTAI.2019.00014⟩ Communication dans un congrès hal-02276921v2
	Sequential Reprogramming of Boolean Networks Made Practical Hugues Mandon , Cui Su , Stefan Haar , Jun Pang , Loïc Paulevé CMSB 2019 - 17th International Conference on Computational Methods in Systems Biology, Sep 2019, Trieste, France. pp.3--19, ⟨10.1007/978-3-030-31304-3_1⟩ Communication dans un congrès hal-02178917v2
	Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics Stefan Haar , Juraj Kolčák , Loïc Paulevé VMCAI 2019 - 20th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Lisbon, Portugal. pp.555-576, ⟨10.1007/978-3-030-11245-5_26⟩ Communication dans un congrès hal-01940174v1
	Boolean Networks: Beyond Generalized Asynchronicity Thomas Chatain , Stefan Haar , Loïc Paulevé AUTOMATA 2018 - 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, Jun 2018, Ghent, Belgium. pp.29-42, ⟨10.1007/978-3-319-92675-9_3⟩ Communication dans un congrès hal-01768359v2
	Goal-Driven Unfolding of Petri Nets Thomas Chatain , Loïc Paulevé 28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. ⟨10.4230/LIPIcs.CONCUR.2017.14⟩ Communication dans un congrès hal-01392203v2
	Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface Loïc Paulevé CMSB 2017 - 15th conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. pp.370 - 316, ⟨10.1007/978-3-319-67471-1_20⟩ Communication dans un congrès hal-01589248v1
	Temporal Reprogramming of Boolean Networks Hugues Mandon , Stefan Haar , Loïc Paulevé CMSB 2017 - 15th conference on Computational Methods for Systems Biology, Sep 2017, Darmstadt, Germany. pp.179 - 195, ⟨10.1007/978-3-319-67471-1_11⟩ Communication dans un congrès hal-01589251v1

	Analyse statique des réseaux booléens Loïc Paulevé , Adrien Richard Emmanuel Jeandel; Laurent Vigneron. Informatique Mathématique, Une photographie en 2018, CNRS Éditions, pp.157-194, 2018, 978-2-271-11974-2 Chapitre d'ouvrage hal-01753101v1

	Réseaux booléens : méthodes formelles et outils pour la modélisation en biologie Loïc Paulevé Bio-informatique [q-bio.QM]. Université Paris-Saclay, 2020 HDR tel-03150976v1