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 authors papers by Michael Muehlebach are co-authored with Top fields papers by Rhoda H. Halperin are about Top authors papers by Ana Fernández-González are co-authored with Top authors papers by Abubakr Abdelraouf Alfadl are co-authored with Top fields papers by Jukka Kola are about Top authors papers by Jesse Russell are co-authored with Top countries impacted by papers by A. Maggiora Top fields papers by Arash A. Amini are about