Robustness analysis and tuning of synthetic gene networks. - Grégory Batt; Boyan Yordanov; Ron Weiss; Calin Belta (Bioinform., 2007)

Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks. - Boyan Yordanov; Calin Belta (ACC, 2008)

Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. - Boyan Yordanov; Calin Belta (HSCC, 2008)

Temporal logic control of discrete-time piecewise affine systems. - Boyan Yordanov; Calin Belta (CDC, 2009)

A symbolic approach to controlling piecewise affine systems. - Jana Tumova; Boyan Yordanov; Calin Belta; Ivana Cerna; Jiri Barnat (CDC, 2010)

Formal Analysis of Discrete-Time Piecewise Affine Systems. - Boyan Yordanov; Calin Belta (IEEE Trans. Autom. Control., 2010)

A formal verification approach to the design of synthetic gene networks. - Boyan Yordanov; Calin Belta (CDC/ECC, 2011)

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 (DATE, 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)

Functional Analysis of Large-Scale DNA Strand Displacement Circuits. - Boyan Yordanov; Christoph M. Wintersteiger; Youssef Hamadi; Andrew Phillips; Hillel Kugler (DNA, 2013)

SMT-Based Analysis of Biological Computation. - Boyan Yordanov; Christoph M. Wintersteiger; Youssef Hamadi; Hillel Kugler (NASA Formal Methods, 2013)

Formal analysis of piecewise affine systems through formula-guided refinement. - Boyan Yordanov; Jana Tumova; Ivana Cerná; Jiri Barnat; Calin Belta (Autom., 2013)

Analyzing and Synthesizing Genomic Logic Functions. - Nicola Paoletti; Boyan Yordanov; Youssef Hamadi; Christoph M. Wintersteiger; Hillel Kugler (CAV, 2014)

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. - Markus N. Rabe; Christoph M. Wintersteiger; Hillel Kugler; Boyan Yordanov; Youssef Hamadi (QEST, 2014)

Synthesizing and Tuning Chemical Reaction Networks with Specified Behaviours. - Neil Dalchau; Niall Murphy; Rasmus L. Petersen; Boyan Yordanov (DNA, 2015)

Switching Gene Regulatory Networks. - Yoli Shavit; Boyan Yordanov; Sara-Jane Dunn; Christoph M. Wintersteiger; Youssef Hamadi; Hillel Kugler (IPCAT, 2015)

Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. - Peter Backeman; Christoph M. Wintersteiger; Boyan Yordanov; Sara-Jane Dunn (SMT@IJCAR, 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)

Experimental Biological Protocols with Formal Semantics. - Alessandro Abate; Luca Cardelli; Marta Kwiatkowska; Luca Laurenti; Boyan Yordanov (CMSB, 2018)

Formal Analysis of Network Motifs. - Hillel Kugler; Sara-Jane Dunn; Boyan Yordanov (CMSB, 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 (IEEE DataPort, 2018)

Fast Enumeration of Non-isomorphic Chemical Reaction Networks. - Carlo Spaccasassi; Boyan Yordanov; Andrew Phillips; Neil Dalchau (CMSB, 2019)

Automated Reasoning for the Synthesis and Analysis of Biological Programs. - Sara-Jane Dunn; Boyan Yordanov (Automated Reasoning for Systems Biology and Medicine, 2019)

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)

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)

An SMT-Based Framework for Reasoning About Discrete Biological Models. - Boyan Yordanov; Sara-Jane Dunn; Colin Gravill; Hillel Kugler; Christoph M. Wintersteiger (ISBRA, 2022)

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., 2023)