Pedro T. Monteiro

Available identifiers

zbMath Open monteiro.pedro-tMaRDI QIDQ548482

List of research outcomes

Publication	Date of Publication	Type
ModRev -- model revision tool for Boolean logical models of biological regulatory networks	2022-12-22	Paper
Minimal perturbation in university timetabling with maximum satisfiability	2022-12-21	Paper
Stable states of Boolean regulatory networks composed over hexagonal grids	2022-04-25	Paper
Boolean function metrics can assist modelers to check and choose logical rules	2022-03-10	Paper
On logical bifurcation diagrams	2019-04-26	Paper
Dynamical modeling and analysis of large cellular regulatory networks	2016-03-04	Paper
CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks	2011-06-28	Paper
Computation Tree Regular Logic for Genetic Regulatory Networks	2008-11-20	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pedro T. Monteiro