| Learning Boolean Controls in Regulated Metabolic Networks - A Case-Study. | 0 | 0.34 | 2021 |
| A Detailed Map Of Coupled Circadian Clock And Cell Cycle With Qualitative Dynamics Validation | 0 | 0.34 | 2021 |
| Concurrency in Boolean networks | 2 | 0.41 | 2020 |
| Drawing the Line: Basin Boundaries in Safe Petri Nets | 0 | 0.34 | 2020 |
| Synthesis and Simulation of Ensembles of Boolean Networks for Cell Fate Decision | 0 | 0.34 | 2020 |
| Sequential Reprogramming Of Boolean Networks Made Practical | 1 | 0.35 | 2019 |
| Synthesis of Boolean Networks from Biological Dynamical Constraints using Answer-Set Programming | 0 | 0.34 | 2019 |
| Algorithms for the Sequential Reprogramming of Boolean Networks. | 0 | 0.34 | 2019 |
| Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. | 0 | 0.34 | 2019 |
| Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks. | 1 | 0.37 | 2018 |
| Computational discovery of dynamic cell line specific Boolean Networks from multiplex time-course data. | 1 | 0.36 | 2018 |
| Reduction of Qualitative Models of Biological Networks for Transient Dynamics Analysis. | 3 | 0.48 | 2018 |
| Most Permissive Semantics of Boolean Networks. | 0 | 0.34 | 2018 |
| Unfolding of Parametric Boolean Networks. | 1 | 0.37 | 2018 |
| Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming. | 1 | 0.35 | 2017 |
| Temporal Reprogramming Of Boolean Networks | 2 | 0.44 | 2017 |
| Goal-Driven Unfolding of Petri Nets. | 0 | 0.34 | 2017 |
| Pint: A Static Analyzer For Transient Dynamics Of Qualitative Networks With Ipython Interface | 0 | 0.34 | 2017 |
| Marginalized Continuous Time Bayesian Networks for Network Reconstruction from Incomplete Observations. | 0 | 0.34 | 2016 |
| Qualitative dynamics semantics for SBGN process description. | 1 | 0.37 | 2016 |
| Identification of biological regulatory networks from Process Hitting models. | 1 | 0.35 | 2015 |
| Analyses statiques de la dynamique des réseaux d'automates indéterministes. | 0 | 0.34 | 2015 |
| Sufficient conditions for reachability in automata networks with priorities | 4 | 0.42 | 2015 |
| Under-approximation of Reachability in Multivalued Asynchronous Networks | 4 | 0.65 | 2013 |
| Under-Approximating cut sets for reachability in large scale automata networks | 8 | 0.53 | 2013 |
| Dynamical properties of Discrete Reaction Networks. | 6 | 0.78 | 2013 |
| Static analysis of biological regulatory networks dynamics using abstract interpretation | 5 | 0.48 | 2012 |
| Static Analysis of Boolean Networks Based on Interaction Graphs: A Survey | 7 | 0.51 | 2012 |
| Stochastic simulation of multiple process calculi for biology | 6 | 0.56 | 2012 |
| Concretizing the process hitting into biological regulatory networks | 4 | 0.44 | 2012 |
| Tuning Temporal Features within the Stochastic π-Calculus | 0 | 0.34 | 2011 |
| Refining Dynamics of Gene Regulatory Networks in a Stochastic p-Calculus Framework. | 0 | 0.34 | 2011 |
| Abstract Interpretation of Dynamics of Biological Regulatory Networks | 4 | 0.50 | 2011 |
| Locality sensitive hashing: A comparison of hash function types and querying mechanisms | 131 | 4.16 | 2010 |
| Stochastic Simulation Of Process Calculi For Biology | 1 | 0.37 | 2010 |
| A generic abstract machine for stochastic process calculi | 10 | 0.69 | 2010 |
