dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Boyan Yordanov (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoyan 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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoyan 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)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoyan Yordanov, Calin Belta: A formal verification approach to the design of synthetic gene networks. CDC-ECE 2011: 4873-4878
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoyan Yordanov, Calin Belta: A Formal Verification Approach to the Design of Synthetic Gene Networks CoRR abs/1109.1275: (2011)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJana Tumova, Boyan Yordanov, Calin Belta, Ivana Cerna, Jiri Barnat: A symbolic approach to controlling piecewise affine systems. CDC 2010: 4230-4235
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoyan Yordanov, Jana Tumova, Calin Belta, Ivana Cerna, Jiri Barnat: Formal analysis of piecewise affine systems through formula-guided refinement. CDC 2010: 5899-5904
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoyan Yordanov, Calin Belta: Formal Analysis of Discrete-Time Piecewise Affine Systems. IEEE Trans. Automat. Contr. 55(12): 2834-2840 (2010)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoyan Yordanov, Calin Belta: Temporal logic control of discrete-time piecewise affine systems. CDC 2009: 3182-3187
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBoyan Yordanov, Calin Belta: Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications. HSCC 2008: 542-555
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGrégory Batt, Boyan Yordanov, Ron Weiss, Calin Belta: Robustness analysis and tuning of synthetic gene networks. Bioinformatics 23(18): 2415-2422 (2007)

Selection of 10 from 10 records - Boyan Yordanov has 13 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page