VersionClimber: version upgrades without tears
Christophe Pradal
,
Sarah Cohen-Boulakia
,
Patrick Valduriez
,
Dennis Shasha
Journal articles
hal-02262591v1
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
A kinetic metabolic study of lipid production in Chlorella protothecoides under heterotrophic condition
Xiaojie Ren
,
Jean-Sébastien Deschênes
,
Réjean Tremblay
,
Sabine Pérès
,
Mario Jolicœur
Journal articles
hal-02531282v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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⟩
Conference papers
hal-02276921v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Reliability-Aware and Graph-Based Approach for Rank Aggregation of Biological Data
Pierre Andrieu
,
Bryan Brancotte
,
Laurent Bulteau
,
Sarah Cohen-Boulakia
,
Alain Denise
,
et al.
Conference papers
hal-02527738v1
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
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
NGPhylogeny.fr: new generation phylogenetic services for non-specialists
Frédéric Lemoine
,
Damien Correia
,
Vincent Lefort
,
Olivia Doppelt-Azeroual
,
Fabien Mareuil
,
et al.
Journal articles
hal-02341225v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Metabolic therapies inhibit tumor growth in vivo and in silico
Jorgelindo da Veiga Moreira
,
Minoo Hamraz
,
Mohammad Abolhassani
,
Laurent H Schwartz
,
Mario Jolicœur
,
et al.
Journal articles
hal-02392935v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Creating Artificial Human Genomes Using Generative Models
Burak Yelmen
,
Aurelien Decelle
,
Linda Ongaro
,
Davide Marnetto
,
Francesco Montinaro
,
et al.
2019
Preprints, Working Papers, ...
hal-02413942v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Inference of population genetic structure from temporal samples of DNA
Olivier François
,
Séverine Liégeois
,
Benjamin Demaille
,
Flora Jay
2019
Preprints, Working Papers, ...
hal-02413974v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More