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

22 Universidad ORT Uruguay Buksman, E. Fonseca de Oliveira, A. Allende, C. 2020 • Buksman, E., Fonseca de Oliveira, A., & Allende, C. (2020). Performance and error modeling of Deutsch’s algorithm in IBM Q. Revista Mexicana de Física , 66 (2), 239-245. https://doi.org/10.31349/RevMexFis.66.239 Rankeada en Q4 en JCR. Rankeada en Q4 en SJR (Scopus). Buksman, E. Fonseca de Oliveira, A. Barbieri, L. Ferreira, C. 2019 • Buksman, E., Fonseca de Oliveira, A., Barbieri, L., & Ferreira, C. (2019). Experimentando con Arduino y Scilab: propagación de calor en una barra metálica. Experimenting with Arduino and Scilab: Heat propagation in a metal bar. Revista Brasileira de Ensino de Física , 41 (4), 1-8. http://dx.doi.org/10.1590/1806-9126-rbef-2018-0356 Rankeada en Q3 en SJR (Scopus). Cabezas, Á. 2015 • Cabezas, Á., Calabria de Araujo, J., Callejas, C., Galès, A., Hamelin, J., Marone, A., … Etchebehere, C. (2015). How to use molecular biology tools for the study of the anaerobic digestion process? Reviews in Environmental Science and Bio/ Technology , 14 (4), 555-593. https://doi.org/10.1007/s11157-015-9380-8 Rankeada en Q1 en JCR. Rankeada en Q1 en SJR (Scopus). Cabezas, Á. 2015 • Cabezas, Á., Pommerenke, B., Boon, N., & Friedrich, M.W. (2015). Geobacter, anaeromyxobacter and anaerolineae populations are enriched on anodes of root exudate driven microbial fuel cells in rice field soil. Environmental Microbiology Reports , 7 (3), 489-497. https://doi.org/10.1111/1758-2229.12277 Rankeada en Q1 en JCR. Rankeada en Q1 en SJR (Scopus). Cohn, I. Fonseca de Oliveira, A. Buksman, E. 2016 • Cohn, I., Fonseca de Oliveira, A., Buksman, E., & García López de Lacalle, J. (2016). Grover’s search with local and total depolarizing channel errors: Complexity analysis. International Journal of Quantum Information , 14 (2), 1-15. https://dx.doi.org/10.1142/S021974991650009X Rankeada en Q3 en JCR. Rankeada en Q3 en SJR (Scopus). Copello, E. Szasz, N. Tasistro, Á. 2017 • Copello, E., Szasz, N., & Tasistro, Á. (2017). Formal metatheory of the Lambda calculus using Stoughton’s substitution. Theoretical Computer Science , 658 , 65-85. https://doi.org/10.1016/j.tcs.2016.08.025 Rankeada en Q3 en JCR. Rankeada en Q1 en SJR (Scopus). Copello, E. Szasz, N. Tasistro, Á. 2018 • Copello, E., Szasz, N., & Tasistro, Á. (2018). Machine-checked proof of the Church-Rosser theorem for lambda-calculus using the Barendregt variable convention in constructive type theory. Electronic Notes in Theoretical Computer Science (ENTCS) , 338 , 79-95. https://doi.org/10.1016/j.entcs.2018.10.006 Rankeada en Q2 en SJR (Scopus). Copello, E. Tasistro, Á. Szasz, N. 2016 • Copello, E., Tasistro, Á., Szasz, N., Bove, A., & Fernández, M. (2016). Alpha-structural induction and recursion for the lambda calculus in constructive type theory. Electronic Notes in Theoretical Computer Science , 323 , 109-124. https://doi.org/10.1016/j.entcs.2016.06.008 Rankeada en Q2 en SJR (Scopus). ARTÍCULOS EN PUBLICACIONES ARBITRADAS / FACULTAD DE INGENIERÍA