Loïc Paulevé
Orcid: 0000-0002-7219-2027
According to our database1,
Loïc Paulevé
authored at least 65 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
mpbn: a simple tool for efficient edition and analysis of elementary properties of Boolean networks.
CoRR, 2024
BoNesis: a Python-Based Declarative Environment for the Verification, Reprogramming, and Synthesis of Most Permissive Boolean Networks.
Proceedings of the Computational Methods in Systems Biology, 2024
CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Proceedings of the Computational Methods in Systems Biology, 2023
Proceedings of the Computational Methods in Systems Biology, 2023
2022
BioSimulators: a central registry of simulation engines and services for recommending specific tools.
Nucleic Acids Res., 2022
Proceedings of the 13th International Symposium on Games, 2022
Marker and source-marker reprogramming of Most Permissive Boolean networks and ensembles with BoNesis.
CoRR, 2022
BioSimulators: a central registry of simulation engines and services for recommending specific tools.
CoRR, 2022
Proceedings of the Computational Methods in Systems Biology, 2022
2021
A detailed map of coupled circadian clock and cell cycle with qualitative dynamics validation.
BMC Bioinform., 2021
Proceedings of the Computational Methods in Systems Biology, 2021
Proceedings of the 27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, 2021
2020
SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
Proceedings of the Computational Methods in Systems Biology, 2020
Proceedings of the Computational Methods in Systems Biology, 2020
, 2020
2019
Theor. Comput. Sci., 2019
IEEE ACM Trans. Comput. Biol. Bioinform., 2019
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019
Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming.
Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019
Proceedings of the Computational Methods in Systems Biology, 2019
2018
Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis.
IEEE ACM Trans. Comput. Biol. Bioinform., 2018
Computational discovery of dynamic cell line specific Boolean networks from multiplex time-course data.
PLoS Comput. Biol., 2018
Proceedings of the Cellular Automata and Discrete Complex Systems, 2018
2017
Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming.
Algorithms Mol. Biol., 2017
Proceedings of the 28th International Conference on Concurrency Theory, 2017
Pint: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface.
Proceedings of the Computational Methods in Systems Biology, 2017
Proceedings of the Computational Methods in Systems Biology, 2017
2016
Boolean network identification from perturbation time series data combining dynamics abstraction and logic programming.
Biosyst., 2016
Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016
Proceedings of the Computational Methods in Systems Biology, 2016
Marginalized Continuous Time Bayesian Networks for Network Reconstruction from Incomplete Observations.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Tech. Sci. Informatiques, 2015
Theor. Comput. Sci., 2015
Theor. Comput. Sci., 2015
Proceedings of the 6th International Workshop on Static Analysis and Systems Biology, 2015
Proceedings of the Computational Methods in Systems Biology, 2015
2014
Proceedings of the 5th International Workshop on Static Analysis and Systems Biology, 2014
Proceedings of the Computational Methods in Systems Biology, 2014
2013
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013
Proceedings of the Computational Methods in Systems Biology, 2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
Theor. Comput. Sci., 2012
Static analysis of Biological Regulatory Networks dynamics using abstract interpretation.
Math. Struct. Comput. Sci., 2012
Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology, 2012
Proceedings of the Computational Methods in Systems Biology, 2012
2011
Modélisation, Simulation et Vérification des Grands Réseaux de Régulation Biologique. (Modelling, Simulation and Verification of Large Biological Regulatory Networks).
PhD thesis, 2011
IEEE Trans. Software Eng., 2011
Trans. Comp. Sys. Biology, 2011
Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011
2010
Locality sensitive hashing: A comparison of hash function types and querying mechanisms.
Pattern Recognit. Lett., 2010
Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, 2010
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010
Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010