Boyan Yordanov
发表
Calin Belta,
Ivana Cerná,
Jiri Barnat,
2013,
Autom..
Hillel Kugler,
Youssef Hamadi,
Sara-Jane Dunn,
2016,
Biosyst..
Sara-Jane Dunn,
Boyan Yordanov,
Hillel Kugler,
2019,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Luca Cardelli,
Alessandro Abate,
Luca Laurenti,
2017,
CMSB.
Hillel Kugler,
Youssef Hamadi,
Christoph M. Wintersteiger,
2012
.
Sara-Jane Dunn,
Boyan Yordanov,
B. Yordanov,
2019,
Automated Reasoning for Systems Biology and Medicine.
Calin Belta,
Boyan Yordanov,
2010,
IEEE Transactions on Automatic Control.
Nicola Paoletti,
Hillel Kugler,
Youssef Hamadi,
2014,
CAV.
Andrew Phillips,
Hillel Kugler,
Youssef Hamadi,
2013,
DNA.
Hillel Kugler,
Youssef Hamadi,
Christoph M. Wintersteiger,
2013,
NASA Formal Methods.
Hillel Kugler,
Markus N. Rabe,
Youssef Hamadi,
2014,
QEST.
Calin Belta,
Ivana Cerná,
Jiri Barnat,
2010,
49th IEEE Conference on Decision and Control (CDC).
Calin Belta,
Boyan Yordanov,
2008,
HSCC.
Boyan Yordanov,
Michael Pedersen,
Michael Pedersen,
2015,
Methods in molecular biology.
Calin Belta,
Ron Weiss,
Grégory Batt,
2007,
Bioinform..
Sara-Jane Dunn,
Christoph M. Wintersteiger,
Boyan Yordanov,
2016,
SMT@IJCAR.
Andrew Phillips,
Boyan Yordanov,
2014
.
Vishwesh V. Kulkarni,
Andrew Phillips,
Jongmin Kim,
2013
.
Calin Belta,
Boyan Yordanov,
2011,
IEEE Conference on Decision and Control and European Control Conference.
Calin Belta,
Ivana Cerná,
Jiri Barnat,
2010,
49th IEEE Conference on Decision and Control (CDC).
Hillel Kugler,
Sara-Jane Dunn,
Boyan Yordanov,
2018,
CMSB.
Calin Belta,
Swapnil Bhatia,
Douglas Densmore,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Niall Murphy,
Neil Dalchau,
Boyan Yordanov,
2015,
DNA.
Calin Belta,
Ivana Cerná,
Jiri Barnat,
2012,
IEEE Transactions on Automatic Control.
Hillel Kugler,
Youssef Hamadi,
Sara-Jane Dunn,
2015,
IPCAT.
Calin Belta,
Boyan Yordanov,
C. Belta,
2009,
Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.
Calin Belta,
Ebru Aydin Gol,
Boyan Yordanov,
2017
.
Hillel Kugler,
Youssef Hamadi,
Claudio Angione,
2020,
IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Andrew Phillips,
Jim Haseloff,
Neil Dalchau,
2016,
Molecular systems biology.
Hillel Kugler,
Youssef Hamadi,
Christoph M. Wintersteiger,
2013
.