Search research articles
Contact Us
Filters
Showing results (1-10 of 14) with videos related to
Page
of 2
Sort By:
Journal of the Royal Society, Interface
|
December 22, 2009
Biocharts: a visual formalism for complex biological systems
Hillel Kugler, Antti Larjo, David Harel
IEEE/ACM Transactions on Computational Biology and Bioinformatics
|
November 15, 2019
Formal Analysis of Network Motifs Links Structure to Function in Biological Programs
Sara-Jane Dunn, Hillel Kugler, Boyan Yordanov
Bio Systems
|
April 26, 2022
Modeling the C. elegans germline stem cell genetic network using automated reasoning
Ani Amar, E Jane Albert Hubbard, Hillel Kugler
NPJ Systems Biology and Applications
|
September 27, 2016
A Method to Identify and Analyze Biological Programs through Automated Reasoning
Boyan Yordanov, Sara-Jane Dunn, Hillel Kugler, et al.
Development (Cambridge, England)
|
December 8, 2011
A model of stem cell population dynamics: in silico analysis and in vivo validation
Yaki Setty, Diana Dalfó, Dorota Z Korta, et al.
IEEE/ACM Transactions on Computational Biology and Bioinformatics
|
April 6, 2020
Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism
Annalisa Occhipinti, Youssef Hamadi, Hillel Kugler, et al.
Journal of Computational Biology : a Journal of Computational Molecular Cell Biology
|
September 21, 2023
The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models
Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, et al.
Stem Cell Reports
|
February 13, 2026
Exit from naive pluripotency proceeds with variable latency but without asymmetric division to generate population heterogeneity
Stanley E Strawbridge, Clelia Corridori, Guy B Blanchard, et al.
Molecular Reproduction and Development
|
September 15, 2016
How computational models contribute to our understanding of the germ line
Kathryn Atwell, Sara-Jane Dunn, James M Osborne, et al.
Development (Cambridge, England)
|
October 3, 2015
Mechano-logical model of C. elegans germ line suggests feedback on the cell cycle
Kathryn Atwell, Zhao Qin, David Gavaghan, et al.
Page
of 2
Search research articles
Search
Showing results (1-10 of 14) with videos related to
Sort By:
Page
of 2
Journal of the Royal Society, Interface
|
December 22, 2009
Biocharts: a visual formalism for complex biological systems
Hillel Kugler, Antti Larjo, David Harel
IEEE/ACM Transactions on Computational Biology and Bioinformatics
|
November 15, 2019
Formal Analysis of Network Motifs Links Structure to Function in Biological Programs
Sara-Jane Dunn, Hillel Kugler, Boyan Yordanov
Bio Systems
|
April 26, 2022
Modeling the C. elegans germline stem cell genetic network using automated reasoning
Ani Amar, E Jane Albert Hubbard, Hillel Kugler
NPJ Systems Biology and Applications
|
September 27, 2016
A Method to Identify and Analyze Biological Programs through Automated Reasoning
Boyan Yordanov, Sara-Jane Dunn, Hillel Kugler, et al.
Development (Cambridge, England)
|
December 8, 2011
A model of stem cell population dynamics: in silico analysis and in vivo validation
Yaki Setty, Diana Dalfó, Dorota Z Korta, et al.
IEEE/ACM Transactions on Computational Biology and Bioinformatics
|
April 6, 2020
Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism
Annalisa Occhipinti, Youssef Hamadi, Hillel Kugler, et al.
Journal of Computational Biology : a Journal of Computational Molecular Cell Biology
|
September 21, 2023
The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models
Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, et al.
Stem Cell Reports
|
February 13, 2026
Exit from naive pluripotency proceeds with variable latency but without asymmetric division to generate population heterogeneity
Stanley E Strawbridge, Clelia Corridori, Guy B Blanchard, et al.
Molecular Reproduction and Development
|
September 15, 2016
How computational models contribute to our understanding of the germ line
Kathryn Atwell, Sara-Jane Dunn, James M Osborne, et al.
Development (Cambridge, England)
|
October 3, 2015
Mechano-logical model of C. elegans germ line suggests feedback on the cell cycle
Kathryn Atwell, Zhao Qin, David Gavaghan, et al.
Page
of 2