Gregorio de Miguel Casado

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