Marta R. Hidalgo

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 7

Top Topics

Geometry Theorem Proving

Activity Analysis

Constraint Solving

Tree Decompositions

Top Venues

Comput. Aided Des.

Nucleic Acids Res.

Publications

Kinza Rian, Marina Esteban-Medina, Marta R. Hidalgo, Cankut Çubuk, Matias M. Falco, Carlos Loucera, Devrim Gunyel, Marek Ostaszewski, María Peña-Chilet, Joaquín Dopazo
Mechanistic modeling of the SARS-CoV-2 disease map. BioData Min. 14 (1) (2021)
Alicia Amadoz, Marta R. Hidalgo, Cankut Çubuk, José Carbonell-Caballero, Joaquín Dopazo
A comparison of mechanistic signaling pathway activity analysis methods. Briefings Bioinform. 20 (5) (2019)
Marta R. Hidalgo, Robert Joan-Arinyo
A Henneberg-based algorithm for generating tree-decomposable minimally rigid graphs. J. Symb. Comput. 79 (2017)
José Carbonell-Caballero, Alicia Amadoz, Roberto Alonso, Marta R. Hidalgo, Cankut Çubuk, David V. Conesa, Antonio López-Quílez, Joaquín Dopazo
Reference genome assessment from a population scale perspective: an accurate profile of variability and noise. Bioinform. 33 (22) (2017)
Francisco Salavert, Marta R. Hidalgo, Alicia Amadoz, Cankut Çubuk, Ignacio Medina, Daniel Crespo, José Carbonell-Caballero, Joaquín Dopazo
Actionable pathways: interactive discovery of therapeutic targets using signaling pathway models. Nucleic Acids Res. 44 (Webserver-Issue) (2016)
Roberto Alonso, Francisco Salavert, Francisco García-García, José Carbonell-Caballero, Marta Bleda, Luz Garcia-Alonso, Alba Sanchis-Juan, Daniel Perez-Gil, Pablo Marín-García, Rubén Sánchez, Cankut Çubuk, Marta R. Hidalgo, Alicia Amadoz, Rosa D. Hernansaiz-Ballesteros, Alejandro Alemán, Joaquín Tárraga, David Montaner, Ignacio Medina, Joaquín Dopazo
Babelomics 5.0: functional interpretation for new generations of genomic data. Nucleic Acids Res. 43 (Webserver-Issue) (2015)
Marta R. Hidalgo, Robert Joan-Arinyo
h-graphs: A new representation for tree decompositions of graphs. Comput. Aided Des. (2015)
Marta R. Hidalgo, Robert Joan-Arinyo
The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry. J. Autom. Reason. 52 (1) (2014)
Marta R. Hidalgo, Robert Joan-Arinyo
Computing parameter ranges in constructive geometric constraint solving: Implementation and correctness proof. Comput. Aided Des. 44 (7) (2012)