Documentation
Français (FR)

Anglais (EN)

Loïc Paulevé

10

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

49791

	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
	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
	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
	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

	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
	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