Didier Rémy
About
Didier Rémy has authored 17 papers that have received a total of 154 indexed citations.
This includes 16 papers in Artificial Intelligence, 4 papers in Computer Networks and Communications and 4 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (15 papers), Natural Language Processing Techniques (7 papers) and Software Engineering Research (4 papers). Didier Rémy is often cited by papers focused on Logic, programming, and type systems (15 papers), Natural Language Processing Techniques (7 papers) and Software Engineering Research (4 papers) and collaborates with scholars based in France, Japan and United Kingdom. Didier Rémy's co-authors include Didier Le Botlan, Benjamin C. Pierce, Cosimo Laneve, Luc Maranget and Kim B. Bruce and has published in prestigious journals such as ACM SIGPLAN Notices, Information and Computation and Journal of Functional Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Alex G. C. de Sá are published in Top authors papers by Maite Frutos-Pascual are co-authored with Top fields papers by H. M. Kaluna are about Top fields papers by Matthew Hall are about Top journals papers by Marco Guazzone are published in Top fields papers by Zainuddin Hassan are about Top authors papers by Bernard C. Beins are co-authored with Top fields papers by Matěj Kočík are about