Boyan Yordanov

According to our database, Boyan Yordanov authored at least 27 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models.

Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Himanshu Arora, Hillel Kugler, Christoph M. Wintersteiger

J. Comput. Biol., September, 2023

2022

An SMT-Based Framework for Reasoning About Discrete Biological Models.

Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Hillel Kugler, Christoph M. Wintersteiger

Proceedings of the Bioinformatics Research and Applications - 18th International Symposium, 2022

2021

Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism.

Annalisa Occhipinti, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger, Boyan Yordanov, Claudio Angione

IEEE ACM Trans. Comput. Biol. Bioinform., 2021

Formal Analysis of Network Motifs Links Structure to Function in Biological Programs.

Sara-Jane Dunn, Hillel Kugler, Boyan Yordanov

IEEE ACM Trans. Comput. Biol. Bioinform., 2021

2019

Automated Reasoning for the Synthesis and Analysis of Biological Programs.

Sara-Jane Dunn, Boyan Yordanov

Proceedings of the Automated Reasoning for Systems Biology and Medicine, 2019

Fast Enumeration of Non-isomorphic Chemical Reaction Networks.

Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil Dalchau

Proceedings of the Computational Methods in Systems Biology, 2019

2018

Large-scale Genetic Exploration of Genome-wide Models: an Application to Human Cancer Metabolism.

Youssef Hamadi, Claudio Angione, Hillel Kugler, Christoph M. Wintersteiger, Boyan Yordanov

Dataset, November, 2018

Formal Analysis of Network Motifs.

Hillel Kugler, Sara-Jane Dunn, Boyan Yordanov

Proceedings of the Computational Methods in Systems Biology, 2018

Experimental Biological Protocols with Formal Semantics.

Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov

Proceedings of the Computational Methods in Systems Biology, 2018

2016

Automated Synthesis and Analysis of Switching Gene Regulatory Networks.

Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Youssef Hamadi, Frederick J. Livesey, Hillel Kugler

Biosyst., 2016

Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis.

Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016

2015

Switching Gene Regulatory Networks.

Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler

Proceedings of the Information Processing in Cells and Tissues, 2015

Synthesizing and Tuning Chemical Reaction Networks with Specified Behaviours.

Neil Dalchau, Niall Murphy, Rasmus L. Petersen, Boyan Yordanov

Proceedings of the DNA Computing and Molecular Programming - 21st International Conference, 2015

2014

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains.

Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Analyzing and Synthesizing Genomic Logic Functions.

Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Formal analysis of piecewise affine systems through formula-guided refinement.

Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta

Autom., 2013

SMT-Based Analysis of Biological Computation.

Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler

Proceedings of the NASA Formal Methods, 2013

Functional Analysis of Large-Scale DNA Strand Displacement Circuits.

Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler

Proceedings of the DNA Computing and Molecular Programming - 19th International Conference, 2013

2012

Temporal Logic Control of Discrete-Time Piecewise Affine Systems.

Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta

IEEE Trans. Autom. Control., 2012

Experimentally driven verification of synthetic biological circuits.

Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, Douglas Densmore

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

A formal verification approach to the design of synthetic gene networks.

Boyan Yordanov, Calin Belta

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Formal Analysis of Discrete-Time Piecewise Affine Systems.

Boyan Yordanov, Calin Belta

IEEE Trans. Autom. Control., 2010

A symbolic approach to controlling piecewise affine systems.

Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Temporal logic control of discrete-time piecewise affine systems.

Boyan Yordanov, Calin Belta

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008

Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications.

Boyan Yordanov, Calin Belta

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks.

Boyan Yordanov, Calin Belta

Proceedings of the American Control Conference, 2008

2007

Robustness analysis and tuning of synthetic gene networks.

Grégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta

Bioinform., 2007