List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 Journal of Theoretical Biology | 2022-03-10 | Paper |
| On logical bifurcation diagrams Journal of Theoretical Biology | 2019-04-26 | Paper |
| Dynamical modeling and analysis of large cellular regulatory networks Chaos | 2016-03-04 | Paper |
| CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks Theoretical Computer Science | 2011-06-28 | Paper |
| Computation Tree Regular Logic for Genetic Regulatory Networks Automated Technology for Verification and Analysis | 2008-11-20 | Paper |
Research outcomes over time
This page was built for person: P. T. Monteiro
