Jean Gallier
About
Jean Gallier has authored 54 papers that have received a total of 1.1k indexed citations.
This includes 31 papers in Artificial Intelligence, 31 papers in Computational Theory and Mathematics and 12 papers in Computer Vision and Pattern Recognition. The topics of these papers are Logic, programming, and type systems (25 papers), Formal Methods in Verification (16 papers) and Logic, Reasoning, and Knowledge (16 papers). Jean Gallier is often cited by papers focused on Logic, programming, and type systems (25 papers), Formal Methods in Verification (16 papers) and Logic, Reasoning, and Knowledge (16 papers) and collaborates with scholars based in United States, Brazil and Germany. Jean Gallier's co-authors include Wayne Snyder, Vijay Kumar, Dinesh Thakur, Paliath Narendran and James F. Keller and has published in prestigious journals such as IEEE Transactions on Pattern Analysis and Machine Intelligence, ACM Transactions on Graphics and Journal of the ACM
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Adam Ćmiel are about Top fields papers by Xinchun Zhang are about Top fields papers by Christiano Argano are about Top countries impacted by papers by Xuan Xu Top countries impacted by papers by M Magnusson Top journals papers by Zhourong Xiao are published in Top authors papers by Philippe Benech are co-authored with Top countries impacted by papers by Vojislav Kecman