Sangiovanni, Mara
(2014)
Model Checking of Metabolic Networks: Application to Metabolic Diseases.
[Tesi di dottorato]
Item Type: |
Tesi di dottorato
|
Lingua: |
English |
Title: |
Model Checking of Metabolic Networks: Application to Metabolic Diseases |
Creators: |
Creators | Email |
---|
Sangiovanni, Mara | mara.sangiovanni@unina.it |
|
Date: |
29 March 2014 |
Number of Pages: |
119 |
Institution: |
Università degli Studi di Napoli Federico II |
Department: |
Medicina Molecolare e Biotecnologie Mediche |
Scuola di dottorato: |
Biotecnologie |
Dottorato: |
Biologia computazionale e bioinformatica |
Ciclo di dottorato: |
26 |
Coordinatore del Corso di dottorato: |
nome | email |
---|
Cocozza, Sergio | cocozza@unina.it |
|
Tutor: |
nome | email |
---|
Peron, Adriano | UNSPECIFIED |
|
Date: |
29 March 2014 |
Number of Pages: |
119 |
Uncontrolled Keywords: |
Model Checking; Systems Biology; Genome-scale Metabolic Networks; |
Settori scientifico-disciplinari del MIUR: |
Area 01 - Scienze matematiche e informatiche > INF/01 - Informatica |
[error in script]
[error in script]
Date Deposited: |
07 Apr 2014 13:29 |
Last Modified: |
26 Jan 2015 12:21 |
URI: |
http://www.fedoa.unina.it/id/eprint/9785 |

Abstract
The prominent Model Checking technology is used to build executable models of Metabolic Networks.
These models are verified or simulated to extract relevant information on the dynamics of the underlying
biological system. The proposed methodology is tested on a genome-scale metabolic network model of the human hepatocyte to investigate on a mendelian disease called Primary Hyperoxaluria type I.
Downloads per month over past year
Actions (login required)
 |
View Item |