default search action

combined dblp search
author search
venue search
publication search

ask others

Boyan Yordanov

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jcb/YordanovDGAKW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcb/YordanovDGAKW23
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): 1046-1058 (2023)
2022
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/isbra/YordanovDGKW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isbra/YordanovDGKW22
Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Hillel Kugler, Christoph M. Wintersteiger:
An SMT-Based Framework for Reasoning About Discrete Biological Models. ISBRA 2022: 114-125
2021
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcbb/DunnKY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcbb/DunnKY21
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): 261-271 (2021)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcbb/OcchipintiHKWYA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcbb/OcchipintiHKWYA21
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): 2339-2352 (2021)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/SpaccasassiYPD19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/SpaccasassiYPD19
Carlo Spaccasassi, Boyan Yordanov, Andrew Phillips, Neil Dalchau:
Fast Enumeration of Non-isomorphic Chemical Reaction Networks. CMSB 2019: 224-247
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/cb/DunnY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/cb/DunnY19
Sara-Jane Dunn, Boyan Yordanov:
Automated Reasoning for the Synthesis and Analysis of Biological Programs. Automated Reasoning for Systems Biology and Medicine 2019: 37-62
2018
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/cmsb/KuglerDY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/KuglerDY18
Hillel Kugler, Sara-Jane Dunn, Boyan Yordanov:
Formal Analysis of Network Motifs. CMSB 2018: 111-128
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cmsb/AbateCKLY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cmsb/AbateCKLY18
Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov:
Experimental Biological Protocols with Formal Semantics. CMSB 2018: 165-182
[d1]
- view
  authority control:
- export record
  dblp key:
  - data/10/HamadiAKWY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/HamadiAKWY18
Youssef Hamadi, Claudio Angione, Hillel Kugler, Christoph M. Wintersteiger, Boyan Yordanov:
Large-scale Genetic Exploration of Genome-wide Models: an Application to Human Cancer Metabolism. IEEE DataPort, 2018
2017
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1710-08016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1710-08016
Alessandro Abate, Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Boyan Yordanov:
Experimental Biological Protocols with Formal Semantics. CoRR abs/1710.08016 (2017)
2016
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/biosystems/ShavitYDWOHLK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/biosystems/ShavitYDWOHLK16
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: 26-34 (2016)
[c14]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/BackemanWYD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BackemanWYD16
Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn:
Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. SMT@IJCAR 2016: 41-50
2015
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/dna/DalchauMPY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dna/DalchauMPY15
Neil Dalchau, Niall Murphy, Rasmus L. Petersen, Boyan Yordanov:
Synthesizing and Tuning Chemical Reaction Networks with Specified Behaviours. DNA 2015: 16-33
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ipcat/ShavitYDWHK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipcat/ShavitYDWHK15
Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler:
Switching Gene Regulatory Networks. IPCAT 2015: 131-144
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DalchauMPY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DalchauMPY15
Neil Dalchau, Niall Murphy, Rasmus L. Petersen, Boyan Yordanov:
Synthesizing and tuning chemical reaction networks with specified behaviours. CoRR abs/1508.04403 (2015)
2014
[c11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/PaolettiYHWK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/PaolettiYHWK14
Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler:
Analyzing and Synthesizing Genomic Logic Functions. CAV 2014: 343-357
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/RabeWKYH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/RabeWKYH14
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: 388-403
2013
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/YordanovTCBB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/YordanovTCBB13
Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta:
Formal analysis of piecewise affine systems through formula-guided refinement. Autom. 49(1): 261-266 (2013)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/dna/YordanovWHPK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dna/YordanovWHPK13
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler:
Functional Analysis of Large-Scale DNA Strand Displacement Circuits. DNA 2013: 189-203
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/YordanovWHK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/YordanovWHK13
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler:
SMT-Based Analysis of Biological Computation. NASA Formal Methods 2013: 78-92
2012
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/YordanovTCBB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/YordanovTCBB12
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): 1491-1504 (2012)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/date/YordanovAGGCBHBD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/date/YordanovAGGCBHBD12
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: 236-241
2011
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/YordanovB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/YordanovB11
Boyan Yordanov, Calin Belta:
A formal verification approach to the design of synthetic gene networks. CDC/ECC 2011: 4873-4878
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1109-1275
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1109-1275
Boyan Yordanov, Calin Belta:
A Formal Verification Approach to the Design of Synthetic Gene Networks. CoRR abs/1109.1275 (2011)
2010
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/YordanovB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/YordanovB10
Boyan Yordanov, Calin Belta:
Formal Analysis of Discrete-Time Piecewise Affine Systems. IEEE Trans. Autom. Control. 55(12): 2834-2840 (2010)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/TumovaYBCB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/TumovaYBCB10
Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat:
A symbolic approach to controlling piecewise affine systems. CDC 2010: 4230-4235
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/YordanovTBCB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/YordanovTBCB10
Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat:
Formal analysis of piecewise affine systems through formula-guided refinement. CDC 2010: 5899-5904

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/YordanovB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/YordanovB09
Boyan Yordanov, Calin Belta:
Temporal logic control of discrete-time piecewise affine systems. CDC 2009: 3182-3187
2008
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/YordanovB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/YordanovB08
Boyan Yordanov, Calin Belta:
Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks. ACC 2008: 2767-2772
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/YordanovB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/YordanovB08
Boyan Yordanov, Calin Belta:
Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. HSCC 2008: 542-555
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/bioinformatics/BattYWB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bioinformatics/BattYWB07
Grégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta:
Robustness analysis and tuning of synthetic gene networks. Bioinform. 23(18): 2415-2422 (2007)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.