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 journals papers by G. Mino are published in Top journals papers by Carol Sheridan are published in Top journals papers by W Neary are published in Top fields papers by Lena Gorelick are about Top countries impacted by papers by Thaddeus J. Trenn Top fields papers by Ankang Guo are about Top authors papers by Youngjun Kim are co-authored with Top countries impacted by papers by D. Wuillemin