Anuario 2018 - Universidad ORT Uruguay

37 / Facultad de Ingeniería Artículos en conferencias arbitradas Szasz, N. Tasistro, Á. Copello, E., Szasz, N., & Tasistro, Á. (2018). Formalisation in constructive type theory of barendregt's variable convention for generic structures with binders. En Electronic Proceedings in Theoretical Computer Science, EPTCS, 274 (pp. 11-26). Oxford, United Kingdom. http://dx.doi.org/ 10.4204/EPTCS.274.2 Indexado en Scopus. Copes, M., Szasz, N., & Tasistro, Á. (2018). Formalization in constructive type theory of the standardization theorem for the lambda calculus using multiple substitution. En Electronic Proceedings in Theoretical Computer Science, EPTCS, 274 (pp. 27-41). Oxford, United Kingdom. http://dx.doi.org/10.4204/EPTCS.274.3 Indexado en Scopus. Zeballos, M. Ferragut, A. Paganini, F. Zeballos, M., Ferragut, A., & Paganini, F. (noviembre, 2018). Preserving fairness in EV charging under time-varying congestion levels . Artículo presentado en 9th Power, Instrumentation and Measurement Meeting (IEEE EPIM 2018). Salto, Uruguay. Libros Capítulos en libros Cuitiño, E. Cuitiño, E. (2018). Misterios del mar . Montevideo: Fin de Siglo. Documentos de investigación PUBLICACIONES DEL CUERPO ACADÉMICO 2018 Jackson, E. Correa, S. Betancor, L. Jackson, E., Correa, S., & Betancor, L. (2018). Cellulose-Based Nanosupports for Enzyme Immobilization. En 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). Análisis de procesos de software orientados a la usabilidad (Documento de Investigación nro. 14). Montevideo: Universidad ORT Uruguay. Recuperado de https://dspace.ort.edu.uy/handle/20.500.11968/3733