| Locality sensitive hashing: A comparison of hash function types and querying mechanisms L Paulevé, H Jégou, L Amsaleg Pattern recognition letters 31 (11), 1348-1358, 2010 | 407 | 2010 |
| The redox status of cancer cells supports mechanisms behind the Warburg effect J da Veiga Moreira, M Hamraz, M Abolhassani, E Bigan, S Pérès, ... Metabolites 6 (4), 33, 2016 | 122 | 2016 |
| Reconciling Qualitative, Abstract, and Scalable Modeling of Biological Networks L Paulevé, J Kolčák, T Chatain, S Haar Nature Communications, 2020 | 111 | 2020 |
| The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks A Naldi, C Hernandez, N Levy, G Stoll, PT Monteiro, C Chaouiya, ... Frontiers in Physiology 9, 680, 2018 | 102 | 2018 |
| Cell cycle progression is regulated by intertwined redox oscillators J da Veiga Moreira, S Peres, JM Steyaert, E Bigan, L Paulevé, ... Theoretical Biology and Medical Modelling 12, 1-14, 2015 | 84 | 2015 |
| Static analysis of Boolean networks based on interaction graphs: a survey L Paulevé, A Richard Electronic Notes in Theoretical Computer Science 284, 93-104, 2012 | 61 | 2012 |
| Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming M Ostrowski, L Paulevé, T Schaub, A Siegel, C Guziolowski Biosystems 149, 139-153, 2016 | 60 | 2016 |
| Characterization of reachable attractors using Petri net unfoldings T Chatain, S Haar, L Jezequel, L Paulevé, S Schwoon Computational Methods in Systems Biology: 12th International Conference …, 2014 | 53 | 2014 |
| Static analysis of biological regulatory networks dynamics using abstract interpretation L Paulevé, M Magnin, O Roux Mathematical Structures in Computer Science 22 (4), 651-685, 2012 | 52 | 2012 |
| Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface L Paulevé Computational Methods in Systems Biology: 15th International Conference …, 2017 | 48 | 2017 |
| Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework L Paulevé, M Magnin, O Roux Transactions on computational systems biology xiii, 171-191, 2011 | 48 | 2011 |
| Sequential reprogramming of Boolean networks made practical H Mandon, C Su, S Haar, J Pang, L Paulevé Computational Methods in Systems Biology: 17th International Conference …, 2019 | 45 | 2019 |
| Synthesis of Boolean networks from biological dynamical constraints using answer-set programming S Chevalier, C Froidevaux, L Paulevé, A Zinovyev 2019 IEEE 31st International Conference on Tools with Artificial …, 2019 | 43 | 2019 |
| Dynamical properties of discrete reaction networks L Paulevé, G Craciun, H Koeppl Journal of mathematical biology 69, 55-72, 2014 | 40 | 2014 |
| Sufficient conditions for reachability in automata networks with priorities M Folschette, L Paulevé, M Magnin, O Roux Theoretical Computer Science 608, 66-83, 2015 | 39 | 2015 |
| Boolean networks: beyond generalized asynchronicity T Chatain, S Haar, L Paulevé Cellular Automata and Discrete Complex Systems: 24th IFIP WG 1.5 …, 2018 | 38 | 2018 |
| Computational discovery of dynamic cell line specific Boolean networks from multiplex time-course data M Razzaq, L Paulevé, A Siegel, J Saez-Rodriguez, J Bourdon, ... PLoS computational biology 14 (10), e1006538, 2018 | 36 | 2018 |
| Under-approximating cut sets for reachability in large scale automata networks L Paulevé, G Andrieux, H Koeppl Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 34 | 2013 |
| Reduction of qualitative models of biological networks for transient dynamics analysis L Paulevé IEEE/ACM transactions on computational biology and bioinformatics 15 (4 …, 2017 | 33 | 2017 |
| Concurrency in Boolean networks T Chatain, S Haar, J Kolčák, L Paulevé, A Thakkar Natural Computing 19, 91-109, 2020 | 32 | 2020 |
Stefan HaarINRIA and Université Paris-SaclayVerified email at inria.fr