Magne Haveraaen

26 papers and 100 indexed citations i.

Magne Haveraaen has authored 26 papers that have received a total of 100 indexed citations. This includes 14 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 10 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (12 papers), Parallel Computing and Optimization Techniques (10 papers) and Software Engineering Research (6 papers). Magne Haveraaen is often cited by papers focused on Logic, programming, and type systems (12 papers), Parallel Computing and Optimization Techniques (10 papers) and Software Engineering Research (6 papers) and collaborates with scholars based in Norway, United States and Finland. Magne Haveraaen's co-authors include Helmer André Friis, Damian Rouson, Hans Munthe–Kaas, Jaakko Järvi and Tor Arne Johansen and has published in prestigious journals such as ACM SIGPLAN Notices, Applied Numerical Mathematics and Electronic Notes in Theoretical Computer Science