Hasan Baig

  1. 2017
  2. Published

    A Top-down Approach to Genetic Circuit Synthesis and Optimized Technology Mapping. / Baig, Hasan; Madsen, Jan.

    Proceedings of 9th International Workshop on Bio-Design Automation. 2017.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2017Researchpeer-review

  3. Published

    Logic analysis and verification of n-input genetic logic circuits. / Baig, Hasan; Madsen, Jan.

    Proceedings of 20th Design, Automation and Test in Europe. IEEE, 2017. p. 654-657 7927070 (Proceedings of the Design, Automation, and Test in Europe Conference and Exhibition).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2017Researchpeer-review

  4. Published

    Methods and Tools for the Analysis, Verification and Synthesis of Genetic Logic Circuits, / Baig, Hasan.

    2017. 253 p. (DTU Compute PHD-2017, Vol. 456).

    Research output: Book/ReportPh.D. thesis – Annual report year: 2017Research

  5. Published

    Simulation Approach for Timing Analysis of Genetic Logic Circuits. / Baig, Hasan; Madsen, Jan.

    In: A C S Synthetic Biology, Vol. 6, No. 7, 2017, p. 1169-1179.

    Research output: Contribution to journalJournal article – Annual report year: 2017Researchpeer-review

  6. Published

    Taming Living Logic using Formal Methods. / Baig, Hasan; Madsen, Jan.

    Models, Algorithms, Logics and Tools. Springer, 2017. p. 503–515 (Lecture Notes in Computer Science, Vol. 10460).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2017Researchpeer-review

  7. 2016
  8. Published

    D-VASim: An Interactive Virtual Laboratory Environment for the Simulation and Analysis of Genetic Circuits. / Baig, Hasan; Madsen, Jan.

    In: Bioinformatics, Vol. 33, No. 2, 2016, p. 297-299.

    Research output: Contribution to journalJournal article – Annual report year: 2016Researchpeer-review

  9. Published

    D-VASim: A Software Tool to Simulate and Analyze Genetic Logic Circuits. / Baig, Hasan; Madsen, Jan.

    2016, Case study.

    Research output: Other contributionNet publication - Internet publication – Annual report year: 2016Research

  10. Published

    Logic and Timing Analysis of Genetic Logic Circuits using D-VASim. / Baig, Hasan; Madsen, Jan.

    Proceedings of the 8th International Workshop on Bio-Design Automation (IWBDA 2016). 2016. p. 77-78.

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedings – Annual report year: 2016Researchpeer-review

  11. Published

    Timing Analysis of Genetic Logic Circuits using D-VASim. / Baig, Hasan; Madsen, Jan.

    2016. Abstract from 19th Conference and Exhibition on Design, Automation and Test in Europe Conference and Exhibition (DATE 2016), Dresden, Germany.

    Research output: Contribution to conferenceConference abstract for conference – Annual report year: 2016Researchpeer-review

  12. 2015
  13. Published

    D-VASim: Dynamic Virtual Analyzer and Simulator for Genetic Circuits. / Baig, Hasan; Madsen, Jan.

    Proceedings of the 7th International Workshop on Bio-Design Automation (IWBDA 2015). 2015. p. 48-49.

    Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedings – Annual report year: 2015Researchpeer-review