Gregorio de Miguel Casado

Publication Activity (10 Years)

Years Active: 2003-2015
Publications (10 Years): 1

Top Topics

Formal Specification

Phylogenetic Analysis

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Int. J. Knowl. Soc. Res.

Publications

Higinio Mora Mora, María Teresa Signes Pont, Gregorio de Miguel Casado, Virgilio Gilart-Iglesias
Management of social networks in the educational process. Comput. Hum. Behav. 51 (2015)
Jorge Álvarez-Jarreta, Gregorio de Miguel Casado, Elvira Mayordomo
PhyloFlow: A fully customizable and automatic workflow for phylogenetic reconstruction. BIBM (2014)
Higinio Mora Mora, María Teresa Signes Pont, Gregorio de Miguel Casado
Information Search Habits of First Year College Students. Int. J. Knowl. Soc. Res. 5 (4) (2014)
José Ignacio Requeno, Gregorio de Miguel Casado, Roberto Blanco, José Manuel Colom
Temporal Logics for Phylogenetic Analysis via Model Checking. IEEE ACM Trans. Comput. Biol. Bioinform. 10 (4) (2013)
José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom
Sliced Model Checking for Phylogenetic Analysis. PACBB (2012)
José Ignacio Requeno, Roberto Blanco, Gregorio de Miguel Casado, José Manuel Colom
Phylogenetic Analysis Using an SMV Tool. PACBB (2011)
Roberto Blanco, Gregorio de Miguel Casado, José Ignacio Requeno, José Manuel Colom
Temporal logics for phylogenetic analysis via model checking. BIBM Workshops (2010)
María Teresa Signes Pont, Juan Manuel García Chamizo, Gregorio de Miguel Casado, Higinio Mora Mora
Computational framework for behavioural modelling of neural subsystems. Neurocomputing 72 (7-9) (2009)
María Teresa Signes Pont, Higinio Mora Mora, Juan Manuel García Chamizo, Gregorio de Miguel Casado
Table-based method for reconfigurable function evaluation. IPDPS (2009)
Gregorio de Miguel Casado, Juan Manuel García Chamizo
A Software Library for Reliable Online-Arithmetic with Rational Numbers. Numerical Validation in Current Hardware Architectures (2008)
María Teresa Signes Pont, Gregorio de Miguel Casado, Juan Manuel García Chamizo, Higinio Mora Mora
Parametric Architecture for Modeling Neuronal Systems. PDP (2008)
Gregorio de Miguel Casado, Juan Manuel García Chamizo, María Teresa Signes Pont
Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. CiE (2007)
María Teresa Signes Pont, Juan Manuel García Chamizo, Higinio Mora Mora, Gregorio de Miguel Casado
Parametric Architecture for Function Calculation Improvement. ARCS (2007)
María Teresa Signes Pont, Juan Manuel García Chamizo, Higinio Mora Mora, Gregorio de Miguel Casado
Calculation Scheme Based on a Weighted Primitive: Application to Image Processing Transforms. EURASIP J. Adv. Signal Process. 2007 (2007)
Gregorio de Miguel Casado, Juan Manuel García Chamizo
The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design. CiE (2006)
María Teresa Signes Pont, Juan Manuel García Chamizo, Higinio Mora Mora, Gregorio de Miguel Casado
Improvement of Image Transform Calculation Based on a Weighted Primitive. ICIAR (1) (2006)
Juan Manuel García Chamizo, María Teresa Signes Pont, Higinio Mora Mora, Gregorio de Miguel Casado
Hough Transform recursive evaluation using Distributed Arithmetic. VLSI-SOC (2003)