Khalil Ghorbal
About
Khalil Ghorbal has authored 9 papers that have received a total of 104 indexed citations.
This includes 9 papers in Computational Theory and Mathematics, 3 papers in Artificial Intelligence and 3 papers in Computer Vision and Pattern Recognition. The topics of these papers are Formal Methods in Verification (9 papers), Robotic Path Planning Algorithms (3 papers) and Logic, programming, and type systems (3 papers). Khalil Ghorbal is often cited by papers focused on Formal Methods in Verification (9 papers), Robotic Path Planning Algorithms (3 papers) and Logic, programming, and type systems (3 papers) and collaborates with scholars based in United States, France and United Kingdom. Khalil Ghorbal's co-authors include André Platzer, Stefan Mitsch, Taylor T. Johnson, Jean-Baptiste Jeannin and Geoffrey J. Gordon and has published in prestigious journals such as The International Journal of Robotics Research, ACM Transactions on Embedded Computing Systems and Journal of Symbolic Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Pierre Le Guen Top journals papers by J. G. Firth are published in Top journals papers by G. F. Davidson are published in Top journals papers by Joshua Broadwater are published in Top journals papers by Charlotte Gibbs are published in Top fields papers by J. Incandela are about Top fields papers by Matthieu Bouaziz are about Top countries impacted by papers by Denis Arniaud