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 countries impacted by papers by Katherine C. Michelis Top fields papers by J.C. Steckmeyer are about Top authors papers by E. H. Schröter are co-authored with Top authors papers by Ruth Singer are co-authored with Top countries impacted by papers by Hyunggu Jung Top fields papers by Rendie McHenry are about Top authors papers by Doreen Warriner are co-authored with Top journals papers by Husein Abdul-Hamid are published in