Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic. - Samuel Novotný; Miroslav Michalko; Ján Perhác; Valerie Novitzká; Frantisek Jakab (Symmetry, 2022)

OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs. - Ján Perhác; Samuel Novotný; Sergej Chodarev; Joachim Tilsted Kristensen; Lars Tveito; Oleks Shturmov; Michael Kirkedal Thomsen (ThEdu@CADE, 2024)