| Management of social networks in the educational process HM Mora, MTS Pont, GDM Casado, VG Iglesias Computers in Human Behavior 51, 890-895, 2015 | 75 | 2015 |
| 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 | 11 | 2010 |
| 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 | 7 | 2014 |
| 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 | 6 | 2011 |
| Calculation scheme based on a weighted primitive: Application to image processing transforms MT Signes Pont, JM García Chamizo, H Mora Mora, G de Miguel Casado EURASIP Journal on Advances in Signal Processing 2007, 1-17, 2007 | 6 | 2007 |
| 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 | 5 | 2014 |
| 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 | 5 | 2013 |
| 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 | 5 | 2012 |
| A computational model of the belief system under the scope of social communication MTS Pont, HM Mora, G De Miguel Casado, DG Méndez Foundations of Science 21, 215-223, 2016 | 4 | 2016 |
| The role of algebraic models and type-2 theory of effectivity in special purpose processor design G de Miguel Casado, JMG Chamizo Logical Approaches to Computational Barriers: Second Conference on …, 2006 | 4 | 2006 |
| Table‐based Recursive Method for Function Evaluation MT Signes Pont, G de Miguel Casado, HM Mora, JM García Chamizo AIP Conference Proceedings 936 (1), 511-514, 2007 | 3 | 2007 |
| Parametric architecture for function calculation improvement MT Signes Pont, JM García Chamizo, H Mora Mora, G de Miguel Casado Architecture of Computing Systems-ARCS 2007: 20th International Conference …, 2007 | 3 | 2007 |
| Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers G de Miguel Casado, JM García Chamizo, MT Signes Pont Computation and Logic in the Real World: Third Conference on Computability …, 2007 | 3 | 2007 |
| 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 | 2 | 2017 |
| Análisis filogenético molecular: Diseno e implementación de algoritmos escalables y fiables y verificación automática de propiedades de una filogenia. JA Jarreta | 2 | 2011 |
| Improvement of image transform calculation based on a weighted primitive MTS Pont, JMG Chamizo, HM Mora, G de Miguel Casado Image Analysis and Recognition: Third International Conference, ICIAR 2006 …, 2006 | 1 | 2006 |
| Parametrized Architecture for Hough Transform Recursive Evaluation JM García-Chamizo, MT Signes Pont, H Mora, G Miguel Casado | 1 | 2003 |
| Parametrizable architecture for function recursive evaluation JM García-Chamizo, MT Signes Pont, H Mora, G Miguel Casado | 1 | 2003 |
| 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 |
