Derya Aksaray
About
Derya Aksaray has authored 32 papers that have received a total of 330 indexed citations.
This includes 16 papers in Artificial Intelligence, 16 papers in Computational Theory and Mathematics and 11 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (15 papers), Robotic Path Planning Algorithms (7 papers) and Optimization and Search Problems (7 papers). Derya Aksaray is often cited by papers focused on Formal Methods in Verification (15 papers), Robotic Path Planning Algorithms (7 papers) and Optimization and Search Problems (7 papers) and collaborates with scholars based in United States and Mexico. Derya Aksaray's co-authors include Yasin Yazıcıoğlu, Călin Belta, Ryan S. Peterson, Xiaoshan Lin and Nicholas Roy and has published in prestigious journals such as The International Journal of Robotics Research, Journal of Guidance Control and Dynamics and Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Emanoil Săsăran Top fields papers by Xin Qiao are about Top fields papers by Hanxiao Liu are about Top fields papers by Eric A. Sherer are about Top journals papers by A. L. Bishop are published in Top fields papers by Mark Friedrich B. Hurdle are about Top countries impacted by papers by Ritu Ghai Top authors papers by Dominique Hausser are co-authored with