Lista de

Computer programming
12
"A Tool for Introducing Computer Science with Automatic Formative Assessment" (2018) Benotti, L.; Martínez, M.C.; Schapachnik, F. IEEE Transactions on Learning Technologies. 11(2):179-192
"Formal specification and implementation of an automated pattern-based parallel-code generation framework" (2017) Pérez, G.; Yovine, S. International Journal on Software Tools for Technology Transfer:1-20
"Pilas bloques: A scenario-based children learning platform" (2017) Sanzo, A.;Factorovich, P.;Schapachnik, F. (...)Sprock A.S. 12th Latin American Conference on Learning Objects and Technologies, LACLO 2017. 2017-January:1-6
"New algorithms for composite retrieval" (2017) Feuerstein, E.;Knebel, J.A.;Mendez-Diaz, I. (...)Accenture; CONICYT; et al.; NIC Chile; RyC Consultores Asociados; Telefonica I+D 42nd Latin American Computing Conference, CLEI 2016
"Summary-based inference of quantitative bounds of live heap objects" (2014) Braberman, V.; Garbervetsky, D.; Hym, S.; Yovine, S. Science of Computer Programming. 92(PART A):56-84
"Boruvka meets nearest neighbors" (2013) Tepper, M.; Musé, P.; Almansa, A.; Mejail, M. 18th Iberoamerican Congress on Pattern Recognition, CIARP 2013. 8259 LNCS(PART 2):560-567
"A branch-and-cut algorithm for the minimum-adjacency vertex coloring problem" (2011) Delle Donne, D.; Marenco, J. Discrete Optimization. 8(4):540-554
"A cutting plane algorithm for graph coloring" (2008) Méndez-Díaz, I.; Zabala, P. Discrete Applied Mathematics. 156(2):159-179
"Foundations and applications for secure triggers" (2006) Futoransky, A.; Kargieman, E.; Sarraute, C.; Waissbein, A. ACM Transactions on Information and System Security. 9(1):94-112
"A program for the simulation and analysis of open atmospheric balloon soundings" (2003) Alexander, P.; De La Torre, A. Computer Physics Communications. 151(1):96-120
"Functional programming concepts and straight-line programs in computer algebra" (2002) Bruno, N.; Heintz, J.; Matera, G.; Wachenchauzer, R. Mathematics and Computers in Simulation. 60(6):423-473
"Generalized power expansions in cosmology" (1998) Jakubi, A.S. Computer Physics Communications. 115(2-3):284-299