Boyan Yordanov
Boyan Yordanov
Computational Science Laboratory, Microsoft Research
Dirección de correo verificada de microsoft.com - Página principal
TítuloCitado porAño
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
2452014
Robustness analysis and tuning of synthetic gene networks
G Batt, B Yordanov, R Weiss, C Belta
Bioinformatics 23 (18), 2415-2422, 2007
1522007
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
1202011
Formal methods for discrete-time dynamical systems
C Belta, B Yordanov, EA Gol
Springer, 2017
882017
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
542014
Formal analysis of discrete-time piecewise affine systems
B Yordanov, C Belta
IEEE Transactions on Automatic Control 55 (12), 2834-2840, 2010
482010
Orthogonal intercellular signaling for programmed spatial behavior
PK Grant, N Dalchau, JR Brown, F Federici, TJ Rudge, B Yordanov, ...
Molecular systems biology 12 (1), 2016
332016
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
332010
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
332010
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
312010
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
302006
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, 2018
292018
SMT-based analysis of biological computation
B Yordanov, CM Wintersteiger, Y Hamadi, H Kugler
NASA formal methods symposium, 78-92, 2013
282013
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, 16010, 2016
272016
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
272008
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
262007
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
242014
Analyzing and synthesizing genomic logic functions
N Paoletti, B Yordanov, Y Hamadi, CM Wintersteiger, H Kugler
International Conference on Computer Aided Verification, 343-357, 2014
202014
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
152006
Formal analysis of piecewise affine systems under parameter uncertainty with application to gene networks
B Yordanov, C Belta
2008 American Control Conference, 2767-2772, 2008
142008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20