Utilization of Timed Automata as a Verification Tool for Security Protocols. - Ahmet Koltuksuz; Burcu Kulahcioglu; Murat Ozkan (SSIRI (Companion), 2010)

Modeling Efficient Multi-chained Stream Signature Protocol Using Communicating Sequential Processes. - Ahmet Koltuksuz; Murat Ozkan; Burcu Kulahcioglu (SSIRI (Companion), 2010)

Artificial neural network-based classification system for lung nodules on computed tomography scans. - Emre Dandil; Murat Çakiroglu; Ziya Eksi; Murat Ozkan; Ozlem Kar Kurt; Arzu Canan (SoCPaR, 2014)

Endoskopik ultrason görüntülerinde kronik pankreatit ve pankreas kanserinin yaşa göre bilgisayar destekli teşhisi (Age-based computer-aided detection of chronic pancreatitis and pancreatic cancer on endoscopic ultrasonography images) - Murat Ozkan (2015)