Iván Dotú

According to our database, Iván Dotú authored at least 31 papers between 2003 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Contact Tracing: Computational Bounds, Limitations and Implications.

Quyu Kong, Manuel García-Herranz, Iván Dotú, Manuel Cebrián

CoRR, 2021

2018

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

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

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

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

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

2014

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

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

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

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

Proceedings of the Research in Computational Molecular Biology, 2013

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

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, José M. Molina

J. Heuristics, 2011

2010

RNA Structural Segmentation.

Iván Dotú, W. A. Lorenz, Pascal Van Hentenryck, Peter Clote

Proceedings of the Biocomputing 2010: Proceedings of the Pacific Symposium, 2010

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

Adv. Eng. Informatics, 2009

Discrete Optimization Algorithms in Real-Time Visual Tracking.

Miguel A. Patricio, Iván Dotú, Jesús García, Antonio Berlanga, José M. Molina

Appl. Artif. Intell., 2009

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

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Protein Structure Prediction with Large Neighborhood Constraint Programming Search.

Iván Dotú, Manuel Cebrián, Pascal Van Hentenryck, Peter Clote

Proceedings of the Principles and Practice of Constraint Programming, 2008

Protein Structure Prediction on the Face Centered Cubic Lattice by Local Search.

Manuel Cebrián, Iván Dotú, Pascal Van Hentenryck, Peter Clote

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Local Search-based Hybrid Algorithms for Finding Golomb Rulers.

Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck

Constraints An Int. J., 2007

Scheduling social tournaments locally.

Iván Dotú, Pascal Van Hentenryck

AI Commun., 2007

2006

A Memetic Approach to Golomb Rulers.

Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck

Proceedings of the Parallel Problem Solving from Nature, 2006

Scheduling Social Golfers with Memetic Evolutionary Programming.

Carlos Cotta, Iván Dotú, Antonio J. Fernández, Pascal Van Hentenryck

Proceedings of the Hybrid Metaheuristics, Third International Workshop, 2006

GRASP - evolution for constraint satisfaction problems.

Manuel Cebrián, Iván Dotú

Proceedings of the Genetic and Evolutionary Computation Conference, 2006

A Note on Low Autocorrelation Binary Sequences.

Iván Dotú, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Scheduling Social Golfers Locally.

Iván Dotú, Pascal Van Hentenryck

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005

Scheduling Social Tournaments.

Iván Dotú, Alvaro del Val, Pascal Van Hentenryck

Proceedings of the Principles and Practice of Constraint Programming, 2005

A simple hybrid evolutionary algorithm for finding Golomb rulers.

Iván Dotú, Pascal Van Hentenryck

Proceedings of the IEEE Congress on Evolutionary Computation, 2005

2004

Modeling Choices in Quasigroup Completion: SAT vs. CSP.

Carlos Ansótegui, Alvaro del Val, Iván Dotú, Cèsar Fernández, Felip Manyà

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Rapid Prototyping by Means of Meta-Modelling and Graph Grammars. An Example with Constraint Satisfaction Problems.

Iván Dotú, Juan de Lara

Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

Channeling Constraints and Value Ordering in the QuasiGroup Completion Problem.

Iván Dotú, Alvaro del Val, Manuel Cebrián

Proceedings of the IJCAI-03, 2003

Redundant Modeling for the QuasiGroup Completion Problem.

Iván Dotú, Alvaro del Val, Manuel Cebrián

Proceedings of the Principles and Practice of Constraint Programming, 2003