Henrik Reif Andersen

17 papers and 208 indexed citations i.

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.