| 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 | 322 | 2010 |
| Static analysis of biological regulatory networks dynamics using abstract interpretation L PAULEVÉ, M Magnin, O Roux Mathematical Structures in Computer Science 22 (4), 651, 2012 | 44 | 2012 |
| The redox status of cancer cells supports mechanisms behind the Warburg effect JDV Moreira, M Hamraz, M Abolhassani, E Bigan, S Pérès, L Paulevé, ... Metabolites 6 (4), 33, 2016 | 43 | 2016 |
| 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 | 43 | 2011 |
| 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), 1-14, 2015 | 41 | 2015 |
| Dynamical properties of discrete reaction networks L Paulevé, G Craciun, H Koeppl Journal of mathematical biology 69 (1), 55-72, 2014 | 34 | 2014 |
| 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 | 34 | 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 | 31 | 2016 |
| 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 | 30 | 2018 |
| Characterization of reachable attractors using Petri net unfoldings T Chatain, S Haar, L Jezequel, L Paulevé, S Schwoon International Conference on Computational Methods in Systems Biology, 129-142, 2014 | 29 | 2014 |
| Under-approximating cut sets for reachability in large scale automata networks L Paulevé, G Andrieux, H Koeppl International Conference on Computer Aided Verification, 69-84, 2013 | 27 | 2013 |
| Sufficient conditions for reachability in automata networks with priorities M Folschette, L Paulevé, M Magnin, O Roux Theoretical Computer Science 608, 66-83, 2015 | 21 | 2015 |
| Goal-oriented reduction of automata networks L Paulevé International Conference on Computational Methods in Systems Biology, 252-272, 2016 | 20 | 2016 |
| A generic abstract machine for stochastic process calculi L Paulevé, S Youssef, MR Lakin, A Phillips Proceedings of the 8th International Conference on Computational Methods in …, 2010 | 20 | 2010 |
| Concretizing the process hitting into biological regulatory networks M Folschette, L Paulevé, K Inoue, M Magnin, O Roux International Conference on Computational Methods in Systems Biology, 166-186, 2012 | 18 | 2012 |
| Reduction of qualitative models of biological networks for transient dynamics analysis L Paulevé IEEE/ACM transactions on computational biology and bioinformatics 15 (4 …, 2017 | 17 | 2017 |
| Sequential reprogramming of Boolean networks made practical H Mandon, C Su, S Haar, J Pang, L Paulevé International Conference on Computational Methods in Systems Biology, 3-19, 2019 | 16 | 2019 |
| Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface L Paulevé International Conference on Computational Methods in Systems Biology, 309-316, 2017 | 16 | 2017 |
| Topological fixed points in Boolean networks L Paulevé, A Richard Comptes Rendus Mathematique 348 (15-16), 825-828, 2010 | 16 | 2010 |
| Stochastic simulation of multiple process calculi for biology MR Lakin, L Paulevé, A Phillips Theoretical Computer Science 431, 181-206, 2012 | 15 | 2012 |
Morgan MagninProfessor of Computer Science, LS2N, École Centrale de Nantes, National Institute of InformaticsVerified email at ec-nantes.fr
