Prédire le comportement des cellules avec la modélisation booléenne
Loïc Paulevé
Interstices , 2021
Journal articles
hal-03206126v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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é
Conference papers
hal-02898849v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Identification of Biological Regulatory Networks from Process Hitting models
Maxime Folschette
,
Loïc Paulevé
,
Katsumi Inoue
,
Morgan Magnin
,
Olivier Roux
Journal articles
hal-01094249v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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⟩
Conference papers
hal-02178917v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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⟩
Conference papers
hal-01940174v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming
Louis Fippo Fitime
,
Olivier F. Roux
,
Carito Guziolowski
,
Loïc Paulevé
Journal articles
hal-01566380v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Journées BIOSS-IA 2017
Loïc Paulevé
,
Philippe Dague
2017
Other publications
hal-01666094v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Stochastic simulation of process calculi for biology
Andrew Phillips
,
Matthew R. Lakin
,
Loïc Paulevé
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010 , Aug 2010, Jena, Germany.
⟨10.4204/EPTCS.40.1⟩
Conference papers
hal-00574362v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Coarse-grained brownian dynamics simulation of rule-based models
Michael Klann
,
Loïc Paulevé
,
Tatjana Petrov
,
Heinz Koeppl
The 11th Conference on Computational Methods in Systems Biology (CMSB'13) , Sep 2013, Klosterneuburg, Austria. pp.64-77,
⟨10.1007/978-3-642-40708-6_6⟩
Conference papers
hal-00872963v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
,
et al.
Journal articles
hal-01809081v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface
Loïc Paulevé
Conference papers
hal-01589248v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Can Probabilistic Model Checking Explore Ribo-Nucleic Acid Folding Space?
Stefan Janssen
,
Loïc Paulevé
,
Yann Ponty
,
Balaji Raman
,
Matthias Zytnicki
IWBDA - 4th International Workshop on Bio-Design Automation - 2012 , Jun 2012, San Francisco, United States
Conference papers
hal-00712557v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Cell cycle progression is regulated by intertwined redox oscillators
Jorgelindo da Veiga Moreira
,
Sabine Pérès
,
Jean-Marc Steyaert
,
Erwan Bigan
,
Loïc Paulevé
,
et al.
Journal articles
hal-01158514v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers
Gilles Audemard
,
Loïc Paulevé
,
Laurent Simon
SAT 2020, The 23rd International Conference on Theory and Applications of Satisfiability Testing , 2020, Alghero, Italy. pp.107-113,
⟨10.1007/978-3-030-51825-7_8⟩
Conference papers
hal-02704747v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Algorithms for the Sequential Reprogramming of Boolean Networks
Hugues Mandon
,
Cui Su
,
Jun Pang
,
Soumya Paul
,
Stefan Haar
,
et al.
Journal articles
hal-02113864v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
,
et al.
Journal articles
hal-01897020v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Unfolding of Parametric Boolean Networks
Juraj Kolčák
,
David Šafránek
,
Stefan Haar
,
Loïc Paulevé
7th International Workshop on Static Analysis and Systems Biology (SASB 2016) , Sep 2016, Edimbourg, United Kingdom. pp.67-90,
⟨10.1016/j.entcs.2018.03.009⟩
Conference papers
hal-01354109v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Qualitative dynamics semantics for SBGN process description
Adrien Rougny
,
Christine Froidevaux
,
Laurence Calzone
,
Loïc Paulevé
Journal articles
hal-01332679v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Pint, a static analyzer for dynamics of Automata Networks
Loïc Paulevé
14th International Conference on Computational Methods in Systems Biology (CMSB 2016) , Sep 2016, Cambridge, United Kingdom.
Poster communications
hal-01366730v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
,
et al.
Journal articles
hal-01794294v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Goal-Oriented Reduction of Automata Networks
Loïc Paulevé
14th International Conference on Computational Methods in Systems Biology (CMSB 2016) , Sep 2016, Cambridge, United Kingdom. pp.252-272,
⟨10.1007/978-3-319-45177-0_16⟩
Conference papers
hal-01149118v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A logic programming exploration of metabolic networks to explain microbial community models
Chabname Ghassemi Nedjad
,
Loïc Paulevé
,
Clémence Frioux
GT Bioss 2022 - Journée annuelle du Groupe de Travail sur la Biologie Systémique Symbolique , Nov 2022, Nantes, France
Conference papers
hal-03910483v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
From the Process Hitting to Petri Nets and Back
Loïc Paulevé
,
Morgan Magnin
,
Olivier Roux
2012
Reports
hal-00744807v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework
Loïc Paulevé
,
Morgan Magnin
,
Olivier Roux
Journal articles
hal-00397235v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Marginalized Continuous Time Bayesian Networks for Network Reconstruction from Incomplete Observations
Lukas Studer
,
Loïc Paulevé
,
Christoph Zechner
,
Matthias Reumann
,
Maria Rodriguez Martinez
,
et al.
AAAI Conference on Artificial Intelligence , Feb 2016, Phoenix, Arizona, United States
Conference papers
hal-01305967v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Identification of Bifurcations in Biological Regulatory Networks using Answer-Set Programming
Louis Fippo Fitime
,
Olivier Roux
,
Carito Guziolowski
,
Loïc Paulevé
Constraint-Based Methods for Bioinformatics Workshop , Sep 2016, Toulouse, France
Conference papers
hal-01361350v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
BioSimulators: a central registry of simulation engines and services for recommending specific tools
Bilal Shaikh
,
Lucian Smith
,
Dan Vasilescu
,
Gnaneswara Marupilla
,
Michael Wilson
,
et al.
2022
Preprints, Working Papers, ...
hal-03613651v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Concretizing the Process Hitting into Biological Regulatory Networks
Maxime Folschette
,
Loïc Paulevé
,
Katsumi Inoue
,
Morgan Magnin
,
Olivier Roux
Conference papers
hal-00704569v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Two Qualitative Dynamics Semantics for SBGN Process Description Maps
Adrien Rougny
,
Christine Froidevaux
,
Loïc Paulevé
CMSB'15 , Sep 2015, Nantes, France. 2015
Poster communications
hal-01258943v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks
Juraj Kolčák
,
David Šafránek
,
Stefan Haar
,
Loïc Paulevé
Journal articles
hal-01734805v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More