Kristian Støvring
About
Kristian Støvring has authored 16 papers that have received a total of 199 indexed citations.
This includes 15 papers in Artificial Intelligence, 8 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 (15 papers), Logic, Reasoning, and Knowledge (10 papers) and Formal Methods in Verification (8 papers). Kristian Støvring is often cited by papers focused on Logic, programming, and type systems (15 papers), Logic, Reasoning, and Knowledge (10 papers) and Formal Methods in Verification (8 papers) and collaborates with scholars based in Denmark, Germany and United Kingdom. Kristian Støvring's co-authors include Lars Birkedal, Jan Schwinghammer, Bernhard Reus, Hongseok Yang and Olivier Danvy and has published in prestigious journals such as Theoretical Computer Science, ACM SIGPLAN Notices and Mathematical Structures in Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Vuk Vuković are published in Top journals papers by Betty Barrett are published in Top fields papers by R. Antezana are about Top authors papers by Catherine Popadiuk are co-authored with Top authors papers by Alexander J.M. Dingemans are co-authored with Top authors papers by Joachim Grabowski are co-authored with Top authors papers by María Racionero are co-authored with Top journals papers by F. de Haan are published in