Skip to Main content Skip to Navigation

Search by documents



...
hal-02527738v1  Conference papers
Pierre AndrieuBryan BrancotteLaurent BulteauSarah Cohen-BoulakiaAlain Denise et al.  Reliability-Aware and Graph-Based Approach for Rank Aggregation of Biological Data
2019 15th International Conference on eScience (eScience), Sep 2019, San Diego, France. pp.136-145, ⟨10.1109/eScience.2019.00022⟩
hal-01483433v1  Conference papers
Morterol MartinPhilippe DagueSabine PeresLaurent Simon. Minimality of Metabolic Flux Modes under Boolean Regulation Constraints
12th International Workshop on Constraint-Based Methods for Bioinformatics WCB’16, Sep 2016, Toulouse, France
...
hal-01676712v1  Journal articles
Kevin CayeFlora JayOlivier MichelOlivier François. Fast Inference of Individual Admixture Coefficients Using Geographic Data
Annals of Applied Statistics, Institute of Mathematical Statistics, 2018, 12 (1), pp.586-608. ⟨10.1214/17-AOAS1106⟩
hal-01676892v1  Conference papers
Sabine PeresPhilippe DagueMario JolicœurStefan Schuster. Computing EFMs consistent with equilibrium constants
Metabolic Pathway Analysis MPA 2017, Jul 2017, Bozeman, United States
...
hal-01392203v2  Conference papers
Thomas ChatainLoïc Paulevé. Goal-Driven Unfolding of Petri Nets
28th International Conference on Concurrency Theory (CONCUR 2017), Sep 2017, Berlin, Germany. ⟨10.4230/LIPIcs.CONCUR.2017.14⟩
...
hal-01589248v1  Conference papers
Loïc Paulevé. Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface
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⟩
...
hal-01354109v2  Conference papers
Juraj KolčákDavid ŠafránekStefan HaarLoïc Paulevé. Unfolding of Parametric Boolean Networks
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⟩
hal-01793584v1  Conference papers
Robin MiloszAdeline PierrotSylvie Hamel. Median of 3 Permutations, 3-Cycles and 3-Hitting Set Problem
IWOCA (International Workshop on Combinatorial Algorithms) , 2018, Singapour, Singapore
...
hal-01366730v1  Poster communications
Loïc Paulevé. Pint, a static analyzer for dynamics of Automata Networks
14th International Conference on Computational Methods in Systems Biology (CMSB 2016), Sep 2016, Cambridge, United Kingdom
...
hal-01768359v2  Conference papers
Thomas ChatainStefan HaarLoïc Paulevé. Boolean Networks: Beyond Generalized Asynchronicity
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⟩
hal-01385704v1  Directions of work or proceedings
Loïc PaulevéNathalie Theret. 6th International Workshop on Static Analysis and Systems Biology (SASB 2015)
Loïc Paulevé; Nathalie Theret. SASB, Sep 2015, Saint-Malo, France. 326, Elsevier, pp.88, 2016, Electronic Notes in Theoretical Computer Science
...
hal-01580765v1  Journal articles
Loïc Paulevé. Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, 2018, 15 (4), pp.1167-1179. ⟨10.1109/TCBB.2017.2749225⟩
hal-01758837v1  Journal articles
Adeline PierrotDominique Rossin. 2-Stack Sorting is Polynomial
Theory of Computing Systems, Springer Verlag, 2017, 60 (3), pp.552 - 579. ⟨10.1007/s00224-016-9743-8⟩
hal-01679385v1  Conference papers
Théophile SanchezGuillaume CharpiatFlora Jay. SPI-DNA: End-to-end Deep Learning Approach for Demographic History Inference
Paris-Saclay Junior Conference on Data Science and Engineering, Sep 2017, Orsay, France
...
hal-01589251v1  Conference papers
Hugues MandonStefan HaarLoïc Paulevé. Temporal Reprogramming of Boolean Networks
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⟩
hal-01823543v1  Poster communications
Théophile SanchezGuillaume CharpiatFlora Jay. End-to-End Deep Learning Approach for Demographic History Inference
Human Evolution: Fossils, Ancient and Modern Genomes 2017, Nov 2017, Hinxton, Cambridge, United Kingdom