Parallel Processing of Intra-cranial Electroencephalogram Readings on Distributed Memory Systems. - Leonardo Piñeyro; Sergio Nesmachnow (CARLA, 2017)

Structure verification of deep neural networks at compilation time using dependent types. - Leonardo Piñeyro; Alberto Pardo; Marcos Viera (SBLP, 2019)

Structure verification of deep neural networks at compilation time. - Leonardo Piñeyro; Alberto Pardo; Marcos Viera (J. Comput. Lang., 2021)