Filtros de búsqueda

Lista de obras de Pedro Monteiro

A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks

artículo científico publicado en 2009

Cooperative development of logical modelling standards and tools with CoLoMoTo

artículo científico publicado en 2015

Dynamical modeling and analysis of large cellular regulatory networks.

artículo científico publicado en 2013

Efficient Handling of Large Signalling-Regulatory Networks by Focusing on Their Core Control

article by Aurélien Nald et al published 2012 in Lecture Notes in Computer Science

Efficient Verification for Logical Models of Regulatory Networks

article

Efficient parameter search for qualitative models of regulatory networks using symbolic model checking

artículo científico publicado en 2010

EpiLog: A software for the logical modelling of epithelial dynamics

article

Estimating Attractor Reachability in Asynchronous Logical Models

article

From a genome assembly to full regulatory network prediction: the case study of Rhodotorula toruloides putative Haa1-regulon

artículo científico publicado en 2021

Genetic network analyzer: a tool for the qualitative modeling and simulation of bacterial regulatory networks.

artículo científico publicado en 2012

Hybrid epithelial-mesenchymal phenotypes are controlled by microenvironmental factors

artículo científico publicado en 2020

Large-Scale Simulations of Bacterial Populations Over Complex Networks

artículo científico publicado en 2018

Logical Modeling and Analysis of Cellular Regulatory Networks With GINsim 3.0.

artículo científico publicado en 2018

Logical Modeling and Dynamical Analysis of Cellular Networks

artículo científico publicado en 2016

Model checking to assess T-helper cell plasticity

artículo científico publicado en 2014

Not seeing the forest for the trees: size of the minimum spanning trees (MSTs) forest and branch significance in MST-based phylogenetic analysis

artículo científico publicado en 2015

On logical bifurcation diagrams

artículo científico publicado en 2019

PHYLOViZ: phylogenetic inference and data visualization for sequence based typing methods.

artículo científico publicado en 2012

Predicting Gene and Genomic Regulation in Saccharomyces cerevisiae, using the YEASTRACT Database: A Step-by-Step Guided Analysis

artículo científico publicado en 2016

Qualitative modelling and formal verification of the FLR1 gene mancozeb response in Saccharomyces cerevisiae.

artículo científico publicado en 2011

Refining current knowledge on the yeast FLR1 regulatory network by combined experimental and computational approaches

artículo científico publicado en 2010

Repairing Boolean logical models from time-series data using Answer Set Programming

article

Revision of Boolean Models of Regulatory Networks Using Stable State Observations

artículo científico publicado en 2019

SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools

artículo científico publicado en 2013

Temporal logic patterns for querying dynamic models of cellular interaction networks

artículo científico publicado en 2008

The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks.

artículo científico publicado en 2018

The PathoYeastract database: an information system for the analysis of gene and genomic transcription regulation in pathogenic yeasts.

artículo científico publicado en 2016

The YEASTRACT database: a tool for the analysis of transcription regulatory associations in Saccharomyces cerevisiae

artículo científico publicado en 2006

The YEASTRACT database: an upgraded information system for the analysis of gene and genomic transcription regulation in Saccharomyces cerevisiae

artículo científico

YEASTRACT+: a portal for cross-species comparative genomics of transcription regulation in yeasts

artículo científico publicado en 2020

YEASTRACT-DISCOVERER: new tools to improve the analysis of transcriptional regulatory associations in Saccharomyces cerevisiae

artículo científico publicado en 2008

YEASTRACT: an upgraded database for the analysis of transcription regulatory networks in Saccharomyces cerevisiae.

artículo científico publicado en 2017

YEASTRACT: providing a programmatic access to curated transcriptional regulatory associations in Saccharomyces cerevisiae through a web services interface

artículo científico publicado en 2010