iBioSim

iBioSim

iBioSim has been developed for the modeling, analysis, and design of genetic circuits. It supports modeling and visualization support for multi-cellular and spatial models, importing and exporting models specified using the Systems Biology Markup Language (SBML), and is one of the first tools to also support the Synthetic Biology Open Language (SBOL).

Contributors

Avatar

Pedro Fontanarrosa

Postdoctoral Researcher

Avatar

Zhen Zhang

Utah State University, Assistant Professor

Avatar

Leandro Watanabe

Google, Software Engineer

Avatar

Curtis Madsen

Sandia National Laboratories, R&D S&E, Computer Science

Avatar

Tramy Nguyen

Raytheon BBN Technologies, Research Scientist/Software Engineer

Avatar

Hiroyuki Kuwahara

King Abdullah University of Science and Technology, Computational Bioscience Research Center Research Scientist

Avatar

Nathan Barker

Southern Utah University, Department Chair of Computer Science & Information Systems

Avatar

Nam-phuong Nguyen

Boundless Bio INC, Principal Scientist I

Avatar

Payton Thomas

Undergraduate Researcher

Avatar

Thomas Stoughton

Undergraduate Researcher

Avatar

Kevin Jones

Lockheed Martin, Senior Cyber Applied Research Scientist

Avatar

Tyler Patterson

Ever Accountable, President

Avatar

Jason Stevens

Amazon, Business Intelligence Engineer

Publications

  • Automated Generation of Dynamic Models for Genetic Regulatory Networks
  • A Computational Workflow for the Automated Generation of Models of Genetic Designs
  • iBioSim 3: A Tool for Model-Based Genetic Circuit Design
  • Generating Systems Biology Markup Language Models from the Synthetic Biology Open Language
  • Technology mapping of genetic circuit designs
  • Directed Acyclic Graph-Based Technology Mapping of Genetic Circuit Models
  • Hierarchical Stochastic Simulation of Genetic Circuits
  • Hierarchical stochastic simulation of genetic circuits
  • A Methodology to Annotate Systems Biology Markup Language Models with the Synthetic Biology Open Language
  • Hierarchical Stochastic Simulation Algorithm for SBML Models of Genetic Circuits
  • Dynamic Modeling of Cellular Populations within iBioSim
  • Design and Test of Genetic Circuits Using tt iBioSim
  • Modeling and Visualization of Synthetic Genetic Circuits
  • iBioSim: a tool for the analysis and design of genetic circuits
  • Representing Genetic Networks as Labeled Hybrid Petri Nets for State Space Exploration and Markov Chain Analysis