Selected publications at LSV

In this paper, we address the formal characterization of tar- gets triggering cellular trans-differentiation in the scope of Boolean net- works with asynchronous dynamics. Given two fixed points of a Boolean network, we are interested in all the combinations of mutations which allow to switch from one fixed point to the other, either possibly, or in- evitably. In the case of existential reachability, we prove that the set of nodes to (permanently) flip are only and necessarily in certain connected components of the interaction graph. In the case of inevitable reachabil- ity, we provide an algorithm to identify a subset of possible solutions.

   address = {Grenoble France},
   author = {Mandon, Hugues and Haar, Stefan and Paulev{\'e}, Lo{\"i}c},
   booktitle = {{P}roceedings of the 5th {I}nternational {W}orkshop on {H}ybrid {S}ystems {B}iology},
   DOI = {10.1007/978-3-319-47151-8_8},
   month = oct,
   pages = {113-127},
   publisher = {Springer},
   series = {Lecture Notes in Computer Science},
   title = {{Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph}},
   url = {},
   year = {2016},

About LSV