Asynchronous Muddy Children Puzzle (work in progress). - Dafina Trufas; Ioan Teodorescu; Denisa Diaconescu; Traian Serbanuta; Vlad Zamfir (FROM, 2023)

Intuitionistic Propositional Logic in Lean. - Dafina Trufas (FROM, 2024)

Matching logic - a new axiomatization. - Laurentiu Leustean; Dafina Trufas (CoRR, 2025)