P. T. Monteiro

Available identifiers

zbMath Open monteiro.pedro-tMaRDI QIDQ548482

List of research outcomes

Publication	Date of Publication	Type
Logical modelling, some recent methodological advances illustrated	2024-11-13	Paper
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

This page was built for person: P. T. Monteiro