| Incidence of diabetes mellitus in Spain as results of the nation-wide cohort di@ bet. es study G Rojo-Martínez, S Valdés, F Soriguer, J Vendrell, I Urrutia, V Pérez, ... Scientific reports 10 (1), 2765, 2020 | 135 | 2020 |
| Closure via functional dependence simplification A Mora, P Cordero, M Enciso, I Fortes, G Aguilera International Journal of Computer Mathematics 89 (4), 510-526, 2012 | 69 | 2012 |
| An accelerated-time simulation for traffic flow in a smart city JL Galán-García, G Aguilera-Venegas, P Rodríguez-Cielos JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS 270, 557-563, 2014 | 53 | 2014 |
| Automated generation of contrapuntal musical compositions using probabilistic logic in derive G Aguilera, JL Galán, R Madrid, AM Martínez, Y Padilla, P Rodríguez Mathematics and Computers in Simulation 80 (6), 1200-1211, 2010 | 44 | 2010 |
| A new Probabilistic Extension of Dijkstra’s Algorithm to simulate more realistic traffic flow in a smart city JL Galán-García, G Aguilera-Venegas, MÁ Galán-García, ... Applied mathematics and Computation 267, 780-789, 2015 | 34 | 2015 |
| Performance of MIMO MRC systems with co-channel interference JM Romero-Jerez, JP Peña-Martín, G Aguilera, AJ Goldsmith 2006 IEEE International Conference on Communications 3, 1343-1349, 2006 | 34 | 2006 |
| Reductions for non-clausal theorem proving G Aguilera, IP de Guzmán, M Ojeda-Aciego, A Valverde Theoretical Computer Science 266 (1-2), 81-112, 2001 | 30 | 2001 |
| An accelerated-time simulation for traffic flow in a smart city G Aguilera, JL Galán, JC Campos, P Rodríguez FEMTEC 2013, 26, 2013 | 28 | 2013 |
| Performance comparison of MRC and IC under transmit diversity JP Pena-Martin, JM Romero-Jerez, G Aguilera, AJ Goldsmith IEEE Transactions on Wireless Communications 8 (5), 2484-2493, 2009 | 28 | 2009 |
| Increasing the efficiency of automated theorem proving G Aguilera, IP de Guzmán, M Ojeda Journal of Applied Non-Classical Logics 5 (1), 9-29, 1995 | 26 | 1995 |
| A new closure algorithm based in logic: SLFD-Closure versus classical closures A Mora, G Aguilera, M Enciso, P Cordero, IP de Guzmán Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial …, 2006 | 25 | 2006 |
| Ambient temperature and prevalence of diabetes and insulin resistance in the Spanish population: Di@ bet. es study S Valdés, V Doulatram-Gamgaram, A Lago, F García Torres, ... European Journal of Endocrinology 180 (5), 273-280, 2019 | 24 | 2019 |
| An accelerated-time simulation of baggage traffic in an airport terminal G Aguilera-Venegas, JL Galán-García, E Mérida-Casermeiro, ... Mathematics and Computers in Simulation 104, 58-66, 2014 | 17 | 2014 |
| A reduction-based theorem prover for 3-valued logic G Aguilera Venegas, I Pérez de Guzmán Molina, M Ojeda Aciego Mathware & soft computing. 1997 Vol. 4 Núm. 2, 1997 | 17 | 1997 |
| An accelerated-time simulation of car traffic on a motorway using a CAS JLG Gabriel Aguilera, JM García, E Mérida, P Rodríguez Mathematics and Computers in Simulation 104, 21-30, 2014 | 15 | 2014 |
| A non-explosive treatment of Functional dependencies using rewriting logic G Aguilera, P Cordero, M Enciso, A Mora, IP de Guzmán Advances in Artificial Intelligence–SBIA 2004: 17th Brazilian Symposium on …, 2004 | 15 | 2004 |
| A probabilistic extension to Conway’s Game of Life G Aguilera-Venegas, JL Galán-García, R Egea-Guerrero, ... Advances in Computational Mathematics 45, 2111-2121, 2019 | 14 | 2019 |
| A portable knowledge-based system for car breakdown evaluation E Roanes-Lozano, JL Galán-García, G Aguilera-Venegas Applied Mathematics and Computation 267, 758-770, 2015 | 14 | 2015 |
| Improving CAS capabilities: New rules for computing improper integrals JL Galán-García, G Aguilera-Venegas, MÁ Galán-García, ... Applied Mathematics and Computation 316, 525-540, 2018 | 13 | 2018 |
| Teaching Semantic Tableaux Method for Propositional Classical Logic with a CAS. G Aguilera-Venegas, JL Galán-García, MÁ Galán-García, ... International Journal for Technology in Mathematics Education 22 (2), 2015 | 12 | 2015 |
