( en | de | ru )

 

Disambiguierung von "Yordanov, Boyan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Computational design of nucleic Acid feedback control circuits.

, , , , , und . ACS synthetic biology, 3 (8): 600--616 (15.08.2014)
DOI: 10.1021/sb400169s

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Boyan Johnev

Stoyan Yordanov

Desislava Veselinova Boyanova

Gergana Boyanova Marinova

Boyan Garvalov

 

Weitere Publikationen von Autoren mit dem selben Namen

Fast Enumeration of Non-isomorphic Chemical Reaction Networks., , , und . CMSB, Volume 11773 von Lecture Notes in Computer Science, Seite 224-247. Springer, (2019)SMT-Based Analysis of Biological Computation., , , und . NASA Formal Methods, Volume 7871 von Lecture Notes in Computer Science, Seite 78-92. Springer, (2013)A formal verification approach to the design of synthetic gene networks., und . CDC/ECC, Seite 4873-4878. IEEE, (2011)A symbolic approach to controlling piecewise affine systems., , , , und . CDC, Seite 4230-4235. IEEE, (2010)Automated Reasoning for the Synthesis and Analysis of Biological Programs., und . Automated Reasoning for Systems Biology and Medicine, Volume 30 von Computational Biology, Springer, (2019)Experimental Biological Protocols with Formal Semantics., , , , und . CMSB, Volume 11095 von Lecture Notes in Computer Science, Seite 165-182. Springer, (2018)Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks., und . ACC, Seite 2767-2772. IEEE, (2008)Formal analysis of piecewise affine systems through formula-guided refinement., , , , und . CDC, Seite 5899-5904. IEEE, (2010)The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models., , , , , und . J. Comput. Biol., 30 (9): 1046-1058 (September 2023)Large-scale Genetic Exploration of Genome-wide Models: an Application to Human Cancer Metabolism., , , , und . (November 2018)