Synthesis of biological models from mutation experiments
Abstract
Executable biology presents new challenges to formal methods. This paper addresses two problems that cell biologists face when developing formally analyzable models.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
The number of mRNA molecules may sometimes not correlate well with the numbers of their protein products at the same time point.
“Third, the number of mRNA molecules may sometimes not correlate well with the numbers of their protein products at the same time point180–184”
From Revealing the vectors of cellular identity with single-cell genomics (2016) · cites this paper as [182]
Cites
de Moura, L., & Bjørner, N. (2008) · Lecture Notes in Computer Science · doi:10.1007/978-3-540-78800-3_24 · Cited by 6,595 · see citing works
Stochastic mechanisms in gene expression.
McAdams, H., & Arkin, A. (1997) · Proceedings of the National Academy of Sciences of the United States of America · doi:10.1073/pnas.94.3.814 · Cited by 1,970 · see citing works
Arkin, A. P., Ross, J., & McAdams, H. H. (1998) · Genetics · doi:10.1093/genetics/149.4.1633 · Cited by 1,492 · see citing works
Automating string processing in spreadsheets using input-output examples
Gulwani, S. (2011) · ACM-SIGACT Symposium on Principles of Programming Languages · doi:10.1145/1926385.1926423 · Cited by 1,039 · see citing works
Combinatorial sketching for finite programs
Solar-Lezama, A., Tancau, L., Bodík, R., Seshia, S., & Saraswat, V. (2006) · ASPLOS XII · doi:10.1145/1168857.1168907 · Cited by 922 · see citing works
Automating string processing in spreadsheets using input-output examples
Gulwani, S. (2011) · ACM SIGPLAN Notices · doi:10.1145/1925844.1926423 · Cited by 581 · see citing works
Alur, R., & Henzinger, T. A. (1999) · Formal Methods in System Design · doi:10.1023/a:1008739929481 · Cited by 546 · see citing works
Fisher, J., & Henzinger, T. A. (2007) · Nature Biotechnology · doi:10.1038/nbt1356 · Cited by 543 · see citing works
Self-citationLi, S., Assmann, S. M., & Albert, R. (2006) · PLoS Biology · doi:10.1371/journal.pbio.0040312 · Cited by 415 · see citing works
Petri net modelling of biological networks
Chaouiya, C. (2007) · Briefings in Bioinformatics · doi:10.1093/bib/bbm029 · Cited by 390 · see citing works
From program verification to program synthesis
Srivastava, S., Gulwani, S., & Foster, J. S. (2010) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · doi:10.1145/1706299.1706337 · Cited by 274 · see citing works
Self-citationCrosstalk Between the EGFR and LIN-12/Notch Pathways in C. elegans Vulval Development
Yoo, A. S. J., Bais, C., & Greenwald, I. (2004) · Science · doi:10.1126/science.1091639 · Cited by 255 · see citing works
Probabilistic model checking of complex biological pathways
Heath, J. K., Kwiatkowska, M., Norman, G., Parker, D., & Tymchyshyn, O. (2007) · Theoretical Computer Science · doi:10.1016/j.tcs.2007.11.013 · Cited by 238 · see citing works
Programming in Scala: A Comprehensive Step-by-Step Guide
Odersky, M., Spoon, L., & Venners, B. (2010) · Cited by 236 · see citing works
Sketching concurrent data structures
Solar-Lezama, A., Jones, C. G., & Bodík, R. (2008) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · doi:10.1145/1375581.1375599 · Cited by 195 · see citing works
Symbolic Model Checking of Biochemical Networks
Chabrier, N. B., & Fages, F. (2003) · Lecture notes in computer science · doi:10.1007/3-540-36481-1_13 · Cited by 143 · see citing works
Predictive Modeling of Signaling Crosstalk during C. elegans Vulval Development
Fisher, J., Piterman, N., Hajnal, A., & Henzinger, T. A. (2007) · PLoS Computational Biology · doi:10.1371/journal.pcbi.0030092 · Cited by 99 · see citing works
Self-citationFormal Modeling of C. elegans Development: A Scenario-Based Approach
Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard, E. J. A., & Stern, M. (2003) · Lecture notes in computer science · doi:10.1007/3-540-36481-1_2 · Cited by 97 · see citing works
Abstract Interpretation of Cellular Signalling Networks
Vincent Danos, A., Ferêt, J., Fontana, W., & Krivine, J. (2008) · Lecture notes in computer science · doi:10.1007/978-3-540-78163-9_11 · Cited by 92 · see citing works
Deriving linearizable fine-grained concurrent objects
Vechev, M., & Yahav, E. (2008) · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · doi:10.1145/1375581.1375598 · Cited by 92 · see citing works
The immune system as a reactive system: modeling T cell activation with statecharts
Kam, N., Cohen, I. R., & Harel, D. (2002) · IEEE Symposia on Human-Centric Computing Languages and Environments · doi:10.1109/hcc.2001.995228 · Cited by 89 · see citing works
The π-calculus as an Abstraction for Biomolecular Systems
Regev, A., & Shapiro, E. Y. (2004) · Natural computing series · doi:10.1007/978-3-642-18734-6_11 · Cited by 74 · see citing works
Temporal Logic Analysis of Gene Networks Under Parameter Uncertainty
Batt, G., Belta, C. A., & Weiss, R. (2008) · IEEE Transactions on Automatic Control · doi:10.1109/tac.2007.911330 · Cited by 67 · see citing works
Rizk, A., Batt, G., Fages, F., & Soliman, S. (2010) · Theoretical Computer Science · doi:10.1016/j.tcs.2010.05.008 · Cited by 58 · see citing works
Fisher, J., Harel, D., & Henzinger, T. A. (2011) · Communications of the ACM · doi:10.1145/2001269.2001289 · Cited by 51 · see citing works
Self-citationBounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
Fisher, J., Henzinger, T. A., Mateescu, M., & Piterman, N. (2008) · Springer eBooks · doi:10.1007/978-3-540-68413-8_2 · Cited by 39 · see citing works
Self-citationScala to the Power of Z3: Integrating SMT and Programming
Köksal, A. S., Kunčak, V., & Suter, P. (2011) · Lecture notes in computer science · doi:10.1007/978-3-642-22438-6_30 · Cited by 35 · see citing works
Learning Genetic Regulatory Network Connectivity from Time Series Data
Barker, N., Myers, C. J., & Kuwahara, H. (2009) · IEEE Transactions on Computational Biology and Bioinformatics · doi:10.1109/tcbb.2009.48 · Cited by 24 · see citing works
Grégory Batt, A., Ropers, D., de Jong, H., Geiselmann, J., Mateescu, R., & Schneider, D. (2005) · Cited by 22 · see citing works
Deriving linearizable fine-grained concurrent objects
Vechev, M., & Yahav, E. (2008) · ACM SIGPLAN Notices · doi:10.1145/1379022.1375598 · Cited by 19 · see citing works
Aswani, A. J., Keränen, S. V. E., Brown, J., Fowlkes, C. C., Knowles, D. W., Biggin, M. D., Bickel, P. J., & Tomlin, C. J. (2010) · BMC Bioinformatics · doi:10.1186/1471-2105-11-413 · Cited by 11 · see citing works
Dill, D. L. (2012) · Lecture notes in computer science · doi:10.1007/978-3-642-31424-7_2 · Cited by 2 · see citing works
Flagged first, then by citations
Cited by
Sorted by citations
Revealing the vectors of cellular identity with single-cell genomics
Wagner, A., Regev, A., & Yosef, N. (2016) · Nature Biotechnology · doi:10.1038/nbt.3711 · Cited by 632 · see citing works
Moignard, V., Woodhouse, S., Haghverdi, L., Lilly, A. J., Tanaka, Y., Wilkinson, A. C., Buettner, F., Macaulay, I. C., Jawaid, W., Diamanti, E., et al. (2015) · Nature Biotechnology · doi:10.1038/nbt.3154 · Cited by 380 · see citing works
Self-citationFlashMeta: a framework for inductive program synthesis
Polozov, O., & Gulwani, S. (2015) · Conference on Object-Oriented Programming Systems, Languages, and Applications · doi:10.1145/2814270.2814310 · Cited by 229 · see citing works
A lightweight symbolic virtual machine for solver-aided host languages
Torlak, E., & Bodík, R. (2014) · ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · doi:10.1145/2594291.2594340 · Cited by 181 · see citing works
Du, T., Inala, J. P., Pu, Y., Spielberg, A., Schulz, A., Rus, D. L., Solar-Lezama, A., & Matusik, W. (2018) · ACM Transactions on Graphics · doi:10.1145/3272127.3275006 · Cited by 127 · see citing works
Self-citationOptimizing synthesis with metasketches
Bornholt, J., Torlak, E., Grossman, D., & Ceze, L. (2016) · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · doi:10.1145/2837614.2837666 · Cited by 79 · see citing works
Executable cancer models: successes and challenges
Clarke, M. A., & Fisher, J. (2020) · Nature reviews. Cancer · doi:10.1038/s41568-020-0258-x · Cited by 76 · see citing works
Self-citationPrecise parameter synthesis for stochastic biochemical systems
Češka, M., Dannenberg, F., Paoletti, N., Kwiatkowska, M., & Brim, L. (2016) · Acta Informatica · doi:10.1007/s00236-016-0265-2 · Cited by 71 · see citing works
A lightweight symbolic virtual machine for solver-aided host languages
Torlak, E., & Bodík, R. (2014) · ACM SIGPLAN Notices · doi:10.1145/2666356.2594340 · Cited by 69 · see citing works
Scalable verification of border gateway protocol configurations with an SMT solver
Weitz, K., Woos, D., Torlak, E., Ernst, M. D., Krishnamurthy, A., & Tatlock, Z. (2016) · Conference on Object-Oriented Programming Systems, Languages, and Applications · doi:10.1145/2983990.2984012 · Cited by 66 · see citing works
FlashMeta: a framework for inductive program synthesis
Polozov, O., & Gulwani, S. (2015) · ACM SIGPLAN Notices · doi:10.1145/2858965.2814310 · Cited by 48 · see citing works
Willsey, M., Stephenson, A. P., Takahashi, C., Vaid, P., Nguyen, B. H., Piszczek, M., Betts, C., Newman, S. S., Joshi, S., Strauß, K., et al. (2019) · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · doi:10.1145/3297858.3304027 · Cited by 33 · see citing works
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems
Bloem, R., Braud-Santoni, N., & Jacobs, S. (2016) · Lecture notes in computer science · doi:10.1007/978-3-319-41528-4_9 · Cited by 25 · see citing works
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks
Cardelli, L., Češka, M., Fränzle, M., Kwiatkowska, M., Laurenti, L., Paoletti, N., & Whitby, M. (2017) · Lecture notes in computer science · doi:10.1007/978-3-319-63390-9_20 · Cited by 21 · see citing works
Analyzing and Synthesizing Genomic Logic Functions
Paoletti, N., Yordanov, B., Hamadi, Y., Wintersteiger, C. M., & Kugler, H. (2014) · Lecture notes in computer science · doi:10.1007/978-3-319-08867-9_23 · Cited by 22 · see citing works
Optimizing synthesis with metasketches
Bornholt, J., Torlak, E., Grossman, D., & Ceze, L. (2016) · ACM SIGPLAN Notices · doi:10.1145/2914770.2837666 · Cited by 21 · see citing works
Plant science in the age of simulation intelligence
Stock, M., Pieters, O., Swaef, T. D., & wyffels, F. (2024) · Frontiers in Plant Science · doi:10.3389/fpls.2023.1299208 · Cited by 19 · see citing works
Synthesising executable gene regulatory networks from single-cell gene expression data
Fisher, J., Köksal, A. S., Piterman, N., & Woodhouse, S. (2015) · Lecture Notes in Computer Science · doi:10.1007/978-3-319-21690-4_38 · Cited by 18 · see citing works
Self-citationLearning Delayed Influences of Biological Systems
Ribeiro, T., Magnin, M., Inoue, K., & Sakama, C. (2015) · Frontiers in Bioengineering and Biotechnology · doi:10.3389/fbioe.2014.00081 · Cited by 14 · see citing works
BRE:IN - A Backend for Reasoning About Interaction Networks with Temporal Logic
Goldfeder, J., & Kugler, H. (2019) · Lecture notes in computer science · doi:10.1007/978-3-030-31304-3_15 · Cited by 12 · see citing works
Scalable verification of border gateway protocol configurations with an SMT solver
Weitz, K., Woos, D., Torlak, E., Ernst, M. D., Krishnamurthy, A., & Tatlock, Z. (2016) · ACM SIGPLAN Notices · doi:10.1145/3022671.2984012 · Cited by 12 · see citing works
Temporal Logic Based Synthesis of Experimentally Constrained Interaction Networks
Goldfeder, J., & Kugler, H. (2019) · Lecture notes in computer science · doi:10.1007/978-3-030-19432-1_6 · Cited by 11 · see citing works
Toward Synthesizing Executable Models in Biology
Fisher, J., Piterman, N., & Bodík, R. (2014) · Frontiers in Bioengineering and Biotechnology · doi:10.3389/fbioe.2014.00075 · Cited by 8 · see citing works
Self-citationModeling for everyone: Emphasizing the role of modeling in stem education
Fishwick, P. A., Brailsford, S., Taylor, S. J. E., Tolk, A., & Uhrmacher, A. M. (2014) · Winter Simulation Conference · doi:10.1109/wsc.2014.7020121 · Cited by 6 · see citing works
An SMT-Based Framework for Reasoning About Discrete Biological Models
Yordanov, B., Dunn, S.-J., Gravill, C., Kugler, H., & Wintersteiger, C. M. (2022) · Lecture notes in computer science · doi:10.1007/978-3-031-23198-8_11 · Cited by 4 · see citing works
Combining Functional and Automata Synthesis to Discover Causal Reactive Programs
Das, R., Tenenbaum, J. B., Solar-Lezama, A., & Tavares, Z. (2023) · Proceedings of the ACM on Programming Languages · doi:10.1145/3571249 · Cited by 4 · see citing works
Yordanov, B., Dunn, S.-J., Gravill, C., Arora, H., Kugler, H., & Wintersteiger, C. M. (2023) · Journal of Computational Biology · doi:10.1089/cmb.2023.0117 · Cited by 4 · see citing works
Modeling the C. elegans germline stem cell genetic network using automated reasoning
Amar, A., Hubbard, E. J. A., & Kugler, H. (2022) · Biosystems · doi:10.1016/j.biosystems.2022.104672 · Cited by 4 · see citing works
Modeling Delayed Dynamics in Biological Regulatory Networks from Time Series Data
Abdallah, E. B., Ribeiro, T., Magnin, M., Roux, O. H., & Inoue, K. (2017) · Algorithms · doi:10.3390/a10010008 · Cited by 4 · see citing works
Inference of Delayed Biological Regulatory Networks from Time Series Data
Abdallah, E. B., Ribeiro, T., Magnin, M., Roux, O. H., & Inoue, K. (2016) · Lecture notes in computer science · doi:10.1007/978-3-319-45177-0_3 · Cited by 3 · see citing works
Unifying Modelling and Programming: A Systems Biology Perspective
Kugler, H. (2016) · Lecture notes in computer science · doi:10.1007/978-3-319-47169-3_10 · Cited by 2 · see citing works
A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
Bhattacharyya, A., Gupta, A., Kuppusamy, L., Mani, S., Shukla, A., Srivas, M. K., & Thattai, M. (2019) · Acta Informatica · doi:10.1007/s00236-019-00357-3 · Cited by 2 · see citing works
Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering
Juergen Dingel, A. (2016) · Lecture notes in computer science · doi:10.1007/978-3-319-40530-8_1 · Cited by 1 · see citing works
Automated Inference of Production Rules for Glycans
Biswas, A., Gupta, A., Missula, M., & Thattai, M. (2021) · Lecture notes in computer science · doi:10.1007/978-3-030-85633-5_4
Synthesizing Signaling Pathways from Temporal Phosphoproteomic DataPreprint
Köksal, A. S., Beck, K., Cronin, D. R., McKenna, A., Camp, N. D., Srivastava, S., MacGilvray, M. E., Bodík, R., Wolf-Yadlin, A., Fraenkel, E., et al. (2017) · bioRxiv (Cold Spring Harbor Laboratory) · doi:10.1101/209676 · Cited by 1 · see citing works
Self-citationGauging Research in Program Synthesis with a Massive Open Online Contest
Akiba, T., Imajo, K., Iwami, H., Iwata, Y., Kataoka, T., Takahashi, N., Moskal, M., & Swamy, N. (2014)
- Authors
- Koksal, A. S., Pu, Y., Srivastava, S., Bodik, R., Fisher, J., & Piterman, N.
- Affiliations
- University of California, Berkeley, Berkeley, CA, USA
- University of California, Berkeley (US)
- Microsoft Research (United Kingdom) (GB)
- University of Leicester (GB)
- Venue
- Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
- Publisher
- ACM
- Published
- 2013-01-23
- Pages
- 469-482
- OpenAlex
- W2079958696
- Cited by
- 36
- References
- 32
- Citations by year
- 2024: 1 · 2023: 2 · 2022: 2 · 2021: 1 · 2020: 1 · 2019: 4 · 2018: 1 · 2017: 3 · 2016: 10 · 2015: 5 · 2014: 6
- FWCI
- 25.26
- Type
- conference paper
- Language
- en
- Open access
- closed
- Locations
- ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) (publishedVersion)
- Topics
- Life Sciences › Biochemistry, Genetics and Molecular Biology › Molecular Biology › Gene Regulatory Network Analysis
- Physical Sciences › Computer Science › Computational Theory and Mathematics › Formal Methods in Verification
- Social Sciences › Arts and Humanities › History and Philosophy of Science › Philosophy and History of Science
- Keywords
- formal methods
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
