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:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Attractor Basins in Concurrent Systems.
CoRR, 2024

Phenotype control and elimination of variables in Boolean networks.
CoRR, 2024

Bringing memory to Boolean networks: a unifying framework.
CoRR, 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
Attractor Identification in Asynchronous Boolean Dynamics with Network Reduction.
Proceedings of the Computational Methods in Systems Biology, 2023

Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks.
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

Computational Complexity of Minimal Trap Spaces in Boolean Networks.
CoRR, 2022

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets.
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

Variable-Depth Simulation of Most Permissive Boolean Networks.
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

Learning Boolean Controls in Regulated Metabolic Networks: A Case-Study.
Proceedings of the Computational Methods in Systems Biology, 2021

Non-Deterministic Updates of Boolean Networks.
Proceedings of the 27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, 2021

2020
Concurrency in Boolean networks.
Nat. Comput., 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

Drawing the Line: Basin Boundaries in Safe Petri Nets.
Proceedings of the Computational Methods in Systems Biology, 2020

Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision.
Proceedings of the Computational Methods in Systems Biology, 2020

Réseaux booléens : méthodes formelles et outils pour la modélisation en biologie.
, 2020

2019
Parameter space abstraction and unfolding semantics of discrete regulatory networks.
Theor. Comput. Sci., 2019

Preface.
Theor. Comput. Sci., 2019

Algorithms for the Sequential Reprogramming of Boolean Networks.
IEEE ACM Trans. Comput. Biol. Bioinform., 2019

Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics.
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

Sequential Reprogramming of Boolean Networks Made Practical.
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

Unfolding of Parametric Boolean Networks.
Proceedings of SASB 2018, 2018

Most Permissive Semantics of Boolean Networks.
CoRR, 2018

Boolean Networks: Beyond Generalized Asynchronicity.
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

Goal-Driven Unfolding of Petri Nets.
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

Temporal Reprogramming of Boolean Networks.
Proceedings of the Computational Methods in Systems Biology, 2017

2016
Qualitative dynamics semantics for SBGN process description.
BMC Syst. Biol., 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

Goal-Oriented Reduction of Automata Networks.
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
Analyses statiques de la dynamique des réseaux d'automates indéterministes.
Tech. Sci. Informatiques, 2015

Sufficient conditions for reachability in automata networks with priorities.
Theor. Comput. Sci., 2015

Identification of biological regulatory networks from Process Hitting models.
Theor. Comput. Sci., 2015

Preface.
Proceedings of the 6th International Workshop on Static Analysis and Systems Biology, 2015

Boolean Network Identification from Multiplex Time Series Data.
Proceedings of the Computational Methods in Systems Biology, 2015

2014
Preface.
Proceedings of the 5th International Workshop on Static Analysis and Systems Biology, 2014

Characterization of Reachable Attractors Using Petri Net Unfoldings.
Proceedings of the Computational Methods in Systems Biology, 2014

2013
Under-approximation of Reachability in Multivalued Asynchronous Networks.
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013

Dynamical Properties of Discrete Reaction Networks
CoRR, 2013

Coarse-Grained Brownian Dynamics Simulation of Rule-Based Models.
Proceedings of the Computational Methods in Systems Biology, 2013

Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012
Stochastic simulation of multiple process calculi for biology.
Theor. Comput. Sci., 2012

Static analysis of Biological Regulatory Networks dynamics using abstract interpretation.
Math. Struct. Comput. Sci., 2012

HSIM: A Hybrid Stochastic Simulation System for Systems Biology.
Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology, 2012

Concretizing the Process Hitting into Biological Regulatory Networks.
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

Tuning Temporal Features within the Stochastic π-Calculus.
IEEE Trans. Software Eng., 2011

Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework.
Trans. Comp. Sys. Biology, 2011

Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey.
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

Abstract Interpretation of Dynamics of Biological Regulatory Networks.
Proceedings of the 1st International Workshop on Static Analysis and Systems Biology, 2010

Stochastic Simulation of Process Calculi for Biology
Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

A generic abstract machine for stochastic process calculi.
Proceedings of the Computational Methods in Systems Biology, 8th International Conference, 2010


  Loading...