| Formal methods for discrete-time dynamical systems C Belta, B Yordanov, EA Gol Springer 89, 01, 2017 | 516 | 2017 |
| Defining an essential transcription factor program for naive pluripotency SJ Dunn, G Martello, B Yordanov, S Emmott, AG Smith Science 344 (6188), 1156-1160, 2014 | 455 | 2014 |
| Predicting DNA hybridization kinetics from sequence JX Zhang, JZ Fang, W Duan, LR Wu, AW Zhang, N Dalchau, B Yordanov, ... Nature chemistry 10 (1), 91-98, 2018 | 187 | 2018 |
| Robustness analysis and tuning of synthetic gene networks G Batt, B Yordanov, R Weiss, C Belta Bioinformatics 23 (18), 2415-2422, 2007 | 172 | 2007 |
| Temporal logic control of discrete-time piecewise affine systems B Yordanov, J Tumova, I Cerna, J Barnat, C Belta IEEE Transactions on Automatic Control 57 (6), 1491-1504, 2011 | 170 | 2011 |
| Computational design of nucleic acid feedback control circuits B Yordanov, J Kim, RL Petersen, A Shudy, VV Kulkarni, A Phillips ACS synthetic biology 3 (8), 600-616, 2014 | 121 | 2014 |
| Orthogonal intercellular signaling for programmed spatial behavior PK Grant, N Dalchau, JR Brown, F Federici, TJ Rudge, B Yordanov, ... Molecular systems biology 12 (1), 849, 2016 | 87 | 2016 |
| A deep learning model for predicting next-generation sequencing depth from DNA sequence JX Zhang, B Yordanov, A Gaunt, MX Wang, P Dai, YJ Chen, K Zhang, ... Nature communications 12 (1), 4387, 2021 | 75 | 2021 |
| A method to identify and analyze biological programs through automated reasoning B Yordanov, SJ Dunn, H Kugler, A Smith, G Martello, S Emmott NPJ systems biology and applications 2 (1), 1-16, 2016 | 58 | 2016 |
| Formal analysis of discrete-time piecewise affine systems B Yordanov, C Belta IEEE Transactions on Automatic Control 55 (12), 2834-2840, 2010 | 50 | 2010 |
| Formal analysis of piecewise affine systems through formula-guided refinement B Yordanov, J Tůmová, C Belta, I Černá, J Barnat 49th IEEE Conference on Decision and Control (CDC), 5899-5904, 2010 | 39 | 2010 |
| The sequence-dependent unfolding pathway plays a critical role in the amyloidogenicity of transthyretin M Yang, B Yordanov, Y Levy, R Brüschweiler, S Huo Biochemistry 45 (39), 11992-12002, 2006 | 38 | 2006 |
| A symbolic approach to controlling piecewise affine systems J Tůmová, B Yordanov, C Belta, I Černá, J Barnat 49th IEEE Conference on decision and control (CDC), 4230-4235, 2010 | 37 | 2010 |
| SMT-based analysis of biological computation B Yordanov, CM Wintersteiger, Y Hamadi, H Kugler NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 36 | 2013 |
| A computational method for automated characterization of genetic components B Yordanov, N Dalchau, PK Grant, M Pedersen, S Emmott, J Haseloff, ... ACS synthetic biology 3 (8), 578-588, 2014 | 32 | 2014 |
| Parameter synthesis for piecewise affine systems from temporal logic specifications B Yordanov, C Belta International workshop on hybrid systems: Computation and control, 542-555, 2008 | 28 | 2008 |
| Analyzing and synthesizing genomic logic functions N Paoletti, B Yordanov, Y Hamadi, CM Wintersteiger, H Kugler Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 27 | 2014 |
| Synthesizing and tuning stochastic chemical reaction networks with specified behaviours N Murphy, R Petersen, A Phillips, B Yordanov, N Dalchau Journal of The Royal Society Interface 15 (145), 20180283, 2018 | 25 | 2018 |
| Model checking discrete-time piecewise affine systems: application to gene networks B Yordanov, G Batt, C Belta 2007 European Control Conference (ECC), 2619-2626, 2007 | 25 | 2007 |
| Peptide plane can flip in two opposite directions: Implication in amyloid formation of transthyretin M Yang, M Lei, B Yordanov, S Huo The Journal of Physical Chemistry B 110 (12), 5829-5833, 2006 | 23 | 2006 |