Hough Transform recursive evaluation using Distributed Arithmetic. - Juan Manuel García Chamizo; María Teresa Signes Pont; Higinio Mora Mora; Gregorio de Miguel Casado (VLSI-SOC, 2003)

The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. - Gregorio de Miguel Casado; Juan Manuel García Chamizo (CiE, 2006)

Improvement of Image Transform Calculation Based on a Weighted Primitive. - María Teresa Signes Pont; Juan Manuel García Chamizo; Higinio Mora Mora; Gregorio de Miguel Casado (ICIAR (1), 2006)

Parametric Architecture for Function Calculation Improvement. - María Teresa Signes Pont; Juan Manuel García Chamizo; Higinio Mora Mora; Gregorio de Miguel Casado (ARCS, 2007)

Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. - Gregorio de Miguel Casado; Juan Manuel García Chamizo; María Teresa Signes Pont (CiE, 2007)

Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. - María Teresa Signes Pont; Juan Manuel García Chamizo; Higinio Mora Mora; Gregorio de Miguel Casado (EURASIP J. Adv. Signal Process., 2007)

A Software Library for Reliable Online-Arithmetic with Rational Numbers. - Gregorio de Miguel Casado; Juan Manuel García Chamizo (Numerical Validation in Current Hardware Architectures, 2008)

Parametric Architecture for Modeling Neuronal Systems. - María Teresa Signes Pont; Gregorio de Miguel Casado; Juan Manuel García Chamizo; Higinio Mora Mora (PDP, 2008)

Table-based method for reconfigurable function evaluation. - María Teresa Signes Pont; Higinio Mora Mora; Juan Manuel García Chamizo; Gregorio de Miguel Casado (IPDPS, 2009)

Computational framework for behavioural modelling of neural subsystems. - María Teresa Signes Pont; Juan Manuel García Chamizo; Gregorio de Miguel Casado; Higinio Mora Mora (Neurocomputing, 2009)

Phylogenetic Analysis Using an SMV Tool. - José Ignacio Requeno; Roberto Blanco; Gregorio de Miguel Casado; José Manuel Colom (PACBB, 2011)

Sliced Model Checking for Phylogenetic Analysis. - José Ignacio Requeno; Roberto Blanco; Gregorio de Miguel Casado; José Manuel Colom (PACBB, 2012)

Temporal Logics for Phylogenetic Analysis via Model Checking. - José Ignacio Requeno; Gregorio de Miguel Casado; Roberto Blanco; José Manuel Colom (IEEE ACM Trans. Comput. Biol. Bioinform., 2013)

PhyloFlow: A fully customizable and automatic workflow for phylogenetic reconstruction. - Jorge Álvarez-Jarreta; Gregorio de Miguel Casado; Elvira Mayordomo (BIBM, 2014)

Information Search Habits of First Year College Students. - Higinio Mora Mora; María Teresa Signes Pont; Gregorio de Miguel Casado (Int. J. Knowl. Soc. Res., 2014)

Management of social networks in the educational process. - Higinio Mora Mora; María Teresa Signes Pont; Gregorio de Miguel Casado; Virgilio Gilart-Iglesias (Comput. Hum. Behav., 2015)