Hillel Kugler, Ph.D.
Affiliations: | 2004 | Weizmann Institute of Science, Rehovot, Israel |
Area:
Mathematics, Computer ScienceGoogle:
"Hillel Kugler"Parents
Sign in to add mentorAmir Pnueli | grad student | 2004 | Weizmann Institute | |
(Topics in scenario -based requirements: Smart execution and synthesis.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Yordanov B, Dunn SJ, Gravill C, et al. (2023) The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models. Journal of Computational Biology : a Journal of Computational Molecular Cell Biology. 30: 1046-1058 |
Dunn SJ, Kugler H, Yordanov B. (2019) Formal Analysis of Network Motifs Links Structure to Function in Biological Programs. Ieee/Acm Transactions On Computational Biology and Bioinformatics |
Yordanov B, Dunn SJ, Kugler H, et al. (2016) A Method to Identify and Analyze Biological Programs through Automated Reasoning. Npj Systems Biology and Applications. 2 |
Atwell K, Dunn SJ, Osborne JM, et al. (2016) How computational models contribute to our understanding of the germ line. Molecular Reproduction and Development |
Shavit Y, Yordanov B, Dunn SJ, et al. (2016) Automated Synthesis and Analysis of Switching Gene Regulatory Networks. Bio Systems |
Atwell K, Qin Z, Gavaghan D, et al. (2015) Mechano-logical model of C. elegans germ line suggests feedback on the cell cycle. Development (Cambridge, England). 142: 3902-11 |
Paoletti N, Yordanov B, Hamadi Y, et al. (2014) Analyzing and synthesizing genomic logic functions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8559: 343-357 |
Kugler H. (2013) Biocharts: Unifying biological hypotheses with models and experiments Proceedings - Ieee 9th International Conference On E-Science, E-Science 2013. 317-325 |
Kugler H. (2013) Runtime verification and refutation for biological systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8174: 384-385 |
Setty Y, Dalfó D, Korta DZ, et al. (2012) A model of stem cell population dynamics: in silico analysis and in vivo validation. Development (Cambridge, England). 139: 47-56 |