Magnus Madsen

17 papers and 65 indexed citations i.

About

Magnus Madsen has authored 17 papers that have received a total of 65 indexed citations. This includes 9 papers in Artificial Intelligence, 5 papers in Hardware and Architecture and 4 papers in Software. The topics of these papers are Logic, programming, and type systems (7 papers), Parallel Computing and Optimization Techniques (5 papers) and Software Testing and Debugging Techniques (4 papers). Magnus Madsen is often cited by papers focused on Logic, programming, and type systems (7 papers), Parallel Computing and Optimization Techniques (5 papers) and Software Testing and Debugging Techniques (4 papers) and collaborates with scholars based in Denmark, United States and Canada. Magnus Madsen's co-authors include Frank Tip, Ondřej Lhoták, Jaco van de Pol, Koushik Sen and Anders Møller and has published in prestigious journals such as Optics Letters, Journal of the Optical Society of America B and Nuclear Instruments and Methods in Physics Research Section A Accelerators Spectrometers Detectors and Associated Equipment

In The Last Decade

Rankless by CCL
2025