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

36 Universidad ORT Uruguay Copello, E. Szasz, N. Tasistro, Á. 2017 • Copello, E., Szasz, N., & Tasistro, Á. (setiembre, 2017). Machine-checked proof of the church-rosser theorem for the lambda calculus using the Barendregt variable convention in constructive type theory. Artículo presentado en 12thWorkshop on Logical and Semantic Frameworks with Applications (LSFA 2017). Brasilia, Brasil. Copello, E. Tasistro, Á. Bianchi, B. 2014 • Copello, E., Tasistro, Á., & Bianchi, B. (2014). Case of (quite) painless dependently typed programming: Fully certified merge sort in Agda. En Lecture Notes in Computer Science (pp. 62-76). Maceio, Brasil. Copello, E. Tasistro, Á. Szasz, N. 2015 • Copello, E., Tasistro, Á., & Szasz, N. (setiembre, 2015). Alpha-Structural induction and recursion for the lambda calculus in constructive type theory. Artículo presentado en NAT@Logic 2015: 10thWorkshop on Logical and Semantic Frameworks, with Applications (LSFA 2015). Natal, Brasil. Correa, S. Betancor, L. 2016 • Correa, S., Pirotti, F., Rodríguez, J., Puertas, S., Grazú, V., & Betancor, L. (2016). Nanocatalizadores de HRP para terapia enzimática directa. En Libro de resúmenes de II Simposio Latinoamericano de Biocatálisis y Biotransformaciones (SiLaBB II) (p. 82). Montevideo, Uruguay. Correa, S. Betancor, L. 2017 • Correa, S., Sierra, T., Asín, L., Betancor, L., & Grazú, V. (octubre, 2017). Nanobiohíbridos para la termoactivación de una enzima terapéutica por hipertermia magnética . Póster académico presentado en 5o Encuentro Nacional de Química (ENAQUI5 2017). Montevideo, Uruguay. Correa, S. Betancor, L. 2017 • Correa, S., Sierra, T., Asín, L., Puertas, S., Betancor, L., & Grazú, V. (marzo, 2017). Biohybrid nanoparticles for directed enzyme prodrug therapy remotely triggered by magnetic hyperthermia. Artículo presentado en 5th International Conference on Multifunctional, Hybrid and Nanomaterials. Lisboa, Portugal. Correa, S. Betancor, L. 2018 • Correa, S., Asín, L., de la Fuente, J. M., Grazú, V., & Betancor, L. (abril, 2018). Estrategias de síntesis de nanohíbridos de sílica biomimética: co-encapsulación de peroxidasa y nanopartículas magnéticas. Artículo presentado en Primer Encuentro de Jóvenes Investigadores en Ciencias de Materiales. Montevideo, Uruguay. Correa, S. Betancor, L. 2018 • Correa, S., Sierra, T., Asín, L., Gutiérrez, L., de la Fuente, J. M., Betancor, L., & Grazú, V. (mayo, 2018). Nanobiohybrids for the thermoactivation of a therapeutic enzyme by magnetic hyperthermia. Póster académico presentado en 12th International Conference on the Scientific and Clinical Applications of Magnetic Carriers. Copenhague, Dinamarca. Correa, S. Betancor, L. 2019 • Correa, S., Asín, L., Gutiérrez, L., Martinez De La Fuente, J., Grazú, V., & Betancor, L. (julio, 2019). Remotely activated nanoimmobilized biocatalyst by magnetic hyperthermia for directed enzyme prodrug therapy. Póster académico presentado en Biotrans 2019. Groninga, Holanda. Correa, S. Betancor, L. 2019 • Correa, S., Grazú, V., & Betancor, L. (setiembre, 2019). Estrategias para la inmovilización y estabilización de Bglucuronidasa. Póster académico presentado en II Congreso Nacional de Biociencias 2019. Montevideo, Uruguay. ARTÍCULOS EN CONFERENCIAS ARBITRADAS / FACULTAD DE INGENIERÍA