Loïc Paulevé

Available identifiers

zbMath Open pauleve.loicMaRDI QIDQ275998

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q6191021	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
https://portal.mardi4nfdi.de/entity/Q5111631	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 π-Calculus Framework	2011-05-27	Paper
Topological fixed points in Boolean networks	2010-09-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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