Suivre
Loïc Paulevé
Loïc Paulevé
CNRS/LaBRI, Bordeaux, France
Adresse e-mail validée de ens-cachan.org - Page d'accueil
Titre
Citée par
Citée par
Année
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
4022010
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
1212016
Reconciling Qualitative, Abstract, and Scalable Modeling of Biological Networks
L Paulevé, J Kolčák, T Chatain, S Haar
Nature Communications, 2020
1102020
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
1022018
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
832015
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
602016
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
602012
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
532014
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
522012
Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface
L Paulevé
Computational Methods in Systems Biology: 15th International Conference …, 2017
482017
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
482011
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
452019
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
442019
Dynamical properties of discrete reaction networks
L Paulevé, G Craciun, H Koeppl
Journal of mathematical biology 69, 55-72, 2014
402014
Sufficient conditions for reachability in automata networks with priorities
M Folschette, L Paulevé, M Magnin, O Roux
Theoretical Computer Science 608, 66-83, 2015
392015
Boolean networks: beyond generalized asynchronicity
T Chatain, S Haar, L Paulevé
Cellular Automata and Discrete Complex Systems: 24th IFIP WG 1.5 …, 2018
382018
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
352018
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
342013
Reduction of qualitative models of biological networks for transient dynamics analysis
L Paulevé
IEEE/ACM transactions on computational biology and bioinformatics 15 (4 …, 2017
332017
Concurrency in Boolean networks
T Chatain, S Haar, J Kolčák, L Paulevé, A Thakkar
Natural Computing 19, 91-109, 2020
322020
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20