Mads Tofte
About
Mads Tofte has authored 14 papers that have received a total of 1.1k indexed citations.
This includes 12 papers in Artificial Intelligence, 8 papers in Hardware and Architecture and 7 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (11 papers), Parallel Computing and Optimization Techniques (8 papers) and Formal Methods in Verification (6 papers). Mads Tofte is often cited by papers focused on Logic, programming, and type systems (11 papers), Parallel Computing and Optimization Techniques (8 papers) and Formal Methods in Verification (6 papers) and collaborates with scholars based in Denmark, United Kingdom and United States. Mads Tofte's co-authors include Lars Birkedal, Jean-Pierre Talpin, Robin Milner, Martin Elsman and Gordon Plotkin and has published in prestigious journals such as Theoretical Computer Science, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Julie L. Markham Top authors papers by B. de Cuevas are co-authored with Top countries impacted by papers by Tinuke Oluyomi Daniel Top authors papers by Hiroko Nagase are co-authored with Top fields papers by Sarah Karimi are about Top fields papers by Salma Kassem are about Top countries impacted by papers by Cameo Borntrager Top fields papers by Rukmalie Jayakody are about