The Educational Tasks and Objectives System within a Formal Context. - L'ubomír Antoni; Ján Gunis; Stanislav Krajci; Ondrej Kridlo; Lubomír Snajder (CLA, 2014)

Inquiry-Based Learning in Computer Science Classroom. - Zuzana Tkácová; Lubomír Snajder; Ján Gunis (ISSEP, 2019)

Case Studies and Education in Data Science At Universities in Slovakia. - L'ubomír Antoni; Erik Bruoth; Ján Gunis; Peter Gurský; Stanislav Krajci; Ondrej Krídlo; Radim Navrátil; Lubomír Snajder; Gabriela Andrejková; Dusan Sveda (ITAT, 2019)

Inquiry-Based Python Programming at Secondary Schools. - Ján Gunis; Lubomír Snajder; Zuzana Tkácová; V. Gunisová (MIPRO, 2020)

Artificial Intelligence - a new topic in Computer Science curriculum at primary and secondary schools: challenges, opportunities, tools and approaches. - Zuzana Tkácová; Lubomír Snajder; Ján Gunis (MIPRO, 2020)

Programming STEAM Applications in Informatics Education and Their Use in Biology Education. - Ján Gunis; Lubomír Snajder; Anna Misianiková; Dominika Kotlárová; Katarína Brinziková; Andrea Lesková (MIPRO, 2024)

STEAM Teaching Evolution by Collaborating Biology and Informatics. - Anna Misianiková; Andrea Lesková; Ján Gunis; Lubomír Snajder; Dominika Kotlárová; Katarína Brinziková (MIPRO, 2024)

Bimorphisms and attribute implications in heterogeneous formal contexts. - L'ubomír Antoni; Peter Elias 002; Ján Gunis; Dominika Kotlárová; Stanislav Krajci; Ondrej Krídlo; Pavol Sokol; Lubomír Snajder (Int. J. Approx. Reason., 2024)

Formal Concept Analysis of Students' Solutions on Computational Thinking Game. - Ján Gunis; L'ubomír Snajder; L'ubomír Antoni; Peter Elias 002; Ondrej Krídlo; Stanislav Krajci (IEEE Trans. Educ., 2025)