| Issue Date | Title | Author(s) |
| 121 | Jul-2010 | Towards test case generation for synthesizable VHDL programs using model checker | Ayav, Tolga ; Tuğlular, Tuğkan ; Belli, Fevzi |
| 122 | 2019 | Towards uniform modeling and holistic testing of hardware and software | Kılınççeker, Onur; Belli, Fevzi |
| 123 | 2015 | Truth ratios of syllogistic moods | Zarechnev, Mikhail; Kumova, Bora İsmail |
| 124 | 2016 | Tümyönlü ve PTZ kameralar ile taşıt sınıflandırması | Barış, İpek; Baştanlar, Yalın |
| 125 | 2017 | Türkçe manzara metni veri kümesi | Erdoğmuş, Nesli |
| 126 | 2019 | Türkçe tweetler üzerinden yapay sinir ağları ile cinsiyet tahminlemesi | Sezerer, Erhan ; Polatbilek, Ozan; Tekir, Selma |
| 127 | 2018 | Unilateral teleoperation design for a robotic endoscopic pituitary surgery system | Dede, Mehmet İsmet Can ; Maaroof, Omar Waleed Najm; Ateş, Gizem ; Berker, Mustafa; Işıkay, İlkay; Hanalioğlu, Şahin |
| 128 | 2010 | Utilization of timed automata as a verification tool for security protocols | Koltuksuz, Ahmet ; Külahçıoğlu, Burcu; Özkan, Murat |
| 129 | 2019 | Utilizing modeling approach patterns in the embedded software industry | Akdur, Deniz; Demirörs, Onur |
| 130 | 2017 | Üç boyutlu sahneler ve nesne tanıma için gürbüz anahtar nokta eşleştirilmesi | Köksal, Ali ; Uzyıldırım, Furkan Eren ; Özuysal, Mustafa |
| 131 | 2017 | Vertical pattern mining algorithm for multiple support thresholds | Darrab, Sadeq; Ergenç, Belgin |
| 132 | 2014 | Within- and cross- database evaluations for face gender classification via befit protocols | Erdoğmuş, Nesli ; Vanoni, Matthias; Marcel, Sebastien |
| 133 | 2015 | Yazılım yapısal kapsama analizinde testlerin önceliklendirilmesi | Ayav, Tolga |
| 134 | 2015 | Zamanda ortalaması alınmış ikili önplan imgeleri kullanarak taşıt sınıflandırması | Karaimer, Hakkı Can; Baştanlar, Yalın |
