Boyan Yordanov

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