J.E.R. Cury, P. Tenera Roxo, V. Manquinho, C. Chaouiya, P.T. Monteiro (2024)
Immediate Neighbours of Monotone Boolean Functions
arXiv:2407.01337 [cs.DM]

C. Chaouiya, P.T. Monteiro, E. Remy (2024)
Logical modelling, some recent methodological advances illustrated
Proc. of the 30th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA'24), LNCS 14782, accepted

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

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

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

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

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

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

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

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

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

J. Zobolas, P.T. Monteiro, M. Kuiper, A. Flobak (2021)
Boolean function metrics can assist modelers to check and choose logical rules
arXiv:2104.01279 [q-bio.MN]

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

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

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)

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

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

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

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

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

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

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)   

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)

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

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

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

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

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

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

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

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

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

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

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

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)

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)

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

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

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

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)

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

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

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)

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)

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

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)   

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   

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

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

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   

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

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

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

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

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

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

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)

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

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

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)

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

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

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)   

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 ]

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

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

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

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

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

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 ]

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

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

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

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

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

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 ]

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 ]

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

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ãa, Portugal

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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]

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 ]

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

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

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

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

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

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

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

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

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

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

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

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

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]

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

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

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

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

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

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

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

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

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

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

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

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

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

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]

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

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]

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

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

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

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