ModRev

Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
Jan 1, 2018
Go to Project Site Code

ModRev is a command line tool to revise Boolean logical models of biological regulatory networks.

This tool was developed for UNIX and MacOSX systems.

ModRev is able to repair inconsistent Boolean models under the following:

  • Set of stable state observations
  • Set of time-series observations
    • With synchronous update scheme
    • With asynchronous update scheme
Model Revision ModRev Logical Models
Filipe Gouveia
Filipe Gouveia
Computer Science Researcher

My research interests include artificial intelligence, computational logic and automated reasoning.

Publications

Model Revision of Boolean Logical Models of Biological Regulatory Networks
Complex cellular processes can be represented by biological regulatory networks. Computational models of such networks are essential to …
Filipe Gouveia
PDF Cite Code Project Slides PhD Thesis
ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks
Biological regulatory networks can be represented by computational models, which allow the study and the analysis of biological …
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
PDF Cite Code Project Slides Video DOI
Semi-automatic model revision of Boolean regulatory networks: confronting time-series observations with (a)synchronous dynamics
Motivation: Complex cellular processes can be represented by biological regulatory networks. Computational models of such networks have …
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
PDF Cite Code Project DOI
Revision of Boolean Models of Regulatory Networks Using Stable State Observations
Models of biological regulatory networks are essential to understand cellular processes. However, the definition of such models is …
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
PDF Cite Code Project DOI
Model revision of boolean regulatory networks at stable state
Models of biological regulatory networks are essential to understand the cellular processes. However, the definition of such models is …
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
PDF Cite Code Project Slides DOI
Model revision of logical regulatory networks using logic-based tools
Recently, biological data has been increasingly produced calling for the existence of computational models able to organize and …
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
PDF Cite Code Project DOI