Verification of SequenceL programs using Mizar. - Adem Özyavas (2010)

Robust Nonlinear Non-Referenced Inertial Frame Multi-Stage PID Controller for Symmetrical Structured UAV. - Faruk Takaoglu; Ali Alshahrani; Naim Ajlouni; Firas Ajlouni; Basil Al Kasasbah; Adem Özyavas (Symmetry, 2022)

Medical image diagnosis based on adaptive Hybrid Quantum CNN. - Naim Ajlouni; Adem Özyavas; Mustafa Takaoglu; Faruk Takaoglu; Firas Ajlouni (BMC Medical Imaging, 2023)