Gregorio de Miguel Casado
Gregorio de Miguel Casado
Verified email at unizar.es
TitleCited byYear
Management of social networks in the educational process
HM Mora, MTS Pont, GDM Casado, VG Iglesias
Computers in Human Behavior 51, 890-895, 2015
422015
Temporal logics for phylogenetic analysis via model checking
R Blanco, G de Miguel Casado, JI Requeno, JM Colom
2010 IEEE International Conference on Bioinformatics and Biomedicine …, 2010
102010
Information search habits of first year college students
H Mora-Mora, MT Signes-Pont, GDM Casado
International Journal of Knowledge Society Research (IJKSR) 5 (4), 26-34, 2014
72014
Phylogenetic Analysis Using an SMV Tool
JI Requeno, R Blanco, G de Miguel Casado, JM Colom
5th International Conference on Practical Applications of Computational …, 2011
62011
Calculation scheme based on a weighted primitive: application to image processing transforms
MTS Pont, JMG Chamizo, HM Mora, G de Miguel Casado
EURASIP Journal on Advances in Signal Processing 2007 (1), 045321, 2007
62007
Temporal logics for phylogenetic analysis via model checking
JI Requeno, G de Miguel Casado, R Blanco, JM Colom
IEEE/ACM transactions on computational biology and bioinformatics 10 (4 …, 2013
52013
Sliced Model Checking for Phylogenetic Analysis
JI Requeno, R Blanco, G de Miguel Casado, JM Colom
6th International Conference on Practical Applications of Computational …, 2012
42012
The role of algebraic models and type-2 theory of effectivity in special purpose processor design
G de Miguel Casado, JMG Chamizo
Conference on Computability in Europe, 137-146, 2006
42006
A computational model of the belief system under the scope of social communication
MTS Pont, HM Mora, GDM Casado, DG Méndez
Foundations of Science 21 (1), 215-223, 2016
32016
PhyloFlow: A fully customizable and automatic workflow for phylogenetic reconstruction
J Alvarez-Jarreta, G de Miguel Casado, E Mayordomo
2014 IEEE International Conference on Bioinformatics and Biomedicine (BIBM), 1-7, 2014
32014
Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers
G de Miguel Casado, JMG Chamizo, MTS Pont
Conference on Computability in Europe, 218-227, 2007
32007
Parametric architecture for function calculation improvement
MTS Pont, JMG Chamizo, HM Mora, G de Miguel Casado
International Conference on Architecture of Computing Systems, 240-253, 2007
32007
Molecular Phylogenetic Analysis: Design and Implementation of Scalable and Reliable Algorithms and Verification of Phylogenetic Properties
J Álvarez-Jarreta, GDM Casado, E Mayordomo
Jornada de Jóvenes Investigadores del I3A 4, 17-18, 2017
12017
Improvement of image transform calculation based on a weighted primitive
MTS Pont, JMG Chamizo, HM Mora, G de Miguel Casado
International Conference Image Analysis and Recognition, 260-271, 2006
12006
Parametrized Architecture for Hough Transform Recursive Evaluation
JM García-Chamizo, MT Signes Pont, H Mora, M Casado
12003
Parametrizable architecture for function recursive evaluation
JM García-Chamizo, MT Signes Pont, H Mora, M Casado
12003
Decimal on-line Arithmetic for RatIonal Operation in C++(DARIO C++)
G de Miguel Casado
CCA 2014, 46, 2014
2014
Proyecto Fin de Carrera Ingenierıa Informática
SG Esteban, G de Miguel Casado, JÁ Jarreta, ...
2014
Hábitos de búsqueda de información de los estudiantes universitarios de primer curso
HM Mora, MTS Pont, GDM Casado
La era de las TT. II. CC. en la nueva docencia, 321, 2014
2014
International Journal of Knowledge Society Research
ARI Al-Ghadir, A Alabdullatif, AM Azmi, ZH Bakry, SH Bakry, H Mora-Mora, ...
2014
The system can't perform the operation now. Try again later.
Articles 1–20