Şen, A., Garg, V.K., “Formal Verification of Simulation Traces using Computation Slicing”, IEEE Transactions on Computers, 511-527, 2007. Dil Türkçe
Şen, A., “Error Diagnosis in Equivalence Checking of High Performance Microprocessors”, Electronic Notes in Theoretical Computer Science (ENTCS), 2007. Dil Türkçe
Pembe, F.C., Güngör, T., “An Evaluation of Structure-Preserving and Query-Biased Summaries in Web Search Tasks”, Computer Engineering, 62-66, 2007. Dil Türkçe
Şen, A., Garg, V.K., “On Checking Whether a Predicate Definitely Holds”, Lecture Notes in Computer Science, 15-29, 2004. Dil Türkçe
Şen, A., Garg, V.K., “Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing” , Lecture Notes in Computer Science, 171-183, 2004. Dil Türkçe
Garg, V.K., Mitta,l N., Şen, A., “Applications of Lattice Theory to Distributed Computing”, ACM SIGACT News, 2003. Dil Türkçe
Şen, A., Garg, V.K., “Partial Order Trace Analyzer (POTA) for Distributed Programs”, Electronic Notes in Theoretical Computer Science (ENTCS), 22-43, 2003. Dil Türkçe
Gözüpek, D., Alagöz, F., “Genetic Algorithm Based Scheduling in Cognitive Radio Networks under Interference Temperature Constraints”, International Journal of Communication Systems, 2010, 2010. Dil Türkçe
Alpaydın, E., Gönen, M., “Supervised learning of local projection kernels”, Neurocomputing, 1694-1703, 2010. Dil Türkçe
Şensoy, M., Zeren, M., “A Rearrangeable Heuristic for QoS Centric Online Update of Multicast trees”, IEE/ACM Transactions on Networking, 2004. Dil Türkçe
