Magnus Madsen

18 papers and 68 indexed citations i.

Magnus Madsen has authored 18 papers that have received a total of 68 indexed citations. This includes 9 papers in Artificial Intelligence, 5 papers in Hardware and Architecture and 4 papers in Electrical and Electronic Engineering. The topics of these papers are Logic, programming, and type systems (7 papers), Parallel Computing and Optimization Techniques (5 papers) and Security and Verification in Computing (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 Security and Verification in Computing (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, Eric J. Stanton, Jaco van de Pol and Nicolas Volet and has published in prestigious journals such as Optics Letters, Optics Express and Journal of the Optical Society of America B.