Yakaryılmaz, A., Say, A.C.C., “Proving the Power of Postselection”, Fundamenta Informaticae, 123, 1, 107-134, 2013. Dil Türkçe
Ünal, D., Çağlayan, M.U., “Spatiotemporal model checking of location and mobility related security policy specifications”, Turkish Journal of Electrical Engineering and Computer Sciences, 21, 1, 144-173, 2013. Dil Türkçe
Ünal, D., Çağlayan, M.U., “A formal role-based access control model for security policies in multi-domain mobile networks”, Computer Networks, 57, 1, 330-350, 2013. Dil Türkçe
Tekir, S.D., Çakır, T., Ardıç, E., Sayılırbaş, A.S., Konuk, G., Konuk, M., Sarıyer, H., Uğurlu, A., Karadeniz, İ., Özgür, A., Sevilgen, F.E., Ülgen, K.Ö., “PHISTO: Pathogen-Host Interaction Search Tool”, Bioinformatics, 29, 10, 1357-1358, 2013. Dil Türkçe
Taşcı, Ş., Güngör, T., “Comparison of text feature selection policies and using an adaptive framework”, Expert Systems with Applications, 40, 12, 4871-4886, 2013. Dil Türkçe
Sousa, M., Şen, A., “LLVMVF: A generic approach for verification of multicore software”, Journal of Electronic Testing: Theory and Applications, 29, 5, 635-646, 2013 Dil Türkçe
Sakar, B.E., Isenkul, M.E., Sakar, C.O., Sertbas A., Gürgen F., Delil S., Apaydın H., Kurşun, O., “Collection and analysis of a parkinson speech dataset with multiple types of sound recordings”, IEEE Journal of Biomedical and Health Informatics, Accepted, 2013 Dil Türkçe
Mısırlı, A.T., Çağlayan, B., Bener, A., Turhan, B., “A Retrospective Study of Software Analytics Projects: In-Depth Interviews with Practitioners”, IEEE Software, 30, 5, 54-61, 2013. Dil Türkçe
Günay, A., Yolum, P., “Constraint satisfaction as a tool for modeling and checking feasibility of multiagent commitments”, Applied Intelligence, 39, 3, 489-509, 2013. Dil Türkçe
Gözüpek. D., Buhari, M., Alagöz, F., “A spectrum switching delay-aware scheduling algorithm for centralized cognitive radio networks”, IEEE Transactions on Mobile Computing, 12, 7, 1270-1280, 2013. Dil Türkçe
