Henrik Reif Andersen
About
Henrik Reif Andersen has authored 17 papers that have received a total of 208 indexed citations.
This includes 12 papers in Computational Theory and Mathematics, 10 papers in Artificial Intelligence and 6 papers in Software. The topics of these papers are Formal Methods in Verification (12 papers), Logic, programming, and type systems (8 papers) and Software Testing and Debugging Techniques (4 papers). Henrik Reif Andersen is often cited by papers focused on Formal Methods in Verification (12 papers), Logic, programming, and type systems (8 papers) and Software Testing and Debugging Techniques (4 papers) and collaborates with scholars based in Denmark and United Kingdom. Henrik Reif Andersen's co-authors include Glynn Winskel, Henrik Hulgaard, Colin Stirling, Kåre J. Kristoffersen and Gerd Behrmann and has published in prestigious journals such as Theoretical Computer Science, Information and Computation and International Journal on Software Tools for Technology Transfer.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Kelly A. Devereaux Breakdown of academic impact, for papers by M. Nervo Breakdown of academic impact, for papers by Andri Riid Breakdown of academic impact, for papers by Jens Borchert Breakdown of academic impact, for papers by Zalina Zakaria Breakdown of academic impact, for papers by Ilya B. Voskoboynikov Breakdown of academic impact, for papers by Asma Al-Thani Breakdown of academic impact, for papers by Nicholas P. Carter