Formally Verified Implementation of the K-Nearest Neighbors Classification Algorithm. - Bernny Velasquez; Jessica Herring; Nadeem Abdul Hamid (SBMF, 2024)

Towards a learning progression of sequencing and algorithm design for five- and six-years-old children engaging with an educational robot. - Camilo Vieira 001; Jennifer L. Chiu; Bernny Velasquez (Comput. Sci. Educ., 2024)