Loïc Paulevé

Available identifiers

zbMath Open pauleve.loicMaRDI QIDQ275998

List of research outcomes

Publication	Date of Publication	Type
Computational complexity of minimal trap spaces in Boolean networks	2024-11-05	Paper
Non-deterministic updates of Boolean networks	2024-08-13	Paper
Towards a qualitative theory of the interruption of eating behavior change	2024-04-03	Paper
Tackling universal properties of minimal trap spaces of Boolean networks	2024-02-28	Paper
Attractor identification in asynchronous Boolean dynamics with network reduction	2024-02-28	Paper
Concurrency in Boolean networks	2024-02-09	Paper
Avoid one's doom: finding cliff-edge configurations in Petri nets	2024-02-08	Paper
Variable-depth simulation of most permissive Boolean networks	2023-01-18	Paper
Synthesis and simulation of ensembles of Boolean networks for cell fate decision	2022-12-22	Paper
Drawing the line: basin boundaries in safe Petri nets	2022-12-22	Paper
Learning Boolean controls in regulated metabolic networks: a case-study	2022-05-25	Paper
Unfolding of parametric Boolean networks	2022-04-25	Paper
Non-deterministic updates of Boolean networks	2021-06-29	Paper
SAT heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers	2021-04-07	Paper
Goal-driven unfolding of Petri nets	2020-05-27	Paper
Combining refinement of parametric models with goal-oriented reduction of dynamics	2020-01-23	Paper
Relationship between the reprogramming determinants of Boolean networks and their interaction graph	2019-12-04	Paper
Sequential reprogramming of Boolean networks made practical	2019-10-10	Paper
Temporal reprogramming of Boolean networks	2019-07-25	Paper
Parameter space abstraction and unfolding semantics of discrete regulatory networks	2019-06-18	Paper
Boolean networks: beyond generalized asynchronicity	2018-08-10	Paper
Goal-oriented reduction of automata networks	2018-03-22	Paper
HSIM: a hybrid stochastic simulation system for systems biology	2016-12-16	Paper
Necessary and sufficient conditions for protocell growth	2016-11-04	Paper
Under-approximation of reachability in multivalued asynchronous networks	2016-04-26	Paper
Sufficient conditions for reachability in automata networks with priorities	2015-12-10	Paper
Identification of biological regulatory networks from process hitting models	2015-01-28	Paper
Dynamical properties of discrete reaction networks	2014-08-01	Paper
Abstract interpretation of dynamics of biological regulatory networks	2014-06-27	Paper
Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey	2014-03-21	Paper
Static analysis of biological regulatory networks dynamics using abstract interpretation	2012-09-06	Paper
Stochastic simulation of multiple process calculi for biology	2012-05-30	Paper
Refining dynamics of gene regulatory networks in a stochastic \(\pi\)-calculus framework	2011-05-27	Paper
Topological fixed points in Boolean networks	2010-09-06	Paper

Research outcomes over time

This page was built for person: Loïc Paulevé