Robustness and parameter geography in post-translational modification systems. | 1 | 0.36 | 2020 |
INDRA-IPM: interactive pathway modeling using natural language with automated assembly. | 0 | 0.34 | 2019 |
Re-curation and Rational Enrichment of Knowledge Graphs in Biological Expression Language | 0 | 0.34 | 2019 |
Eidos, INDRA, & Delphi: From Free Text to Executable Causal Models. | 0 | 0.34 | 2019 |
FamPlex: a resource for entity recognition and relationship resolution of human protein families and complexes in biomedical text mining. | 2 | 0.38 | 2018 |
Hypothesis testing for Markov chain Monte Carlo | 2 | 0.48 | 2016 |
Simulation-Guided Parameter Synthesis for Chance-Constrained Optimization of Control Systems | 0 | 0.34 | 2015 |
Parallelized Parameter Estimation of Biological Pathway Models. | 0 | 0.34 | 2015 |
Approximate Probabilistic Verification of Hybrid Systems. | 0 | 0.34 | 2014 |
Probabilistic verification of partially observable dynamical systems. | 1 | 0.36 | 2014 |