M3DISEEN: A novel machine learning approach for predicting the 3D printability of medicines M Elbadawi, BM Castro, FKH Gavins, JJ Ong, S Gaisford, G Pérez, ... International Journal of Pharmaceutics 590, 119837, 2020 | 151 | 2020 |
Machine learning predicts 3D printing performance of over 900 drug delivery systems BM Castro, M Elbadawi, JJ Ong, T Pollard, Z Song, S Gaisford, G Pérez, ... Journal of Controlled Release 337, 530-545, 2021 | 101 | 2021 |
Temporal equilibrium logic: a survey F Aguado, P Cabalar, M Diéguez, G Pérez, C Vidal Journal of Applied Non-Classical Logics 23 (1-2), 2-24, 2013 | 55 | 2013 |
Accelerating 3D printing of pharmaceutical products using machine learning JJ Ong, BM Castro, S Gaisford, P Cabalar, AW Basit, G Pérez, A Goyanes International Journal of Pharmaceutics: X 4, 100120, 2022 | 51 | 2022 |
PVS linear algebra libraries for verification of control software algorithms in C/ACSL H Herencia-Zapana, R Jobredeaux, S Owre, PL Garoche, E Feron, ... NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012 | 51 | 2012 |
Temporal equilibrium logic: a first approach P Cabalar, G Pérez Vega International Conference on Computer Aided Systems Theory, 241-248, 2007 | 51 | 2007 |
Strongly equivalent temporal logic programs F Aguado, P Cabalar, G Pérez, C Vidal European Workshop on Logics in Artificial Intelligence, 8-20, 2008 | 26 | 2008 |
Forgetting auxiliary atoms in forks F Aguado, P Cabalar, J Fandinno, D Pearce, G Pérez, C Vidal Artificial Intelligence 275, 575-601, 2019 | 24 | 2019 |
Linear-time temporal answer set programming F Aguado, P Cabalar, M Diéguez, G Pérez, T Schaub, A Schuhmann, ... Theory and Practice of Logic Programming 23 (1), 2-56, 2023 | 22 | 2023 |
Loop formulas for splitable temporal logic programs F Aguado, P Cabalar, G Pérez, C Vidal International Conference on Logic Programming and Nonmonotonic Reasoning, 80-92, 2011 | 22 | 2011 |
A denotational semantics for equilibrium logic F Aguado, P Cabalar, D Pearce, G Pérez, C Vidal Theory and Practice of Logic Programming 15 (4-5), 620-634, 2015 | 14 | 2015 |
Predicting pharmaceutical inkjet printing outcomes using machine learning P Carou-Senra, JJ Ong, BM Castro, I Seoane-Viano, L Rodríguez-Pombo, ... International Journal of Pharmaceutics: X 5, 100181, 2023 | 13 | 2023 |
M., y R. Castro B. 1999. Guía para la producción intensiva de jitomate en invernadero G Pérez Boletín de divulgación 3, 0 | 12 | |
Integrating temporal extensions of answer set programming F Aguado, G Pérez, C Vidal International Conference on Logic Programming and Nonmonotonic Reasoning, 23-35, 2013 | 9 | 2013 |
Temporal logic programs with variables F Aguado, P Cabalar, G Pérez, C Vidal, M Dieguez Theory and Practice of Logic Programming 17 (2), 226-243, 2017 | 7 | 2017 |
Certified genetic algorithms: Crossover operators for permutations F Aguado, JL Doncel, JM Molinelli, G Pérez, C Vidal, A Vieites Computer Aided Systems Theory–EUROCAST 2007: 11th International Conference …, 2007 | 7 | 2007 |
Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator C Vidal, F Aguado, JL Doncel, JM Molinelli, G Perez Journal of Formalized Reasoning 1 (1), 25-37, 2008 | 6 | 2008 |
M. y R. Castro B. 1998. Guía para la producción intensiva de chile manzano G Pérez Boletín de divulgación 1, 0 | 6 | |
Temporal equilibrium logic with past operators F Aguado, P Cabalar, M Diéguez, G Pérez, C Vidal Journal of Applied Non-Classical Logics 27 (3-4), 161-177, 2017 | 5 | 2017 |
MF Márquez S. y A G Pérez Peña L, 14-179, 1997 | 5 | 1997 |