Redundant Modeling for the QuasiGroup Completion Problem. - Iván Dotú; Alvaro del Val; Manuel Cebrián (CP, 2003)

Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem. - Iván Dotú; Alvaro del Val; Manuel Cebrián (IJCAI, 2003)

Rapid Prototyping by Means of Meta-Modelling and Graph Grammars. An Example with Constraint Satisfaction Problems. - Iván Dotú; Juan de Lara (JISBD, 2003)

Modeling Choices in Quasigroup Completion: SAT vs. CSP. - Carlos Ansótegui; Alvaro del Val; Iván Dotú; Cèsar Fernández; Felip Manyà (AAAI, 2004)

A simple hybrid evolutionary algorithm for finding Golomb rulers. - Iván Dotú; Pascal Van Hentenryck (Congress on Evolutionary Computation, 2005)

Scheduling Social Tournaments. - Iván Dotú; Alvaro del Val; Pascal Van Hentenryck (CP, 2005)

Scheduling Social Golfers Locally. - Iván Dotú; Pascal Van Hentenryck (CPAIOR, 2005)

A Note on Low Autocorrelation Binary Sequences. - Iván Dotú; Pascal Van Hentenryck (CP, 2006)

GRASP - evolution for constraint satisfaction problems. - Manuel Cebrián; Iván Dotú (GECCO, 2006)

Scheduling Social Golfers with Memetic Evolutionary Programming. - Carlos Cotta; Iván Dotú; Antonio J. Fernández 001; Pascal Van Hentenryck (Hybrid Metaheuristics, 2006)

A Memetic Approach to Golomb Rulers. - Carlos Cotta; Iván Dotú; Antonio J. Fernández 001; Pascal Van Hentenryck (PPSN, 2006)

Scheduling social tournaments locally. - Iván Dotú; Pascal Van Hentenryck (AI Commun., 2007)

Local Search-based Hybrid Algorithms for Finding Golomb Rulers. - Carlos Cotta; Iván Dotú; Antonio J. Fernández 001; Pascal Van Hentenryck (Constraints An Int. J., 2007)

Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search. - Manuel Cebrián; Iván Dotú; Pascal Van Hentenryck; Peter Clote (AAAI, 2008)

Protein Structure Prediction with Large Neighborhood Constraint Programming Search. - Iván Dotú; Manuel Cebrián; Pascal Van Hentenryck; Peter Clote (CP, 2008)

Real-Time Tabu Search for Video Tracking Association. - Iván Dotú; Pascal Van Hentenryck; Miguel A. Patricio; Antonio Berlanga; José García; José M. Molina López (CP, 2009)

Discrete Optimization Algorithms in Real-Time Visual Tracking. - Miguel A. Patricio; Iván Dotú; Jesús García 001; Antonio Berlanga; José M. Molina 001 (Appl. Artif. Intell., 2009)

A meta-level evolutionary strategy for many-criteria design: Application to improving tracking filters. - Iván Dotú; José García; Antonio Berlanga; José Manuel Molina 001 (Adv. Eng. Informatics, 2009)

RNA Structural Segmentation. - Iván Dotú; W. A. Lorenz; Pascal Van Hentenryck; Peter Clote (Pacific Symposium on Biocomputing, 2010)

Boosting video tracking performance by means of Tabu Search in intelligent visual surveillance systems. - Iván Dotú; Miguel A. Patricio; Antonio Berlanga; Jesús García 001; José M. Molina 001 (J. Heuristics, 2011)

On Lattice Protein Structure Prediction Revisited. - Iván Dotú; Manuel Cebrián; Pascal Van Hentenryck; Peter Clote (IEEE ACM Trans. Comput. Biol. Bioinform., 2011)

Abstract: Using the Fast Fourier Transform to Accelerate the Computational Search for RNA Conformational Switches. - Evan Senter; Saad Sheikh; Iván Dotú; Yann Ponty; Peter Clote (RECOMB, 2013)

Rnaifold: a Constraint Programming Algorithm for RNA inverse Folding and molecular Design. - Juan Antonio García-Martín; Peter Clote; Iván Dotú (J. Bioinform. Comput. Biol., 2013)

RNAiFold: a web server for RNA inverse folding and molecular design. - Juan Antonio García-Martín; Peter Clote; Iván Dotú (Nucleic Acids Res., 2013)

Computing the Probability of RNA Hairpin and Multiloop Formation. - Yang Ding; William Andrew Lorenz; Iván Dotú; Evan Senter; Peter Clote (J. Comput. Biol., 2014)

RNAiFold 2.0: a web server and software to design custom and Rfam-based RNA molecules. - Juan Antonio García-Martín; Iván Dotú; Peter Clote (Nucleic Acids Res., 2015)

Segmentation and Tracking of Adherens Junctions in 3D for the Analysis of Epithelial Tissue Morphogenesis. - Rodrigo Cilla; Vinodh Mechery; Beatriz Hernandez de Madrid; Steven Del Signore; Iván Dotú; Victor Hatini (PLoS Comput. Biol., 2015)

RNAiFold2T: Constraint Programming design of thermo-IRES switches. - Juan Antonio García-Martín; Iván Dotú; Javier Fernandez-Chamorro; Gloria Lozano; Jorge Ramajo; Encarnacion Martinez-Salas; Peter Clote (Bioinform., 2016)

RNAdualPF: software to compute the dual partition function with sample applications in molecular evolution theory. - Juan Antonio García-Martín; Amir H. Bayegan; Iván Dotú; Peter Clote (BMC Bioinform., 2016)

SARNAclust: Semi-automatic detection of RNA protein binding motifs from immunoprecipitation data. - Iván Dotú; Scott I. Adamson; Benjamin Coleman; Cyril Fournier; Emma Ricart-Altimiras; Eduardo Eyras; Jeffrey H. Chuang (PLoS Comput. Biol., 2018)

Contact Tracing: Computational Bounds, Limitations and Implications. - Quyu Kong; Manuel García-Herranz; Iván Dotú; Manuel Cebrián (CoRR, 2021)

Detecting and Mitigating Bias in Algorithms Used to Disseminate Information in Social Networks. - Vedran Sekara; Iván Dotú; Manuel Cebrián; Esteban Moro; Manuel García-Herranz (CoRR, 2024)

Large-Scale School Mapping Using Weakly Supervised Deep Learning for Universal School Connectivity. - Isabelle Tingzon; Utku Can Ozturk; Iván Dotú (AAAI, 2025)