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

54 Universidad ORT Uruguay Tasistro, Á. Michelini, J. 2014 • Tasistro, Á., & Michelini, J. (mayo, 2014). Calculational presentation of propositional tableaux. Artículo presentado en 3rd International Workshop on Trends in Functional Programming in Education (TFPIE 2014). Soesterberg, Holanda. Tasistro, Á. Copello, E. Szasz, N. 2014 • Tasistro, Á., Copello, E., & Szasz, N. (julio, 2014). Gentle formalisation of stoughton’s lambda calculus substitution. Artículo presentado en 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP). Viena, Austria. Tasistro, Á. Copello, E. Szasz, N. 2014 • Tasistro, Á., Copello, E., & Szasz, N. (setiembre, 2014). Formalisation of stoughton’s substitution for lambda calculus in constructive type theory. Artículo presentado en 9th Logical and Semantic Frameworks, with Applications (LSFA 2014). Brasilia, Brasil. Tasistro, Á. Michelini, J. Szasz, N. 2014 • Tasistro, Á., Michelini, J., & Szasz, N. (mayo, 2014). Course on a mathematical presentation of functional programming. Artículo presentado en 3rd International Workshop on Trends in Functional Programming in Education (TFPIE 2014). Soesterberg, Holanda. Topolansky, E. Fernández Delucchi, X. 2016 • Topolansky, E., Fernández Delucchi, X., & Asensio Muñoz, I. (abril, 2016). Conocerse, soñar e identificar oportunidades. El Centro de Innovación y Emprendimiento de Universidad ORT Uruguay. Artículo presentado en IV Congreso Internacional de Emprendimiento. Innovación y ecosistema emprendedor: construyendo una sociedad emprendedora (AFIDE 2016). Montevideo, Uruguay. Topolansky, E. Fernández, R. 2015 • Topolansky, E., & Fernández, R. (setiembre, 2015). Emprende cultura. Artículo presentado en IXWorkshop Latinoamericano de Innovación y Emprendedorismo de la Red EmprendeSUR. Mar del Plata, Argentina. Vaccaro, V. Jackson, E. Betancor, L. 2019 • Vaccaro, V., Rey, F., Escobar, D., Jackson, E., & Betancor, L. (octubre, 2019). Inmovilización y estabilización de lacasa para su aplicación en la degradación de antibióticos. Póster académico presentado en 6o Encuentro Nacional de Química (ENAQUI6 2019). Montevideo, Uruguay. Zeballos, M. Ferragut, A. Paganini, F. 2018 • Zeballos, M., Ferragut, A., & Paganini, F. (2018). Preserving fairness in EV charging under time-varying congestion levels. En Proceedings of the 56th Annual Allerton Conference on Communication, Control, and Computing, Allerton 2018 (pp. 1-6). Salto, Uruguay. https://doi.org/10.1109/EPIM.2018.8756458 Zerpa, C. Garbarino, H. 2015 • Zerpa, C., & Garbarino, H. (2015). La interoperabilidad en los programas de gobierno electrónico, aplicación de un modelo de factores de éxito. En Memoria del VII Congreso Internacional de Computación y Telecomunicaciones (COMTEL 2015) (pp. 83-90). Lima, Perú. ARTÍCULOS EN CONFERENCIAS ARBITRADAS / FACULTAD DE INGENIERÍA