Mads Torgersen
About
Mads Torgersen has authored 8 papers that have received a total of 132 indexed citations.
This includes 7 papers in Artificial Intelligence, 5 papers in Computational Theory and Mathematics and 3 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (7 papers), Formal Methods in Verification (3 papers) and Logic, Reasoning, and Knowledge (2 papers). Mads Torgersen is often cited by papers focused on Logic, programming, and type systems (7 papers), Formal Methods in Verification (3 papers) and Logic, Reasoning, and Knowledge (2 papers) and collaborates with scholars based in Denmark, United States and Israel. Mads Torgersen's co-authors include Gavin Bierman, Erik Meijer, Erik Ernst, Gilad Bracha and Klaus Hansen and has published in prestigious journals such as ACM SIGPLAN Notices, The Journal of Object Technology and Computer Languages Systems & Structures
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Gan‐Pan Gao are about Top fields papers by Triin Major are about Top fields papers by Ee Hui Goh are about Top authors papers by Patriss W. Moradi are co-authored with Top countries impacted by papers by A. Montag Top journals papers by Tessa Dalley are published in Top authors papers by Fionnuala A. McDyer are co-authored with Top fields papers by Tuure Saarinen are about