Helle Hvid Hansen

23 papers and 172 indexed citations i.

Helle Hvid Hansen has authored 23 papers that have received a total of 172 indexed citations. This includes 18 papers in Computational Theory and Mathematics, 15 papers in Artificial Intelligence and 3 papers in Electrical and Electronic Engineering. The topics of these papers are Logic, programming, and type systems (15 papers), Logic, Reasoning, and Knowledge (10 papers) and Formal Methods in Verification (9 papers). Helle Hvid Hansen is often cited by papers focused on Logic, programming, and type systems (15 papers), Logic, Reasoning, and Knowledge (10 papers) and Formal Methods in Verification (9 papers) and collaborates with scholars based in The Netherlands, United Kingdom and France. Helle Hvid Hansen's co-authors include Clemens Kupke, Jan Rutten, Zofia Lukszo, Gijsbert Korevaar and Alexandra Silva and has published in prestigious journals such as Applied Energy, Energy Policy and Energies