Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Robustness analysis and tuning of synthetic gene networks., , , and . Bioinformatics, 23 (18): 2415-2422 (2007)Experimentally driven verification of synthetic biological circuits., , , , , , , , and . DATE, page 236-241. IEEE, (2012)Automated Synthesis and Analysis of Switching Gene Regulatory Networks., , , , , , , and . Biosystems, (2016)Formal analysis of piecewise affine systems through formula-guided refinement., , , , and . CDC, page 5899-5904. IEEE, (2010)Automated Reasoning for the Synthesis and Analysis of Biological Programs., and . Automated Reasoning for Systems Biology and Medicine, volume 30 of Computational Biology, Springer, (2019)Experimental Biological Protocols with Formal Semantics., , , , and . CMSB, volume 11095 of Lecture Notes in Computer Science, page 165-182. Springer, (2018)Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis., , , and . SMT@IJCAR, volume 1617 of CEUR Workshop Proceedings, page 41-50. CEUR-WS.org, (2016)A symbolic approach to controlling piecewise affine systems., , , , and . CDC, page 4230-4235. IEEE, (2010)A Formal Verification Approach to the Design of Synthetic Gene Networks, and . CoRR, (2011)Functional Analysis of Large-Scale DNA Strand Displacement Circuits., , , , and . DNA, volume 8141 of Lecture Notes in Computer Science, page 189-203. Springer, (2013)