( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Analysis of Network Motifs.

, , и . CMSB, том 11095 из Lecture Notes in Computer Science, стр. 111-128. Springer, (2018)

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.

Boyan Johnev

Stoyan Yordanov

Desislava Veselinova Boyanova

Gergana Boyanova Marinova

Boyan Garvalov

 

Другие публикации лиц с тем же именем

Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks., и . ACC, стр. 2767-2772. IEEE, (2008)Experimental Biological Protocols with Formal Semantics., , , , и . CMSB, том 11095 из Lecture Notes in Computer Science, стр. 165-182. Springer, (2018)Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis., , , и . SMT@IJCAR, том 1617 из CEUR Workshop Proceedings, стр. 41-50. CEUR-WS.org, (2016)Formal analysis of piecewise affine systems through formula-guided refinement., , , , и . CDC, стр. 5899-5904. IEEE, (2010)Automated Synthesis and Analysis of Switching Gene Regulatory Networks., , , , , , , и . Biosyst., (2016)Experimentally driven verification of synthetic biological circuits., , , , , , , , и . DATE, стр. 236-241. IEEE, (2012)Switching Gene Regulatory Networks., , , , , и . IPCAT, том 9303 из Lecture Notes in Computer Science, стр. 131-144. Springer, (2015)Formal Analysis of Network Motifs., , и . CMSB, том 11095 из Lecture Notes in Computer Science, стр. 111-128. Springer, (2018)Temporal logic control of discrete-time piecewise affine systems., и . CDC, стр. 3182-3187. IEEE, (2009)An SMT-Based Framework for Reasoning About Discrete Biological Models., , , , и . ISBRA, том 13760 из Lecture Notes in Computer Science, стр. 114-125. Springer, (2022)