Boyan Yordanov
Boyan Yordanov
Scientific Technologies
Verified email at
Cited by
Cited by
Formal methods for discrete-time dynamical systems
C Belta, B Yordanov, EA Gol
Springer 89, 01, 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
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
Robustness analysis and tuning of synthetic gene networks
G Batt, B Yordanov, R Weiss, C Belta
Bioinformatics 23 (18), 2415-2422, 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
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
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
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
Formal analysis of discrete-time piecewise affine systems
B Yordanov, C Belta
IEEE Transactions on Automatic Control 55 (12), 2834-2840, 2010
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
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
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
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
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
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
Parameter synthesis for piecewise affine systems from temporal logic specifications
B Yordanov, C Belta
Hybrid Systems: Computation and Control: 11th International Workshop, HSCC …, 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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20