Pedro T. Monteiro

43 papers A 1B 2C 2Misc 2Journal 25Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Optimizing Donor Outreach for Blood Collection Sessions: A Scalable Decision Support Framework.
CoRR
André Carneiro, Pedro T. Monteiro, Rui Henriques
2025 — conf
Computation of Immediate Neighbours of Monotone Boolean Functions.
CMSB
José E. R. Cury, Patrícia Tenera Roxo, Vasco Manquinho, Claudine Chaouiya, Pedro T. Monteiro
2024 — conf
Context-Aware Deep Forecasting: Principles for the Nation-Wide Management of Blood Products.
EPIA (3)
Miguel Dauphinet, Rui Henriques, Pedro T. Monteiro
2024 J jnl
Immediate Neighbours of Monotone Boolean Functions.
CoRR
José E. R. Cury, Patrícia Tenera Roxo, Vasco Manquinho, Claudine Chaouiya, Pedro T. Monteiro
2024 J jnl
Iterative Train Scheduling under Disruption with Maximum Satisfiability.
J. Artif. Intell. Res.
Alexandre Lemos, Filipe Gouveia, Pedro T. Monteiro, Inês Lynce
2024 — conf
Logical Modelling, Some Recent Methodological Advances Illustrated.
AUTOMATA
Claudine Chaouiya, Pedro T. Monteiro, Elisabeth Remy
2022 — conf
Functional Characterization of Transcriptional Regulatory Networks of Yeast Species.
NetSci-X
Paulo Dias, Pedro T. Monteiro, Andreia Sofia Teixeira
2022 J jnl
Introducing UniCorT: an iterative university course timetabling tool with MaxSAT.
J. Sched.
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
2021 J jnl
Disruptions in timetables: a case study at Universidade de Lisboa.
J. Sched.
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
2021 J jnl
From a genome assembly to full regulatory network prediction: the case study of Rhodotorula toruloides putative Haa1-regulon.
BMC Bioinform.
Jorge Oliveira, Miguel Antunes, Cláudia P. Godinho, Miguel C. Teixeira, Isabel Sá-Correia, Pedro T. Monteiro
2021 J jnl
Prediction and Boolean logical modelling of synergistic microRNA regulatory networks during reprogramming of male germline pluripotent stem cells.
Biosyst.
Praveen Kumar Guttula, Pedro T. Monteiro, Mukesh Kumar Gupta
2020 J jnl
A Boolean Logical model for Reprogramming of Testes-derived male Germline Stem Cells into Germline pluripotent stem cells.
Comput. Methods Programs Biomed.
Praveen Kumar Guttula, Pedro T. Monteiro, Mukesh Kumar Gupta
2020 B conf
Minimal Perturbation in University Timetabling with Maximum Satisfiability.
CPAIOR
Alexandre Lemos, Pedro T. Monteiro, Inês Lynce
2020 — conf
ModRev - Model Revision Tool for Boolean Logical Models of Biological Regulatory Networks.
CMSB
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
2020 J jnl
Revision of Boolean Models of Regulatory Networks Using Stable State Observations.
J. Comput. Biol.
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
2020 J jnl
YEASTRACT+: a portal for cross-species comparative genomics of transcription regulation in yeasts.
Nucleic Acids Res.
Pedro T. Monteiro, Jorge Oliveira, Pedro Pais, Miguel Antunes, Margarida Palma, Mafalda Cavalheiro, Mónica Galocha, Cláudia P. Godinho, Luís C. Martins, Nuno Bourbon, Marta Neves Mota, Ricardo A. Ribeiro, Romeu Viana, Isabel Sá-Correia, Miguel C. Teixeira
2019 — conf
Model Revision of Boolean Regulatory Networks at Stable State.
ISBRA
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
2019 J jnl
Partial Order on the set of Boolean Regulatory Functions.
CoRR
José E. R. Cury, Pedro T. Monteiro, Claudine Chaouiya
2019 J jnl
Repairing Boolean logical models from time-series data using Answer Set Programming.
Algorithms Mol. Biol.
Alexandre Lemos, Inês Lynce, Pedro T. Monteiro
2018 J jnl
EpiLog: A software for the logical modelling of epithelial dynamics.
F1000Research
Pedro L. Varela, Camila V. Ramos, Pedro T. Monteiro, Claudine Chaouiya
2018 J jnl
Large-Scale Simulations of Bacterial Populations Over Complex Networks.
J. Comput. Biol.
Andreia Sofia Teixeira, Pedro T. Monteiro, João A. Carriço, Francisco C. Santos, Alexandre P. Francisco
2018 — conf
Model Revision of Logical Regulatory Networks Using Logic-Based Tools.
ICLP (Technical Communications)
Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
2018 — conf
Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids.
SASB
Pedro L. Varela, Inês Lynce, Vasco Manquinho, Claudine Chaouiya, Pedro T. Monteiro
2018 J jnl
YEASTRACT: an upgraded database for the analysis of transcription regulatory networks in Saccharomyces cerevisiae.
Nucleic Acids Res.
Miguel C. Teixeira, Pedro T. Monteiro, Margarida Palma, Catarina Costa, Cláudia P. Godinho, Pedro Pais, Mafalda Cavalheiro, Miguel Antunes, Alexandre Lemos, Tiago Pedreira, Isabel Sá-Correia
2017 Misc conf
Logic-Based Encodings for Ricochet Robots.
EPIA
Filipe Gouveia, Pedro T. Monteiro, Vasco Manquinho, Inês Lynce
2017 C conf
Using Spark and GraphX to Parallelize Large-Scale Simulations of Bacterial Populations over Host Contact Networks.
ICA3PP
Andreia Sofia Teixeira, Pedro T. Monteiro, João A. Carriço, Francisco C. Santos, Alexandre P. Francisco
2015 J jnl
Cooperative development of logical modelling standards and tools with CoLoMoTo.
Bioinform.
Aurélien Naldi, Pedro T. Monteiro, Christoph Müssel, Hans A. Kestler, Denis Thieffry, Ioannis Xenarios, Julio Saez-Rodriguez, Tomás Helikar, Claudine Chaouiya
2014 — conf
Model Checking Logical Regulatory Networks.
WODES
Pedro T. Monteiro, Wassim Abou-Jaoudé, Denis Thieffry, Claudine Chaouiya
2014 J jnl
Quantification of reachable attractors in asynchronous discrete dynamics.
CoRR
Nuno D. Mendes, Pedro T. Monteiro, Jorge Carneiro, Elisabeth Remy, Claudine Chaouiya
2013 J jnl
SBML qualitative models: a model representation format and infrastructure to foster interactions between qualitative modelling formalisms and tools.
BMC Syst. Biol.
Claudine Chaouiya, Duncan Bérenguier, Sarah M. Keating, Aurélien Naldi, Martijn P. van Iersel, Nicolas Rodriguez, Andreas Dräger, Finja Büchel, Thomas Cokelaer, Bryan M. Kowal, Benjamin Wicks, Emanuel J. V. Gonçalves, Julien Dorier, Michel Page, Pedro T. Monteiro, Axel von Kamp, Ioannis Xenarios, Hidde de Jong, Michael Hucka, Steffen Klamt, Denis Thieffry, Nicolas Le Novère, Julio Saez-Rodriguez, Tomás Helikar
2012 — conf
Efficient Handling of Large Signalling-Regulatory Networks by Focusing on Their Core Control.
CMSB
Aurélien Naldi, Pedro T. Monteiro, Claudine Chaouiya
2012 Misc conf
Efficient Verification for Logical Models of Regulatory Networks.
PACBB
Pedro T. Monteiro, Claudine Chaouiya
2012 J jnl
PHYLOViZ: phylogenetic inference and data visualization for sequence based typing methods.
BMC Bioinform.
Alexandre P. Francisco, Cátia Vaz, Pedro T. Monteiro, José Melo-Cristino, Mário Ramirez, João A. Carriço
2011 J jnl
CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks.
Theor. Comput. Sci.
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong
2011 J jnl
YEASTRACT: providing a programmatic access to curated transcriptional regulatory associations in
Nucleic Acids Res.
Dário Abdulrehman, Pedro T. Monteiro, Miguel C. Teixeira, Nuno P. Mira, Artur B. Lourenço, Sandra Costa dos Santos, Tânia Rodrigues Cabrito, Alexandre P. Francisco, Sara C. Madeira, Ricardo Santos Aires, Arlindo L. Oliveira, Isabel Sá-Correia, Ana T. Freitas
2010 J jnl
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking.
Bioinform.
Grégory Batt, Michel Page, Irene Cantone, Gregor Goessler, Pedro T. Monteiro, Hidde de Jong
2010 — conf
Modeling and formal verification of biological regulatory networks: An integrative approach.
BIBM Workshops
Pedro T. Monteiro, Ana T. Freitas, Delphine Ropers, Radu Mateescu, Hidde de Jong
2009 J jnl
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
BMC Bioinform.
Pedro T. Monteiro, Estelle Dumas, Bruno Besson, Radu Mateescu, Michel Page, Ana T. Freitas, Hidde de Jong
2008 B conf
Computation Tree Regular Logic for Genetic Regulatory Networks.
ATVA
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong
2008 A conf
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks.
ECAI
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong
2008 C conf
Temporal logic patterns for querying dynamic models of cellular interaction networks.
ECCB
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong
2008 J jnl
YEASTRACT-DISCOVERER: new tools to improve the analysis of transcriptional regulatory associations in
Nucleic Acids Res.
Pedro T. Monteiro, Nuno D. Mendes, Miguel C. Teixeira, Sofia d'Orey, Sandra Tenreiro, Nuno P. Mira, Hélio Pais, Alexandre P. Francisco, Alexandra M. Carvalho, Artur B. Lourenço, Isabel Sá-Correia, Arlindo L. Oliveira, Ana T. Freitas
2006 J jnl
The YEASTRACT database: a tool for the analysis of transcription regulatory associations in
Nucleic Acids Res.
Miguel C. Teixeira, Pedro T. Monteiro, Pooja Jain, Sandra Tenreiro, Alexandra R. Fernandes, Nuno P. Mira, Marta Alenquer, Ana T. Freitas, Arlindo L. Oliveira, Isabel Sá-Correia