Conference
P.T. Monteiro, F. Gouveia (2026)
pyModRev: a Python Tool for Model Revision of Boolean Networks
Proc. of the 24th Intl. Conf. on Computational Methods in Systems Biology (CMSB'26), LNCS 16678, 56-70

Preprint
L.X. Li, C. Bleker, S. Soliman, L. Calzone, N. Hiroi, T. Helikar, M. König, L. Ladeira, P.T. Monteiro, V. Noël, S. Pastva, A. Salazar, D. Šafránek, D. Thieffry, E. Tsirvouli, A. Niarakis, J. Gennari (2026)
TabularQual: A spreadsheet-based format for annotating and curating logical models in SBML-qual

Conference
J.E.R. Cury, P. Tenera Roxo, V. Manquinho, C. Chaouiya, P.T. Monteiro (2025)
Computation of Immediate Neighbours of Monotone Boolean Functions
Proc. of the 23th Intl. Conf. on Computational Methods in Systems Biology (CMSB'25), LNCS 15959, 3-22
Best student paper

Conference
M. Dauphinet, R. Henriques, P.T. Monteiro (2024)
Context-aware deep forecasting: Principles for the nation-wide management of blood products
Proc. of the 23th EPIA Conference on Artificial Intelligence (EPIA'24), LNAI, 14969, 359-372

Conference
C. Chaouiya, P.T. Monteiro, E. Remy (2024)
Logical modelling, some recent methodological advances illustrated
in M. Gadouleau, A. Castillo-Ramirez (editors)
Proc. of the 30th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA'24), LNCS 14782, 3-22

Journal
A. Lemos, F. Gouveia, P.T. Monteiro, I. Lynce (2024)
Iterative Train Scheduling under Disruption with Maximum Satisfiability
Journal of Artificial Intelligence Research, 79:1047-1090

Preprint
Karthik Raman, Miroslav Kratochvil, Brett G Olivier, Matthias Konig, Pratyay Sengupta, Dinesh Kumar Kuppa Baskaran, Tung VN Nguyen, Daniel Lobo, St Elmo Wilken, Krishna Kumar Tiwari, Aswathy K Raghu, Indumathi Palanikumar, Lavanya Raajaraam, Maziya Ibrahim, Sanjaay Balakrishnan, Shreyansh Umale, Frank Bergmann, Tanisha Malpani, Venkata P Satagopam, Reinhard Schneider, Moritz E Beber, Sarah Keating, Mihail Anton, Alina Renz, Meiyappan Lakshmanan, Dong-Yup Lee, Lokanand Koduru, Reihaneh Mostolizadeh, Oscar Dias, Emanuel Cunha, Alexandre Oliveira, Yi Qing Lee, Karsten Zengler, Rodrigo Santibanez-Palominos, Manish Kumar, Matteo Barberis, Bhanwar Lal Puniya, Tomas Helikar, Hoang V Dinh, Patrick F Suthers, Costas D Maranas, Isabella Casini, Seyed Babak Loghmani, Nadine Veith, Nantia Leonidou, Feiran Li, Yu Chen, Jens Nielsen, GaRyoung Lee, Sang Mi Lee, Gi Bae Kim, Pedro T Monteiro, Miguel C Teixeira, Hyun Uk Kim, Sang Yup Lee, Ulf W Liebal, Lars M Blank, Christian Lieven, Chaimaa Tarzi, Claudio Angione, Manga Enuh Blaise, Celik Pinar Aytar, Mikhail Kulyashov, llya Akberdin, Dohyeon Kim, Sung Ho Yoon, Zhaohui Xu, Jyotshana Gautam, William T Scott Jr, Peter J Schaap, Jasper J Koehorst, Cristal Zuniga, Gabriela Canto-Encalada, Sara Benito-Vaquerizo, Ivette Parera Olm, Maria Suarez-Diez, Qianqian Yuan, Hongwu Ma, Mohammad Mazharul Islam, Jason A Papin, Francisco Zorrilla, Kiran Raosaheb Patil, Arianna Basile, Juan Nogales, Granado San Leon, Freddy Castillo-Alfonso, Roberto Olivares-Hernandez, Gabriel Vigueras-Ramirez, Henning Hermjakob, Andreas Drager, Rahuman S Malik-Sheriff (2024)
FROG analysis ensures the reproducibility of genome scale metabolic models
bioRxiv:2024.09.24.614797

Conference
F. Cruz, P.T. Monteiro, A.S. Teixeira (2023)
Community structure in transcriptional regulatory networks of yeast species
Proc. of the 14th International Conference on Complex Networks (CompleNet'23), 38-49

Journal
M.C. Teixeira, R. Viana, M. Palma, J. Oliveira, M. Galocha, M.N. Mota, D. Couceiro, M.G. Pereira, M. Antunes, I.V. Costa, P. Pais, C. Parada, C. Chaouiya, I. Sá-Correia, P.T. Monteiro (2023)
YEASTRACT+: a portal for the exploitation of global transcription regulation and metabolic model data in yeast biotechnology and pathogenesis
Nucleic Acids Research, 51(D1):D785-D791

Conference
P. Dias, P.T. Monteiro, A.S. Teixeira (2022)
Functional characterization of transcriptional regulatory networks of yeast species
Proc. of the International School and Conference on Network Science (NetSciX'22), LNCS 13197, 140-154

Journal
J. Zobolas, P.T. Monteiro, M. Kuiper, Å. Flobak (2022)
Boolean function metrics can assist modelers to check and choose logical rules
Journal of Theoretical Biology, 538:111025

Journal
C.P. Godinho, M. Palma, J. Oliveira, M.N. Mota, M. Antunes, M.C. Teixeira, P.T. Monteiro, I. Sá-Correia (2021)
The N.C.Yeastract and CommunityYeastract databases to study gene and genomic transcription regulation in non-conventional yeasts
FEMS Yeast Research, 21(6):foab045

Journal
J. Oliveira, M. Antunes, C.P. Godinho, M.C. Teixeira, I. Sá-Correia, P.T. Monteiro (2021)
From a genome assembly to full regulatory network prediction: the case study of Rhodotorula toruloides putative Haa1-regulon
BMC Bioinformatics, 22:399

Journal
A. Lemos, P.T. Monteiro, I. Lynce (2021)
Introducing UniCorT: An Iterative University Course Timetabling Tool with MaxSAT
Journal of Scheduling, 25:371-390

Journal
P.K. Guttula, P.T. Monteiro, M. Gupta (2021)
Prediction and Boolean logical modelling of synergistic microRNA regulatory networks during reprogramming of male germline pluripotent stem cells
BioSystems, 207:104453

Journal
P. Pais, J. Oliveira, V. Almeida, M. Yilmaz, P.T. Monteiro, M.C. Teixeira (2021)
Transcriptome-wide differences between Saccharomyces cerevisiae and Saccharomyces cerevisiae var. boulardii: clues on host survival and probiotic activity based on promoter sequence variability
Genomics, 113(2): 530-539

Journal
A. Lemos, P.T. Monteiro, I. Lynce (2021)
Disruptions in Timetables: A Case Study at Universidade de Lisboa
Journal of Scheduling, 24:35-48

Conference
A. Lemos, P.T. Monteiro, I. Lynce (2020)
ITC 2019: University Course Timetabling with MaxSAT
in P. De Causmaecker, E. Özcan, G.V. Berghe (editors)
Proc. of the 13th Intl. Conf. on the Practice and Theory of Automated Timetabling (PATAT'20), Volume I, 105-128
Proceedings

Conference
F. Gouveia, I. Lynce, P.T. Monteiro (2020)
ModRev - Model Revision tool for Boolean logical models of biological regulatory networks
Proc. of the 18th Intl. Conf. on Computational Methods in Systems Biology (CMSB'20), LNBI 12314, 1-10

Conference
A. Lemos, P.T. Monteiro, I. Lynce (2020)
Minimal Perturbation in University Timetabling with Maximum Satisfiability
in E. Hebrard, N. Musliu (editors)
Proc. of the 17th Intl. Conf. on Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR'20), LNCS 12296, 317-333

Journal
P.T. Monteiro^†, T. Pedreira^†, M. Galocha, M.C. Teixeira, C. Chaouiya (2020)
Assessing regulatory features of the current transcriptional network of Saccharomyces cerevisiae
Scientific Reports, 10:17744    († joint first authorship)

Journal
P.K. Guttula, P.T. Monteiro, M.K. Gupta (2020)
A Boolean Logical model for Reprogramming of Testes-derived male Germline Stem Cells into Germline pluripotent stem cells
Computer Methods and Programs in Biomedicine, 192:105473

Journal
G. Selvaggio, S. Canato, A. Pawar, P.T. Monteiro, P.S. Guerreiro, M. Manuela Brás, F. Janody, C. Chaouiya (2020)
Hybrid epithelial-mesenchymal phenotypes are controlled by microenvironmental factors
Cancer Research, 80(11): 2407-2420

Journal
F. Gouveia, I. Lynce, P.T. Monteiro (2020)
Revision of Boolean models of regulatory networks using stable state observations
Journal of Computational Biology, 27(2): 144-155

Journal
P.T. Monteiro^†, J. Oliveira^†, P. Pais^†, M. Antunes^†, M. Palma, M. Cavalheiro, M. Galocha, C.P. Godinho, L.C. Martins, N. Bourbon, M.N. Mota, R.A. Ribeiro, R.Viana, I. Sá-Correia, M.C. Teixeira (2020)
YEASTRACT+: a portal for cross-species comparative genomics of transcription regulation in yeasts
Nucleic Acids Research, 48(D1):D642-D649    († joint first authorship)   

Conference
P. Varela, P.T. Monteiro, C. Chaouiya (2019)
Impact of Changing Cell-Cell Communication Network in Models of Epithelial Pattern Formation
IFAC-PapersOnLine, 52(26):38-44
Presented at 8th Conference on Foundations of Systems Biology in Engineering (FOSBE'19)

Conference
F. Gouveia, I. Lynce, P.T. Monteiro (2019)
Model revision of Boolean regulatory networks at stable state
in Z. Cai et al. (editors)
Proc. of the 15th International Symposium on Bioinformatics Research and Applications (ISBRA'19), LNCS 11490, 1-13

Journal
A. Lemos, I. Lynce, P.T. Monteiro (2019)
Repairing Boolean logical models from time-series data using Answer Set Programming
Algorithms for Molecular Biology, 14:9

Journal
W. Abou-Jaoudé, P.T. Monteiro (2019)
On Logical Bifurcation Diagrams
Journal of Theoretical Biology, 466:39-63

Journal
A. Lemos, F.S. Melo, P.T. Monteiro, I. Lynce (2019)
Room Usage Optimization in Timetabling: A Case Study at Universidade de Lisboa
Operations Research Perspectives, 6:100092

Journal
P.V. Varela, C.V. Ramos, P.T. Monteiro, C. Chaouiya (2019)
EpiLog: A software for the logical modelling of epithelial dynamics [version 2; peer review: 3 approved]
F1000Research, 7:1145

Preprint
J.E.R. Cury, P.T. Monteiro, C. Chaouiya (2019)
Partial Order on the set of Boolean Regulatory Functions
arXiv:1901.07623 [cs.DM]

Conference
F. Gouveia, I. Lynce, P.T. Monteiro (2018)
Model Revision of Logical Regulatory Networks Using Logic-Based Tools
in A. Dal Palu', P. Tarau, N. Saeedloei, P. Fodor (editors)
Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OASIcs 23:1-23:10

Conference
P.L. Varela, I. Lynce, V. Manquinho, C. Chaouiya, P.T. Monteiro (2018)
Stable states of Boolean regulatory networks composed over hexagonal grids
Electronic Notes in Theoretical Computer Science, 335: 113-130
Presented at 7th International Workshop on Static Analysis and Systems Biology (SASB'16)

Journal
N.D. Mendes, R. Henriques, E. Remy, J. Carneiro, P.T. Monteiro, C. Chaouiya (2018)
Estimating attractor reachability in asynchronous logical models
Frontiers in Physiology, 9:1161

Journal
A. Naldi, C. Hernandez, W. Abou-Jaoudé, P.T. Monteiro, C. Chaouiya, D. Thieffry (2018)
Logical modelling and analysis of cellular regulatory networks with GINsim 3.0
Frontiers in Physiology, 9:646

Journal
A. Naldi, C. Hernandez, N. Levy, G. Stoll, P.T. Monteiro, C. Chaouiya, T. Helikar, A. Zinovyev, L. Calzone, S. Cohen-Boulakia, D. Thieffry, L. Paulevé (2018)
The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks
Frontiers in Physiology, 9:680

Journal
A.S. Teixeira, P.T. Monteiro, J.A. Carriço, F.C. Santos, A.P. Francisco (2018)
Large-scale simulations of bacterial populations over complex networks
Journal of Computational Biology, 25(8):850-861

Journal
M.C. Teixeira^†, P.T. Monteiro^†, M. Palma, C. Costa, C.P. Godinho, P. Pais, M. Cavalheiro, M. Antunes, A. Lemos, T. Pedreira, I. Sá-Correia (2018)
YEASTRACT, an upgraded database for the analysis of transcription regulatory networks in Saccharomyces cerevisiae
Nucleic Acids Research, 46(D1): D348-D353    († joint first authorship)

Conference
F. Gouveia, P.T. Monteiro, V. Manquinho, I. Lynce (2017)
Logic-Based Encodings for Ricochet Robots
in E. Oliveira, J. Gama, Z. Vale, H. Lopes Cardoso (editors)
Proc. of the 18th EPIA Conference on Artificial Intelligence (EPIA'17), LNCS 10423, 657-669

Conference
A.S. Teixeira, P.T. Monteiro, J.A. Carriço, F.C. Santos, A.P. Francisco (2017)
Using Spark and GraphX to Parallelize Large-Scale Simulations of Bacterial Populations over Host Contact Networks
in S. Ibrahim, K.-K. Raymond Choo, Z. Yan, W. Pedrycz (editors)
Proc. of the International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP'17), LNCS 10393, 591-600

Journal
P.T. Monteiro, P. Pais, C. Costa, S. Manna, I. Sá-Correia, M.C. Teixeira (2017)
The PathoYeastract database: an information system for the analysis of gene and genomic transcription regulation in pathogenic yeasts
Nucleic Acids Research, 45(D1): D597-D603

Journal
W. Abou-Jaoudé^†, P. Traynard^†, P.T. Monteiro^†, J. Saez-Rodriguez, T. Helikar, D. Thieffry, C. Chaouiya (2016)
Logical modeling and dynamical analysis of cellular networks
Frontiers in Genetics, 7:94    († joint first authorship)

Journal
A.S. Teixeira, P.T. Monteiro, M. Ramirez, J.A. Carriço, A.P. Francisco (2015)
Not seeing the forest for the trees: Size of the minimum spanning trees (MSTs) forest and branch significance in MST-based phylogenetic analysis
PLOS ONE, 10(3): e0119315

Journal
A. Naldi, P.T. Monteiro, C. Müssel, the Consortium for Logical Models and Tools, H.A. Kestler, D. Thieffry, I. Xenarios, J.Saez-Rodriguez, T. Helikar, C. Chaouiya (2015)
Cooperative development of logical modelling standards and tools with CoLoMoTo
Bioinformatics, 31(7): 1154-1159

Journal
W. Abou-Jaoudé^†, P.T. Monteiro^†, A. Naldi, M. Grandclaudon, V. Soumelis, C. Chaouiya, D. Thieffry (2015)
Model checking to assess T-helper cell plasticity
Frontiers in Bioengineering and Biotechnology, 2:86    († joint first authorship)

Conference
P.T. Monteiro, W. Abou-Jaoudé, D. Thieffry, C. Chaouiya (2014)
Model Checking Logical Regulatory Networks
IFAC Proceedings Volumes, 47(2):170-175
Presented at 12th IFAC/IEEE Workshop on Discrete Event Systems (WODES'14), 170-175

Journal
M.C. Teixeira^†, P.T. Monteiro^†, J. Guerreiro, J.P. Gonçalves, N.P. Mira, S.C. dos Santos, T.R. Cabrito, M. Palma, C. Costa, A.P. Francisco, S.C. Madeira, A.L. Oliveira, A.T. Freitas, I. Sá-Correia (2014)
The YEASTRACT database: an upgraded information system for the analysis of gene and genomic transcription regulation in Saccharomyces cerevisiae
Nucleic Acids Research, 42(D1): D161-D166    († joint first authorship)   

Preprint
N.D. Mendes^†, P.T. Monteiro^†, J. Carneiro, E. Remy, C. Chaouiya (2014)
Quantification of reachable attractors in asynchronous discrete dynamics
arXiv:1411.3539 [cs.DM] († joint first authorship)

Journal
C. Chaouiya, D. Berenguier, S.M. Keating, A. Naldi, M.P. van Iersel, N. Rodriguez, A. Dräger, F. Büchel, T. Cokelaer, B. Kowal, B. Wicks, E. Gonçalves, J. Dorier, M. Page, P.T. Monteiro, A. von Kamp, I. Xenarios, H. de Jong, M. Hucka, S. Klamt, D. Thieffry, N. Le Novère, J. Saez-Rodriguez, T. Helikar (2013)
SBML Qualitative Models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools
BMC Systems Biology, 7:135   

Journal
D. Bérenguier, C. Chaouiya, P.T. Monteiro, A. Naldi, E. Remy, D. Thieffry and L. Tichit (2013)
Dynamical modeling and analysis of large cellular regulatory networks
Chaos: An Interdisciplinary Journal of Nonlinear Science, 23(2):025114    Most cited articles in 2014 from Chaos

Conference
A. Naldi, P.T. Monteiro and C. Chaouiya (2012)
Efficient handling of large signalling-regulatory networks by focusing on their core control
in D. Gilbert and M. Heiner (editors)
Proc. of the 10th Intl. Conf. on Computational Methods in Systems Biology (CMSB'12), LNCS 7605, Springer Verlag, 288-306

Conference
P.T. Monteiro and C. Chaouiya (2012)
Efficient verification for logical models of regulatory networks
in M.P. Rocha, N. Luscombe, F. Fdez-Riverola and J.M. Corchado Rodriguez (editors)
Proc. of the 6th Intl. Conf. on Practical Applications on Computational Biology & Bioinformatics (PACBB'12), AISC 154, Springer Berlin / Heidelberg, 259-267    PAAMS'12 Award of Scientific Excellence

Journal
A.P. Francisco, C. Vaz, P.T. Monteiro, J. Melo-Cristino, M. Ramirez and J.A. Carriço (2012)
PHYLOViZ: Phylogenetic Inference and Data Visualization for Sequence Based Typing Methods
BMC Bioinformatics, 13:87   

Conference
P.J. Dias, C.P. Costa, I. Sá-Correia, M.C. Teixeira, P.T. Monteiro, A.L. Oliveira, A.T. Freitas (2011)
Using systems biology approaches to study a multidrug resistance network
Proc. of the 1st Portuguese meeting in Bioengineering (ENBENG'11), 1-4

Journal
P.T. Monteiro, P.J. Dias, D. Ropers, A.L. Oliveira, I. Sá-Correia, M.C. Teixeira and A.T. Freitas (2011)
Qualitative modeling and formal verification of the FLR1 gene mancozeb response in Saccharomyces cerevisiae
IET Systems Biology, 5(5): 308-316

Journal
R. Mateescu, P.T. Monteiro, E. Dumas and H. de Jong (2011)
CTRL: Extension of CTL with Regular Expressions and Fairness Operators to Verify Genetic Regulatory Networks
Theoretical Computer Science, 412(26): 2854-2883

Journal
D. Abdulrehman, P.T. Monteiro, M.C. Teixeira, N.P. Mira, A.B. Lourenço, S.C. dos Santos, T.R. Cabrito, A.P. Francisco, S.C. Madeira, R.S. Aires, A.L. Oliveira, I. Sá-Correia and A.T. Freitas (2011)
YEASTRACT: Providing a programmatic access to curated transcriptional regulatory associations in Saccharomyces cerevisiae through a web services interface
Nucleic Acids Research, 39(suppl 1): D136-D140

Journal
M.C. Teixeira, P.J. Dias, P.T. Monteiro, A. Sala, A.L. Oliveira, A.T. Freitas and I. Sá-Correia (2010)
Refining current knowledge on the yeast FLR1 regulatory network by combined experimental and computational approaches
Molecular BioSystems, 6(12), 2471-81

Journal
G. Batt, M. Page, I. Cantone, G. Goessler, P. Monteiro and H. de Jong (2010)
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking
Bioinformatics, 26(18): i603-i610
Presented at European Conference on Computational Biology (ECCB'10)

Preprint
G. Batt, M. Page, I. Cantone, G. Goessler, P.T. Monteiro and H. de Jong (2010)
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking
Research Report RR-7284, May 2010, INRIA Grenoble - Rhone-Alpes, France
pdf

Journal
P.T. Monteiro, E. Dumas, B. Besson, R. Mateescu, M. Page, A.T. Freitas and H. de Jong (2009)
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks
BMC Bioinformatics, 10:450

Conference
R. Mateescu, P.T. Monteiro, E. Dumas and H. de Jong (2008)
Computation Tree Regular Logic for Genetic Regulatory Networks
in S. Cha, J.-Y. Choi, M. Kim, I. Lee and M. Viswanathan (editors)
Proc. of the 6th Intl. Symposium on Automated Technology for Verification and Analysis (ATVA'08), LNCS 5311, Springer Verlag, 48-63

Conference
P.T. Monteiro, D. Ropers, R. Mateescu, A.T. Freitas and H. de Jong (2008)
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
in M. Ghallab, C.D. Spyropoulos, N. Fakotakis and N. Avouris (editors)
Proc. of the 18th European Conference on Artificial Intelligence (ECAI'08), IOS Press, Amsterdam, 229-233

Journal
P.T. Monteiro, D. Ropers, R. Mateescu, A.T. Freitas and H. de Jong (2008)
Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks
Bioinformatics, 24(16): i227-i233
Presented at European Conference on Computational Biology (ECCB'08)

Journal
P.T. Monteiro, N. Mendes, M.C. Teixeira, S. d'Orey, S. Tenreiro, N.P. Mira, H. Pais, A.P. Francisco, A.M. Carvalho, A. Lourenço, I. Sá-Correia, A.L. Oliveira and A.T. Freitas (2008)
YEASTRACT-DISCOVERER: new tools to improve the analysis of transcriptional regulatory associations in Saccharomyces cerevisiae
Nucleic Acids Research, 36(Database issue): D132-D136

Preprint
R. Mateescu, P.T. Monteiro, E. Dumas and H. de Jong (2008)
Computation Tree Regular Logic for Genetic Regulatory Networks
Research Report RR-6521, May 2008, INRIA Grenoble - Rhône-Alpes, France
pdf

Preprint
P.T. Monteiro, D. Ropers, R. Mateescu, A.T. Freitas and H. de Jong (2008)
Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks
Research Report RR-6470, Mar 2008, INRIA Grenoble - Rhône-Alpes, France
pdf

Journal
M.C. Teixeira^†, P. Monteiro^†, P. Jain, S. Tenreiro, A.R. Fernandes, N.P. Mira, M. Alenquer, A.T. Freitas, A.L. Oliveira and I. Sá-Correia (2006)
The YEASTRACT database: a tool for the analysis of transcription regulatory associations in Saccharomyces cerevisiae
Nucleic Acids Research, 34(Database issue): D446-D451    († joint first authorship)   

Conference
P. Monteiro, M.C. Teixeira, P. Jain, S. Tenreiro, A.R. Fernandes, N. Mira, M. Alenquer, A.T. Freitas, A.L. Oliveira and I. Sá-Correia (2005)
YEASTRACT: a database of transcription regulatory associations in Saccharomyces cerevisiae
in F.M. Couto, M.J. Silva and P. Fernandes (editors)
Proc. of Bioinformatics: Knowledge Discovery in Biology (BKDB'05), Lisbon, Portugal, 34-38
pdf

Conference
J. Graça, M. Mourão, O. Anunciação, P. Monteiro, H.S. Pinto and V. Loureiro (2005)
Ontology building process: the wine domain
in 5th Conference of the European Federation for Information Technology in Agriculture, Food and Environment (EFITA/WCCA'05), Vila Real, Portugal
pdf

Journal
M.C. Teixeira, P. Monteiro, P. Jain, S. Tenreiro, A.R. Fernandes, N.P. Mira, M. Alenquer, A.T. Freitas, A.L. Oliveira and I. Sá-Correia (2005)
YEASTRACT: a database to search for transcription regulatory associations in Saccharomyces cerevisiae
Yeast, 22(S1): S191-S195, 16-1
doi:10.1002/yea.1271

Editor
Monteiro, P.T. (2026)
24th International Conference on Computational Methods in Systems Biology (CMSB)
Lecture Notes in Bioinformatics, 16678, Springer
doi:10.1007/978-3-032-30870-2

BookChapter
P. Pais, J. Oliveira, R. Viana, I.V. Costa, I. Sá-Correia, P.T. Monteiro, M.C. Teixeira (2022)
Prediction of Gene and Genomic Regulation in Candida Species, Using the PathoYeastract Database: A Comparative Genomics Approach
in F. Devaux (editor)
Yeast Functional Genomics: Methods in Molecular Biology, 2477: 419-437, Humana Press Inc
doi:10.1007/978-1-0716-2257-5_23

Editor
Sekerinski, E., Moreira, N., Oliveira, J.N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P., Delmas, D. (2020)
Formal Methods. FM 2019 International Workshops
Lecture Notes in Computer Science, 12232, Springer
doi:10.1007/978-3-030-54997-8

BookChapter
M.C. Teixeira, P.T. Monteiro, I. Sá-Correia (2016)
Predicting Gene and Genomic Regulation in Saccharomyces cerevisiae, using the YEASTRACT Database: A Step By Step Guided Analysis
in F. Devaux (editor)
Yeast Functional Genomics: Methods and Protocols, 1361: 391-404, Humana Press Inc
doi:10.1007/978-1-4939-3079-1_22

BookChapter
G. Batt, B. Besson, P.-E. Ciron, H. de Jong, E. Dumas, J. Geiselmann, R. Monte, P.T. Monteiro, M. Page, F. Rechenmann and D. Ropers (2012)
Genetic Network Analyzer: A Tool for the Qualitative Modeling and Simulation of Bacterial Regulatory Networks
in J. van Helden, A. Toussaint and D. Thieffry (editors)
Bacterial molecular networks, 804: 439-462, Humana Press Inc
doi:10.1007/978-1-61779-361-5_22

BookChapter
V. Baldazzi, P.T. Monteiro, M. Page, D. Ropers, J. Geiselmann, H. de Jong (2011)
Qualitative analysis of genetic regulatory networks in bacteria
in W. Dubitzky, J. Southgate and H. Fuss (editors)
Understanding the Dynamics of Biological Systems: Lessons Learned from Integrative Systems Biology, 111-130, Springer-Verlag, Berlin
doi:10.1007/978-1-4419-7964-3_6

Workshop
M.G. Pereira, E. Gonçalves, P.T. Monteiro (2025)
Using One-Class Classification to Uncover Regulatory Networks
Working notes of the 16th INForum - Simpósio de Informática (INForum'25), Évora, Portugal

Workshop
A. Corte, C. Coelho, D.R. Matos, D.V. Gonçalves, P.T. Monteiro, M.J. Palaré, H. Galhardas (2025)
A Digital Platform for Paediatric Palliative Care
Working notes of the 16th INForum - Simpósio de Informática (INForum'25), Évora, Portugal

Workshop
M.I. Trigueiro, P.T. Monteiro (2024)
Cancer Classification using Proteomics Data
Working notes of the 15th INForum - Simpósio de Informática (INForum'24), Lisboa, Portugal

Workshop
J. Castanheira, A.S. Teixeira, S.C. Madeira, P.T. Monteiro (2022)
Predicting blood donor return in Portugal: the role of demographics
Working notes of the 13th INForum - Simpósio de Informática (INForum'22), Guarda, Portugal

Workshop
F. Cruz, P.T. Monteiro, A.S. Teixeira (2022)
Community detection for the characterization of transcriptional regulatory networks of yeast species
Working notes of the 13th INForum - Simpósio de Informática (INForum'22), Guarda, Portugal

Workshop
A. Lemos, P.T. Monteiro, I. Lynce (2020)
ITC-2019: A MaxSAT approach to solve university timetabling problems
Working notes of the International Timetabling Competition (ITC 2019)
[ pdf ]

ResearchReport
A. Lemos, P.T. Monteiro, I. Lynce (2016)
Repairing Boolean regulatory networks using Answer Set Programming
Technical Report n° 5/2016, INESC-ID, Lisboa, Portugal

Workshop
P.L. Varela, I. Lynce, V. Manquinho, C. Chaouiya, P.T. Monteiro (2016)
SAT-based identification of stable states in composed Boolean regulatory networks
Working notes of the International Workshop on Static Analysis and Systems Biology (SASB 2016), Edinburgh, UK

Workshop
P.L. Varela, I. Lynce, V. Manquinho, C. Chaouiya, P.T. Monteiro (2016)
SAT-based identification of stable states in composed Boolean regulatory networks
Working notes of the 8th INForum - Simpósio de Informática (INForum'16), Lisboa, Portugal

ResearchReport
A.S. Teixeira, V. Ribeiro, P.T. Monteiro, J.A. Carriço, M. Ramirez, A.P. Francisco (2014)
Large scale simulation of bacterial population evolution over host contact networks
Technical Report n° 17/2014, INESC-ID, Lisboa, Portugal
pdf

ResearchReport
P.T. Monteiro, A.P. Francisco, M. Ramirez, J.A. Carriço (2014)
Topological representation of the within-species evolutionary structure of bacterial populations: the SLV graph
Technical Report n° 16/2014, INESC-ID, Lisboa, Portugal
pdf

Workshop
W. Abou-Jaoudé, M. Grandclaudon, P.T. Monteiro, A. Naldi, C. Chaouiya, V. Soumelis, D. Thieffry (2014)
Logical modeling of T-helper cell differentiation and plasticity
Working notes of the Logical Modelling and Analysis of Cellular Networks Workshop (LMACN-ECCB'14), Strasbourg, France

Workshop
A. Fauré, B.M.I. Vreede, P.L. Varela, P.T. Monteiro, E. Sucena, C. Chaouiya (2014)
A discrete model of Drosophila eggshell patterning reveals cell-autonomous and juxtacrine effects
Working notes of the Logical Modelling and Analysis of Cellular Networks Workshop (LMACN-ECCB'14), Strasbourg, France

Workshop
P.L. Varela, N.D. Mendes, P.T. Monteiro, A. Fauré, C. Chaouiya (2013)
EpiLog: a novel tool for the qualitative modelling of epithelial patterning
Working notes of the 5th INForum - Simpósio de Informática (INForum'13), Évora, Portugal

Workshop
A.S. Teixeira, P.T. Monteiro, J.A. Carriço, M. Ramirez, A. P. Francisco (2013)
Spanning edge betweenness
Working notes of the Mining and Learning with Graphs - Knowledge Discovery and Data Mining (MLG-KDD'13), Chicago, US
[ pdf ]

Workshop
C. Chaouiya, A. Naldi, L. Spinelli, P.T. Monteiro, D. Berenguier, L. Grieco, A. Mbodj, S. Collombet, A. Niarakis, L. Tichit, E. Remy, D. Thieffry (2012)
Logical modelling of cellular decision processes with GINsim
Working notes of the Journées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM'12), Rennes, France

Workshop
P.T. Monteiro and C. Chaouiya (2011)
Logical modelling of biological regulatory networks: turning automatic verification effective
Working notes of the 3rd INForum - Simpósio de Informática (INForum'11), Coimbra, Portugal

Workshop
P.T. Monteiro, D. Ropers, R. Mateescu, A.T. Freitas and H. de Jong (2008)
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
in Elizabeth Bradley, Louise Travé-Massuyès, eds., Working notes of the 22nd International Workshop on Qualitative Reasoning (QR'08), 102-7, Boulder, CO, USA

Workshop
P.T. Monteiro, D. Ropers, R. Mateescu, A.T. Freitas and H. de Jong (2008)
Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks
in Jacques van Helden, Yves Moreau, eds., Working notes of the Journées Ouvertes Biologie, Informatique et Mathématiques (JOBIM'08), 71-6, Lille, France

Bulletin
M.C. Teixeira, P. Monteiro, P. Jain, S. Tenreiro, A.R. Fernandes, N. Mira, M. Alenquer, A.T. Freitas, A.L. Oliveira and Isabel Sá-Correia (2005)
A Bioinformática e as Bases de Dados: o exemplo de uma Base de Dados para Análise de Mecanismos de Regulação em Levedura
Boletim de Biotecnologia, 81: 23-31

ResearchReport
A. Ramalho and P.T. Monteiro (2003)
Avaliação de métodos computacionais para a detecção de estruturas em genomas
Technical Report n° 3/2003, INESC-ID, Lisboa, Portugal

Workshop
A. Ramalho and P. Monteiro (2003)
PoeTA III - Poetry Teaching Agent III
Working notes of the Workshop of Introduction to Autonomous Agents (WIAA'03), Lisboa, Portugal

Abstracts/Posters
D. Couceiro, M. Pereira, C. Parada, R. Viana, M.C. Teixeira, P.T. Monteiro (2024)
Aiming at the Automation of Genome-wide Regulatory Network Inference Saccharomyces cerevisiae
Poster and oral presentation at XXII Jornadas de leveduras Professor Nicolau van Uden, Curia, Portugal

Abstracts/Posters
D. Couceiro, M. Pereira, C. Parada, R. Viana, M.C. Teixeira, P.T. Monteiro (2023)
Aiming at the Automation of Genome-wide Regulatory Network Inference in Yeast
Abstract and Poster at Congress of Microbiology and Biotechnology (MicroBiotec'23), Covilhã, Portugal

Abstracts/Posters
M.C. Teixeira, R. Viana, M. Palma, J. Oliveira, M. Galocha, M.N. Mota, D. Couceiro, M.G. Pereira, M. Antunes, I.V. Costa, P. Pais, C. Parada, C. Chaouiya, I. Sá-Correia, P.T. Monteiro (2023)
The YEASTRACT+ database to explore the transcription regulation and metabolic model data in yeasts
Abstract at 15th International Conference on Culture Collections (ICCC'15), Braga, Portugal

Abstracts/Posters
A.P. Francisco, P.T. Monteiro, G. Ribeiro, A.S. Teixeira (2022)
On edge significance in large phylogenetic (spanning) trees
Abstract at 24th International Conference on Computational Statistics (COMPSTAT'22), Bologna, Italy

Abstracts/Posters
A.S. Teixeira, P.T. Monteiro, J. Carriço, M. Ramirez, F.C. Santos, A.P. Francisco (2022)
Link Significance in Phylogenetic Analysis and Networked Systems
Abstract at International School and Conference on Network Science (NetSciX), Porto, Portugal

Abstracts/Posters
P. Dias, P.T. Monteiro, A.S. Teixeira (2021)
A multilayer network approach to map functional clusters between yeast species
Abstract and oral presentation at International Conference on Complex Networks (Complenet), Online

Abstracts/Posters
P. Dias, P.T. Monteiro, A.S. Teixeira (2021)
Mapping functional clusters between yeast species using a multilayer network approach
Abstract and oral presentation at Networks, Washington D.C., USA

Abstracts/Posters
J.S. Oliveira, P. Pais, M. Antunes, M. Palma, M. Galocha, C.P. Godinho, I.V. Costa, R. Viana, I. Sá-Correia, M.C. Teixeira, P.T. Monteiro (2021)
Towards an automatic cross-species comparative genomics portal
Abstract and oral presentation at Bioinformatic Open Days'21, Braga, Portugal

Abstracts/Posters
M. Antunes, J. Oliveira, P. Pais, M. Palma, M. Cavalheiro, M. Galocha, C.P. Godinho, L.C. Martins, N. Bourbon, M.N. Mota, R.A. Ribeiro, R.Viana, P.T. Monteiro, I. Sá-Correia, M.C. Teixeira (2019)
YEASTRACT+: a new portal for genome-wide comparison of transcription regulation in yeasts
Poster at Congress of Microbiology and Biotechnology (MicroBiotec'19), Coimbra, Portugal

Abstracts/Posters
M. Yilmaz, P. Pais, V. Almeida, M. Cavalheiro, J. Oliveira, P.T. Monteiro, M.C. Teixeira (2019)
New clues on the probiotic activity of Saccharomyces boulardii, obtained from global gene promoter analysis
Abstract at Neuroscience, Bioinformatics, Microbiome and Beyond International Conference, Bachinovo, Bulgaria

Abstracts/Posters
A. Naldi, C. Hernandez, N. Levy, G. Stoll, P. Monteiro, C. Chaouiya, T. Helikar, A. Zinovyev, L. Calzone, S. Cohen-Boulakia, D. Thieffry, L. Paulevé (2019)
The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks
Abstract at Basel Computational Biology Conference ([BC]2), Basel, Switzerland

Abstracts/Posters
P. Varela, C. Chaouiya, P.T. Monteiro (2019)
Logical modelling to explore communication network features influencing pattern formation
Abstract and Poster at SysMod Computational Modeling of Biological Systems (COSI) at European Conference on Computational Biology (ISMB/ECCB), Basel, Switzerland

Abstracts/Posters
J.S. Oliveira, V. Pinheiro, I. Sá-Correia, M.C. Teixeira, P.T. Monteiro (2019)
YEASTRACT+: a comparative genomics cool platform for the analysis of transcriptional regulatory networks in yeast species
Abstract and demo presentation at Cool Tools for Science, Lisbon, Portugal

Abstracts/Posters
A. Fonseca, P.T. Monteiro, M.C. Teixeira, C. Chaouiya (2019)
Genome-Scale Logical Regulatory Models for S. cerevisiae, C. albicans and C. glabrata
Poster at Advanced Lecture Course on Computational Systems Biology (CompSysBio), Aussois, France

Abstracts/Posters
J.S. Oliveira, P. Pais, M.Antunes, M. Palma, M. Galocha, C.P. Godinho, M. Cavalheiro, M. Yilmaz, R. Viana, I. Sá-Correia, M.C. Teixeira, P.T. Monteiro (2019)
YEASTRACT+: a comparative genomics platform for the analysis of transcriptional regulatory networks in yeast species
Abstract and oral presentation at Bioinformatic Open Days'19, Braga, Portugal

Abstracts/Posters
R. Schwieger, P. Monteiro, C. Chaouiya (2018)
Investigation of Boolean model pools: Which components should be measured to distinguish models and behaviors?
Abstract and oral presentation at 11th European Conference on Mathematical and Theoretical Biology (ECMTB'18), Lisboa, Portugal

Abstracts/Posters
T. Pedreira, P.T. Monteiro, M.C. Teixeira, C. Chaouiya (2018)
Reconstruction and analysis of the global transcriptional regulatory network in yeast
Poster at 11th European Conference on Mathematical and Theoretical Biology (ECMTB'18), Lisboa, Portugal

Abstracts/Posters
P.V. Varela, C. Chaouiya, P.T. Monteiro (2018)
Logical Modelling To Explore Communication Network Features Influencing Pattern Formation
Poster at 11th European Conference on Mathematical and Theoretical Biology (ECMTB'18), Lisboa, Portugal

Abstracts/Posters
P. Pais, M. Galocha, I. Sá-Correia, P.T. Monteiro, M.C. Teixeira (2018)
The PathoYeastract database: a tool for the study of transcriptional regulation in Candida species
Abstract at 14th ASM Conference on Candida and Candidiasis, Providence, RI, USA

Abstracts/Posters
C. Chaouiya, L. Calzone, T. Helikar, C. Hernandez, P. Monteiro, A. Naldi, D. Thieffry, D Waltemath (2017)
Standardisation effort from the Consortium for Logical Models and Tools (CoLoMoTo)
Poster and oral presentation at COMBINE 2017, Milan, Italy

Abstracts/Posters
T. Pedreira, P.T. Monteiro, M.C. Teixeira, C. Chaouiya (2017)
Reconstruction and analysis of the global transcriptional regulatory network in yeast
Poster at 13th Basel Computational Biology Conference ([BC]2'17), Basel, Switzerland

Abstracts/Posters
S. Fueyo, P.T. Monteiro, A. Naldi, J. Dorier, E. Remy, C. Chaouiya (2017)
Reversed dynamics to uncover basins of attraction of asynchronous logical models
Poster and oral presentation at ISMB/ECCB, Prague, Czech Republic [F1000Posters]

Abstracts/Posters
P. Fernandes, J. Borbinha, A. Canário, J. Cardoso, I. Chaves, I. Sá-Correia, B. Costa, C. Cox, D. Faria, A.T. Freitas, C. Miguel, P.T. Monteiro, G. De Moro, A. Oliveira, D. Sobral, M.C. Teixeira, M.J. Silva (2017)
ELIXIR Portugal: Platforms, Use Cases and Services
Poster and oral presentation at Bioinformatic Open Days'17, Braga, Portugal [doi:10.6084/m9.figshare.4708603.v1 ]

Abstracts/Posters
C. Ramos, P.L. Varela, P.T. Monteiro, C. Chaouiya (2016)
Patterning in proliferating epithelia, a modelling approach
Poster at 17th International Conference on Systems Biology (ICSB'16), Barcelona, Spain

Abstracts/Posters
C. Ramos, P.L. Varela, P.T. Monteiro, C. Chaouiya (2016)
Patterning in proliferating epithelia, a modelling approach
Poster and oral presentation at 8th INForum - Simpósio de Informática (INForum'16), Lisboa, Portugal

Abstracts/Posters
A. Lemos, P.T. Monteiro, I. Lynce (2016)
Repairing Boolean regulatory networks using Answer Set Programming
Poster and oral presentation at 8th INForum - Simpósio de Informática (INForum'16), Lisboa, Portugal

Abstracts/Posters
Monteiro P.T., Cury J.E.R., Chaouiya C. (2016)
On the number and structure of Boolean functions compatible with a regulatory network topology
Abstract and oral presentation at 10th European Conference on Mathematical and Theoretical Biology (ECMTB), Nottingham, UK

Abstracts/Posters
Fueyo S., Monteiro P.T., Naldi A., Remy A., Chaouiya C. (2016)
Reversing Boolean gene regulatory networks
Abstract and oral presentation at 10th European Conference on Mathematical and Theoretical Biology (ECMTB), Nottingham, UK

Abstracts/Posters
Teixeira A.S., Monteiro P.T., Francisco A.P., Carriço J.A. (2016)
Large scale simulation of bacterial populations evolution over host contact networks
Poster at 8th International Conference on Discrete Models of Complex Systems, Aveiro, Portugal

Abstracts/Posters
I. Chaves, N.D. Mendes, C. Vaz, C. Miguel, Monteiro P.T. (2016)
Plant Experimental Assay Ontology
Abstract and oral presentation at Plant Biology Europe EPSO/FESPB, Prague, Czech Republic

Abstracts/Posters
Dias P.J., Machado A., Zhang K., Blake T., Monteiro P.T., Sá-Correia I. (2015)
Yeast Drug:H+ antiporters: comparative genomic and phylogenetic analyses and design and implementation of a dedicated database
Poster at Congress of Microbiology and Biotechnology (MicroBiotec'15), Évora, Portugal

Abstracts/Posters
W. Abou-Jaoudé, M. Grandclaudon, P.T. Monteiro, A. Naldi, C. Chaouiya, V. Soumelis, D. Thieffry (2015)
Predicting T-helper cell differentiation and plasticity using logical modelling and model-checking
Poster at 4th European Congress of Immunology (ECI'15), Vienna, Austria

Abstracts/Posters
P.L. Varela, A. Fauré, C. Chaouiya, P.T. Monteiro (2015)
A computational framework for the logical modelling of epithelial patterning
Presentation and poster at 12th Basel Computational Biology Conference ([BC]2'15), Basel, Switzerland

Abstracts/Posters
W. Abou-Jaoudé, M. Grandclaudon, P.T. Monteiro, A. Naldi, C. Chaouiya, V. Soumelis, D. Thieffry (2015)
Logical modeling of T-helper cell differentiation and plasticity
Poster at 6th Young Researchers in Life Sciences Conference (YRLS'15), Paris, France

Abstracts/Posters
A. Naldi, P.T. Monteiro, D. Thieffry, C. Chaouiya (2014)
GINsim: a software tool for the modelling and analysis of logical regulatory networks
Poster at 13th European Conference on Computational Biology (ECCB'14), Strasbourg, France

Abstracts/Posters
P.L. Varela, P.T. Monteiro, Nuno Mendes, Adrien Fauré, C. Chaouiya (2014)
EpiLog, a computational tool for the logical modelling of epithelial pattern formation
Poster at 13th European Conference on Computational Biology (ECCB'14), Strasbourg, France [F1000Posters]

Abstracts/Posters
N.D. Mendes, P.T. Monteiro, C. Vaz, I. Chaves (2014)
Towards a Plant Experimental Assay Ontology
Poster at 10th International Conference on Data Integration in the Life Sciences (DILS'14), Lisbon, Portugal

Abstracts/Posters
F. Rebelo, I. Chaves, N.D. Mendes, P.T. Monteiro, J. Borbinha (2014)
A Repository for Biological Data applied to the Woody Plants Domain
Poster at 10th International Conference on Data Integration in the Life Sciences (DILS'14), Lisbon, Portugal

Abstracts/Posters
P.T. Monteiro, M.C. Teixeira, A.P. Francisco, I. Sá-Correia (2014)
YEASTRACT-NET: extracting and visualizing transcription regulatory networks in S. cerevisiae
Poster and oral presentation at XX Jornadas de leveduras Professor Nicolau van Uden, Lisbon, Portugal

Abstracts/Posters
A.S. Teixeira, A.P. Francisco, P.T. Monteiro, R. Oliveira, M. Ramirez, J.A. Carriço (2013)
NetPopSim - a population simulator for microbial allelic profiles for simulating spread and evolution within social networks
Poster at 10th International Meeting on Microbial Epidemiological Markers (IMMEM), Paris, France

Abstracts/Posters
P.L. Varela, N.D. Mendes, P.T. Monteiro, A. Fauré, C. Chaouiya (2013)
Epilog: a software for the logical modelling of epithelial patterning
Poster at Bioinformatic Open Days'13, Braga, Portugal

Abstracts/Posters
A.P. Francisco, C. Vaz, P.T. Monteiro, M. Ramirez, J. Carriço (2011)
Fooled by trees: when simple can be misleading
Poster at Congresso Nacional MicroBiotec'11, Braga, Portugal

Abstracts/Posters
P.J. Dias, P.T. Monteiro, A.L. Oliveira, A.T. Freitas, I. Sá-Correia, M.C. Teixeira (2011)
Insights into the transcription regulatory network controlling the multidrug resistance gene FLR1: a systems biology approach
Poster at 25th International Conference on Yeast Genetics and Molecular Biology, Olsztyn-Kortowo, Poland

Abstracts/Posters
P.T. Monteiro, A.T. Freitas, D. Ropers, R. Mateescu, H. de Jong (2010)
Modeling and formal verification of biological regulatory networks: an integrative approach
Poster at IEEE International Conference on Bioinformatics & Biomedicine (BIBM'10), Hong Kong, China

Abstracts/Posters
P.T. Monteiro, P.J. Dias, D. Ropers, A.L. Oliveira, I. Sá-Correia, M.C. Teixeira, A.T. Freitas (2010)
Computational modeling and analysis of the yeast FLR1 regulatory network in mancozeb-challenged cells
Poster at 11th International Conference on Systems Biology (ICSB'10), Edinburgh, Scotland, UK

Abstracts/Posters
G. Batt, M. Page, P. Monteiro, G. Goessler, Hidde de Jong (2010)
Design of synthetic gene networks: symbolic model checking of PADE models
Poster at Systems Biology of Microorganisms'10, Paris, France

Abstracts/Posters
P.T. Monteiro, P.J. Dias, D. Ropers, A.L. Oliveira, A.T. Freitas, I. Sá-Correia, M.C. Teixeira (2009)
The regulatory network underlying the transcriptional up-regulation of the FLR1 gene in mancozeb stressed yeast cells: qualitative modeling and simulation
Abstract at Congresso Nacional MicroBiotec'09, Vilamoura, Portugal

Abstracts/Posters
P.T. Monteiro, D. Ropers, R. Mateescu, A.T. Freitas, H. de Jong (2008)
Temporal logic patterns for querying dynamic models of cellular interaction networks
Poster at Forum Português de Biologia Computacional (FPBC'08), Oeiras, Portugal

Abstracts/Posters
M.C. Teixeira, P.T. Monteiro, N.P. Mira, P.M. Santos, A.T. Freitas, A.L. Oliveira, I. Sá-Correia (2008)
The YEASTRACT database and its exploitation in Toxicogenomics: the Yeast response to the herbicide 2,4-D
Poster at Forum Português de Biologia Computacional (FPBC'08), Oeiras, Portugal

Abstracts/Posters
M.C. Teixeira, P. Monteiro, S. Tenreiro, N.P. Mira, A.B. Lourenço, A.M. Carvalho, N. Mendes, S. d'Orey, H. Pais, A.T. Freitas, A.L. Oliveira and Isabel Sá-Correia (2007)
Analysis of transcription regulatory associations in Saccharomyces cerevisiae using the YEASTRACT database
Extended abstract at 3rd Conference on Physiology of Yeasts and Filamentous Fungi, S245: 52, Helsinki, Finland [pdf]

Abstracts/Posters
P. Monteiro, N. Mendes, M.C. Teixeira, S. d'Orey, S. Tenreiro, N.P. Mira, H. Pais, A.P. Francisco, A.M. Carvalho, A.B. Lourenço, I. Sá-Correia, A.L. Oliveira and A.T. Freitas (2007)
Analysis of new and known DNA-binding site motifs in Saccharomyces cerevisiae using the YEASTRACT-DISCOVERER tools
Poster and Extended abstract at Congresso Nacional MicroBiotec'07, Lisboa, Portugal
Sartorius award - Inovation in Microbiology/Biotechnology

Abstracts/Posters
M.C. Teixeira, P. Monteiro, S. Tenreiro, N. Mira, A.M. Carvalho, N. Mendes, A. Casimiro, C. Nogueira, C. Oliveira, A.T. Freitas, A.L. Oliveira and I. Sá-Correia (2006)
Analysis of transcription regulatory associations in Saccharomyces cerevisiae using the YEASTRACT database
Poster at Yeast Genetics and Molecular Biology Meeting, Book of Abstracts 529A, Princeton, USA [www]

Abstracts/Posters
M.C. Teixeira, P. Monteiro, S. Tenreiro, N.P. Mira, A.M. Carvalho, N. Mendes, A. Casimiro, C. Nogueira, C. Oliveira, A.T. Freitas, A.L. Oliveira and I. Sá-Correia (2006)
Analysis of transcription regulatory associations in Saccharomyces cerevisiae using the YEASTRACT database
Poster at 2nd FEMS Congress of European Microbiologists, Book of Abstracts W12.4-P.COM.3, Madrid, Spain

Abstracts/Posters
M.C. Teixeira, P. Monteiro, N.P. Mira, S. Tenreiro, A.T. Freitas, A.L. Oliveira and Isabel Sá-Correia (2006)
The YEASTRACT database: application to the analysis of Saccharomyces cerevisiae genome-wide expression data
Extended abstract at XVth National Congress of Biochemistry, 1(SA1): 30, Aveiro, Portugal

Abstracts/Posters
M.C. Teixeira, P. Monteiro, P. Jain, S. Tenreiro, A.R. Fernandes, N.P. Mira, M. Alenquer, A.B. Lourenço, A.T. Freitas, A.L. Oliveira and I. Sá-Correia (2005)
The YEASTRACT database: a tool for the analysis of transcription regulatory associations in Saccharomyces cerevisiae
Poster at Congresso Nacional MicroBiotec'05, Book of Abstracts OC28, Póvoa do Varzim, Portugal

Abstracts/Posters
P. Monteiro, A. Ramalho, A.T. Freitas and A.L. Oliveira (2005)
DECIDE: A Gene Finding Evaluation Tool
Poster at Bioinformatics: Knowledge Discovery in Biology BKDB'05

Thesis
Dual PhD Thesis, P.T. Monteiro (2010)
Towards an integrative approach for the modeling and formal verification of biological regulatory networks
Instituto Superior Técnico - Technical University of Lisbon, Portugal
Université Claude Bernard Lyon 1, France
[ pdf ]

Thesis
MSc Thesis, P.T. Monteiro (2005)
Sistema de gestão da informação associada à regulação da transcrição da Saccharomyces cerevisiae
Instituto Superior Técnico - Technical University of Lisbon, Portugal
[ pdf ]

Thesis
Diploma Thesis, A. Ramalho and P. Monteiro (2003)
Avaliação de métodos computacionais para a detecção de estruturas em genomas
Instituto Superior Técnico - Technical University of Lisbon, Portugal