Kasper Svendsen

8 papers and 60 indexed citations i.

Kasper Svendsen has authored 8 papers that have received a total of 60 indexed citations. This includes 5 papers in Artificial Intelligence, 4 papers in Computer Networks and Communications and 2 papers in Computer Vision and Pattern Recognition. The topics of these papers are Logic, programming, and type systems (5 papers), Distributed systems and fault tolerance (4 papers) and Formal Methods in Verification (2 papers). Kasper Svendsen is often cited by papers focused on Logic, programming, and type systems (5 papers), Distributed systems and fault tolerance (4 papers) and Formal Methods in Verification (2 papers) and collaborates with scholars based in Denmark, United Kingdom and France. Kasper Svendsen's co-authors include Lars Birkedal, Tiare Feuchtner, Matthew Parkinson, Nikos Tzevelekos and Mike Dodds and has published in prestigious journals such as ACM SIGPLAN Notices, ACM Transactions on Programming Languages and Systems and Proceedings of the ACM on Programming Languages