Boyan Yordanov

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 10

Top Topics

Regulatory Networks

Formal Analysis

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Himanshu Arora, Hillel Kugler, Christoph M. Wintersteiger
The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models. J. Comput. Biol. 30 (9) (2023)
Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Hillel Kugler, Christoph M. Wintersteiger
An SMT-Based Framework for Reasoning About Discrete Biological Models. ISBRA (2022)
Sara-Jane Dunn, Hillel Kugler, Boyan Yordanov
Formal Analysis of Network Motifs Links Structure to Function in Biological Programs. IEEE ACM Trans. Comput. Biol. Bioinform. 18 (1) (2021)
Annalisa Occhipinti, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger, Boyan Yordanov, Claudio Angione
Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism. IEEE ACM Trans. Comput. Biol. Bioinform. 18 (6) (2021)
Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil Dalchau
Fast Enumeration of Non-isomorphic Chemical Reaction Networks. CMSB (2019)
Hillel Kugler, Sara-Jane Dunn, Boyan Yordanov
Formal Analysis of Network Motifs. CMSB (2018)
Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov
Experimental Biological Protocols with Formal Semantics. CMSB (2018)
Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov
Experimental Biological Protocols with Formal Semantics. CoRR (2017)
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Youssef Hamadi, Frederick J. Livesey, Hillel Kugler
Automated Synthesis and Analysis of Switching Gene Regulatory Networks. Biosyst. 146 (2016)
Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn
Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. SMT@IJCAR (2016)
Neil Dalchau, Niall Murphy, Rasmus L. Petersen, Boyan Yordanov
Synthesizing and tuning chemical reaction networks with specified behaviours. CoRR (2015)
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
Switching Gene Regulatory Networks. IPCAT (2015)
Neil Dalchau, Niall Murphy, Rasmus L. Petersen, Boyan Yordanov
Synthesizing and Tuning Chemical Reaction Networks with Specified Behaviours. DNA (2015)
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler
Analyzing and Synthesizing Genomic Logic Functions. CAV (2014)
Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. QEST (2014)
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
SMT-Based Analysis of Biological Computation. NASA Formal Methods (2013)
Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta
Formal analysis of piecewise affine systems through formula-guided refinement. Autom. 49 (1) (2013)
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler
Functional Analysis of Large-Scale DNA Strand Displacement Circuits. DNA (2013)
Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta
Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Trans. Autom. Control. 57 (6) (2012)
Boyan Yordanov, Evan Appleton, Rishi Ganguly, Ebru Aydin Gol, Swati Banerjee Carr, Swapnil Bhatia, Traci Haddock, Calin Belta, Douglas Densmore
Experimentally driven verification of synthetic biological circuits. DATE (2012)
Boyan Yordanov, Calin Belta
A formal verification approach to the design of synthetic gene networks. CDC/ECC (2011)
Boyan Yordanov, Calin Belta
A Formal Verification Approach to the Design of Synthetic Gene Networks CoRR (2011)
Boyan Yordanov, Calin Belta
Formal Analysis of Discrete-Time Piecewise Affine Systems. IEEE Trans. Autom. Control. 55 (12) (2010)
Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat
Formal analysis of piecewise affine systems through formula-guided refinement. CDC (2010)
Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat
A symbolic approach to controlling piecewise affine systems. CDC (2010)
Boyan Yordanov, Calin Belta
Temporal logic control of discrete-time piecewise affine systems. CDC (2009)
Boyan Yordanov, Calin Belta
Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks. ACC (2008)
Boyan Yordanov, Calin Belta
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. HSCC (2008)
Grégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta
Robustness analysis and tuning of synthetic gene networks. Bioinform. 23 (18) (2007)