2018 Yearbook - Universidad ORT Uruguay

37 / School of Engineering Peer-reviewed conference papers Szasz, N., Tasistro, Á., Copello, E., Szasz, N., & Tasistro, Á. (2018). Formalization in constructive type theory of Barendregt’s variable convention for generic structures with binders. In Electronic Proceedings in Theoretical Computer Science, EPTCS, 274 (pp. 11–26). Oxford, United Kingdom. http://dx.doi.org/ 10.4204/EPTCS.274.2 Indexed in Scopus. Copes, M., Szasz, N., & Tasistro, Á. (2018). Formalization in constructive type theory of the standardization theorem for the lambda calculus using multiple substitution. In Electronic Proceedings in Theoretical Computer Science, EPTCS, 274 (pp. 27–41). Oxford, United Kingdom. http://dx.doi.org/10.4204/EPTCS.274.3 Indexed in Scopus. Zeballos, M., Ferragut, A., & Paganini, F. (November 2018). Preserving fairness in EV charging under time-varying congestion levels. Paper presented at the 9th Power, Instrumentation and Measurement Meeting (IEEE EPIM 2018). Salto, Uruguay. Books Book chapters Cuitiño, E. Cuitiño, E. (2018). Mysteries of mar Montevideo: Fin de Siglo. Research Papers FACULTY PUBLICATIONS 2018 Jackson, E. Correa, S. Betancor, L. Jackson, E., Correa, S., & Betancor, L. (2018). Cellulose-Based Nanosupports for Enzyme Immobilization. In I. H. Mondal (Ed.), Cellulose-Based Superabsorbent Hydrogels (pp. 1–19). Cham: Springer. https://doi-org.proxy.timbo.org.uy:88/10.1007/978-3-319-76573-0_42-1 Rocca, J. I. Solari, M. Rocca, J. I., & Solari, M. (2018). Analysis of Usability-Oriented Software Processes (Research Paper No. 14). Montevideo: Universidad ORT Uruguay. Retrieved from https://dspace.ort.edu.uy/handle/20.500.11968/3733