Hillel Kugler, Ph.D.

Affiliations: 
2004 Weizmann Institute of Science, Rehovot, Israel 
Area:
Mathematics, Computer Science
Google:
"Hillel Kugler"

Parents

Sign in to add mentor
Amir Pnueli grad student 2004 Weizmann Institute
 (Topics in scenario -based requirements: Smart execution and synthesis.)
BETA: Related publications

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.

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
Shavit Y, Yordanov B, Dunn SJ, et al. (2015) Switching gene regulatory networks Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9303: 131-144
Rabe MN, Wintersteiger CM, Kugler H, et al. (2014) Symbolic approximation of the bounded reachability probability in large Markov chains Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8657: 388-403
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
Yordanov B, Wintersteiger CM, Hamadi Y, et al. (2013) SMT-based analysis of biological computation Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7871: 78-92
Yordanov B, Wintersteiger CM, Hamadi Y, et al. (2013) Functional analysis of large-scale DNA strand displacement circuits Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8141: 189-203
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
See more...