Jan Madsen

  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.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  3. Submitted

    Co-Simulation of Cyber-Physical System with Distributed Embedded Control. / Pedersen, Nicolai; Madsen, Jan (Main supervisor).

    DTU Compute, 2017. 136 p.

    Publication: ResearchPh.D. thesis – Annual report year: 2017

  4. Published
  5. 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 (Design, Automation, and Test in Europe Conference and Exhibition. Proceedings).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  6. Published

    Methods and Tools for the Analysis, Verification and Synthesis of Genetic Logic Circuits, / Baig, Hasan; Madsen, Jan (Main supervisor); Pop, Paul (Supervisor).

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

    Publication: ResearchPh.D. thesis – Annual report year: 2017

  7. Published

    Paper-Based Digital Microfluidic Chip for Multiple Electrochemical Assay Operated by a Wireless Portable Control System. / Ruecha, Nipapan; Lee, Jumi; Chae, Heedo; Cheong, Haena; Soum, Veasna; Preechakasedkit, Pattarachaya; Chailapakul, Orawon; Tanev, Georgi Plamenov; Madsen, Jan; Rodthongkum, Nadnudda; Kwon, Oh-Sun; Shin, Kwanwoo.

    In: Advanced Materials Technologies, Vol. 2, No. 3, 2017.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  8. 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.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  9. Published

    Synthesis of on-chip control circuits for mVLSI biochips. / Potluri, Seetal; Schneider, Alexander Rüdiger; Hørslev-Petersen, Martin; Pop, Paul; Madsen, Jan.

    Proceedings of 20th Design, Automation and Test in Europe. IEEE, 2017. p. 1799-1804 7927284 (Design, Automation, and Test in Europe Conference and Exhibition. Proceedings).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  10. Published
  11. 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).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

Previous 1 2 3 4 5 6 7 8 ...24 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word