Formal Kinematic Analysis of Epicyclic Bevel Gear Trains. - Kubra Aksoy; Adnan Rashid; Sofiène Tahar (ICFEM, 2024)

Formal Analysis of Electrical Circuit Network Topologies Using Theorem Proving. - Kubra Aksoy; Adnan Rashid; Osman Hasan; Sofiène Tahar (SysCon, 2025)