| Synthetic Biology Open Language (SBOL) Version 2.3. | 0 | 0.34 | 2019 |
| Synthetic Biology Open Language Visual (SBOL Visual) Version 2.1. | 0 | 0.34 | 2019 |
| Synthetic Biology Open Language (SBOL) Version 2.2.0. | 1 | 0.37 | 2018 |
| Synthetic Biology Open Language (SBOL) Version 2.1.0. | 0 | 0.34 | 2016 |
| A Framework for Genetic Logic Synthesis | 0 | 0.34 | 2015 |
| Stochastic Model Checking of Genetic Circuits. | 4 | 0.42 | 2014 |
| Design and Test of Genetic Circuits Using ${\tt iBioSim}$iBioSim. | 0 | 0.34 | 2012 |
| Utilizing stochastic model checking to analyze genetic circuits. | 6 | 0.56 | 2012 |
