Memoria de investigación y producción académica 2014-2020

32 Universidad ORT Uruguay Urciuoli, S. Tasistro, Á. Szasz, N. 2020 • Urciuoli, S., Tasistro, Á., & Szasz, N. (2020). Strong normalization for the simply-typed lambda calculus in constructive type theory using Agda. Electronic Notes in Theoretical Computer Science , 351 , 187-203. https://doi.org/10.1016/j.entcs.2020.08.010 Rankeada en Q2 en SJR (Scopus). Vanrell, L. 2020 • Ballesteros Briones, M. C., Silva Pilipich, N., Herrador Cañete, G., Vanrell, L., & Smerdou, C. (2020). A new generation of vaccines based on alphavirus self-amplifying RNA. Current Opinion in Virology , 44 , 145-153. https://doi.org/10.1016/j. coviro.2020.08.003 Rankeada en Q1 en JCR. Rankeada en Q1 en SJR (Scopus). Vanrell, L. 2020 • Silva-Pilipich, N., Martisova, E., Ballesteros-Briones, M. C., Hervas-Stubbs, S., Casares, N., González-Sapienza, G., … Vanrell, L. (2020). Long-term systemic expression of a novel PD-1 blocking nanobody from an AAV vector provides antitumor activity without toxicity. Biomedicines , 8 (12), 1-19. https://doi.org/10.3390/biomedicines8120562 Rankeada en Q1 en JCR. Rankeada en Q1 en SJR (Scopus). Yovine, S. 2018 • Yovine, S., & Gonzalo,W. (2018). Static taint analysis applied to detecting bad programming practices in Android. Electronic Journal of SADIO , 17 (1), 35-53. • Recuperado de http://www.sadio.org.ar/wp-content/uploads/2018/03/3_EJS_2018_ASSE_Yovine.pdf Zeballos, M. Ferragut, A. Paganini, F. 2018 • Zeballos, M., Ferragut, A., & Paganini, F. (2018). Achieving fairness for EV charging in overload: A fluid approach. Performance Evaluation Review , 46 (3), 62-67. http://dx.doi.org/10.1145/3308897.3308927 Rankeada en Q2 en SJR (Scopus). Zeballos, M. Ferragut, A. Paganini, F. 2019 • Zeballos, M., Ferragut, A., & Paganini, F. (2019). Proportional fairness for EV charging in overload. IEEE Transactions on Smart Grid , 10 (6), 6792-6801. https://doi.org/10.1109/TSG.2019.2911231 Rankeada en Q1 en JCR. Rankeada en Q1 en SJR (Scopus). ARTÍCULOS EN PUBLICACIONES ARBITRADAS / FACULTAD DE INGENIERÍA