publication venue for Introduction to the Special Issue on Computational Synthetic Biology 2014 Stochastic Model Checking of Genetic Circuits 2014 Iris: A Hybrid Nanophotonic Network Design for High-Performance and Low-Power on-Chip Communication 2011
