Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Boyan Yordanov

2010 – today

see FAQ

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

2013
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/automatica/YordanovTCBB13
- ask others
Boyan Yordanov, Jana Tumova, Ivana Cerná, Jiri Barnat, Calin Belta: Formal analysis of piecewise affine systems through formula-guided refinement. Automatica 49(1): 261-266 (2013)
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/nfm/YordanovWHK13
- ask others
Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler: SMT-Based Analysis of Biological Computation. NASA Formal Methods 2013: 78-92
2012
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tac/YordanovTCBB12
- ask others
Boyan Yordanov, Jana Tumova, Ivana Cerna, Jiri Barnat, Calin Belta: Temporal Logic Control of Discrete-Time Piecewise Affine Systems. IEEE Trans. Automat. Contr. 57(6): 1491-1504 (2012)
[c6]
- view
  - electronic edition @ ieee.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/date/YordanovAGGCBHBD12
- ask others
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
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/YordanovB11
- ask others
Boyan Yordanov, Calin Belta: A formal verification approach to the design of synthetic gene networks. CDC-ECE 2011: 4873-4878
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1109-1275
- ask others
Boyan Yordanov, Calin Belta: A Formal Verification Approach to the Design of Synthetic Gene Networks. CoRR abs/1109.1275 (2011)
2010
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tac/YordanovB10
- ask others
Boyan Yordanov, Calin Belta: Formal Analysis of Discrete-Time Piecewise Affine Systems. IEEE Trans. Automat. Contr. 55(12): 2834-2840 (2010)
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/TumovaYBCB10
- ask others
Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat: A symbolic approach to controlling piecewise affine systems. CDC 2010: 4230-4235
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/YordanovTBCB10
- ask others
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 list?

2009
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/cdc/YordanovB09
- ask others
Boyan Yordanov, Calin Belta: Temporal logic control of discrete-time piecewise affine systems. CDC 2009: 3182-3187
2008
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/hybrid/YordanovB08
- ask others
Boyan Yordanov, Calin Belta: Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. HSCC 2008: 542-555
2007
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/bioinformatics/BattYWB07
- ask others
Grégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta: Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23(18): 2415-2422 (2007)