Gregory Batt  --  Presentations  

• Validation of genetic regulatory network models, in CDC workshop on Hybrid Systems Biology, December 2006, San Diego, CA, USA. [slides]

• Automatic tuning of synthetic gene networks, in CDC workshop on Hybrid Systems Biology, December 2006, San Diego, CA, USA. (Presented by C. Belta) [slides]

• Combining discrete abstraction and model checking for the analysis of partially-known models of natural and synthetic gene networks, in MIT Bioinformatics Seminar, October 2006, Cambridge, USA. [abstract and slides]

• Formal verification of hybrid models of genetic regulatory networks, in Dagstuhl Seminar on Simulation and Verification of Dynamic Systems, April 2006, Dagstuhl, Germany. [abstract and slides]

• Validation of qualitative models of genetic regulatory networks: A method based on formal verification techniques, at Brandeis University,  March 2006, Waltham, USA.

• Qualitative analysis and verification of hybrid models of genetic regulatory networks: Nutritional stress response in E. coli, in CISE seminar at Boston University, January 2006, Boston, USA. [abstract and slides]

• Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in E. coli, in Workshop on Computation of Biochemical Pathways and Genetic Networks, September 2005, Heidelberg, Germany. [slides]

• Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in E. coli, in Workshop on Dynamical Modeling and Analysis of Biological Regulatory Networks, May 2005, Marseille, France. [slides]

• Qualitative modeling and simulation of genetic regulatory networks, in Minisymposium on Cell Biology with Control and System Theory of Mathematical Theory of Networks and Systems Conference, July 2004, Leuven, Belgium. [slides]

• Robustness analysis and tuning of synthetic gene networks with parameter uncertainties, in Cold Spring Harbor conference on Engineering Principles in Biological Systems, December 2006, Cold Spring Harbor, NY, USA. [abstract and slides]

• Analysis and verification of qualitative models of genetic regulatory networks: A model-checking approach, in Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'05), August 2005, Edinburgh, UK. [abstract and slides]

• Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in E. coli, in Journées Ouvertes Biologie, Informatique et Mathématiques (JOBIM'05) , July 2005, Lyon, France

• Validation of qualitative models of genetic regulatory networks by model checking: Analysis of the nutritional stress response in E. coli, in Thirteenth International Conference on Intelligent Systems for Molecular Biology (ISMB'05), June 2005, Detroit, MI, USA. [abstract and slides]

• Qualitative analysis and verification of hybrid models of genetic regulatory networks : Nutritional stress response in E. coli, in Eighth International Workshop on Hybrid Systems : Computation and Control (HSCC'05), March 2005, Zurich, Switzerland. [abstract and slides]

• Model checking genetic regulatory networks using GNA and CADP, in International SPIN Workshop on Model Checking of Software (SPIN'04), a satellite workshop of European joint conferences on Theory And Practice of Software (ETAPS'04), April 2004, Barcelona, Spain. [abstract and slides]

• Formal validation of models of genetic regulatory networks, in Modeling and Simulation of Biological Regulatory Processes, a satellite meeting of European Conference on Computational Biology (ECCB'03), October 2003, Paris, France.

• Analysis of genetic regulatory networks: A model-checking approach, in International Workshop on Qualitative Reasoning (QR'03), August 2003, Brasilia, Brazil.

• Analysis of genetic regulatory networks: A model-checking approach, in Model Checking and Artificial Intelligence (MoChArt'03), a satellite workshop of International Joint Conference on Artificial Intelligence (IJCAI'03), August 2003, Acapulco, Mexico.

• Validation of qualitative models of genetic regulatory networks: A method based on formal verification techniques, February 2006, Grenoble, France. [abstract and slides]