Publications


Following are some of our selected publications in the domain of Bio-Design Automation.

Journal Articles

  1. Hasan Baig and Jan Madsen, “A Simulation Approach for Timing Analysis of Genetic Logic Circuits”, ACS Synthetic Biology, January 2017.
  2. Hasan Baig and Jan Madsen, “D-VASim – An Interactive Virtual Laboratory Environment for the Simulation and Analysis of Genetic Circuits”, Bioinformatics, October 06, 2016. doi: 10.1093/bioinformatics/btw592. [PDF]

International Conferences and Workshops

  1. Hasan Baig and Jan Madsen, “Taming Living Logic using Formal Methods”, LNCS. (Accepted)
  2. Hasan Baig and Jan Madsen, “Logic Analysis and Verification of n-input Genetic Logic Circuits”, Design Automation and Test in Europe (DATE) 2017, Lausanne, Switzerland, March 27-31, 2017.
  3. Hasan Baig and Jan Madsen, “Logic and Timing Analysis of Genetic Logic Circuits using D-VASim”, 8th International Workshop on Bio Design Automation (IWBDA) 2016, Newcastle upon Tyne, UK, August 16-18, 2016. [PDF]
  4. Hasan Baig and Jan Madsen, “D-VASim: Dynamic Virtual Analyzer and Simulator for Genetic Circuits”, 7th International Workshop on Bio-Design Automation (IWBDA) 2015, Seattle Washington, USA, Aug 19-21, 2015. [PDF]

Poster/Demo presentations

  1. Hasan Baig and Jan Madsen, “Timing Analysis of Genetic Logic Circuits using D-VASim”. University Booth at Design Automation and Test in Europe (DATE) 2016, Dresden, Germany, Mar 15-17, 2016. [PDF]
  2. Hasan Baig and Jan Madsen, “Analysis and Verification of Genetic Logic Circuits using D-VASim”, Synthetic and Systems Biology Summer School (SSBSS) 2015, Taormina, Italy, July 5-9, 2015.

Reports published by Industries

  1. D-VASim: A Software Tool to Simulate and Analyze Genetic Logic Circuits, published by National Instruments and can be seen here