Patrik Jansson
About
Patrik Jansson has authored 27 papers that have received a total of 256 indexed citations.
This includes 20 papers in Artificial Intelligence, 12 papers in Computational Theory and Mathematics and 5 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (19 papers), Formal Methods in Verification (8 papers) and Logic, Reasoning, and Knowledge (8 papers). Patrik Jansson is often cited by papers focused on Logic, programming, and type systems (19 papers), Formal Methods in Verification (8 papers) and Logic, Reasoning, and Knowledge (8 papers) and collaborates with scholars based in Sweden, United Kingdom and Germany. Patrik Jansson's co-authors include Johan Jeuring, Jean-Philippe Bernardy, Nicola Botta, Ross Paterson and Cezar Ionescu and has published in prestigious journals such as Journal of Applied Mechanics, Lecture notes in computer science and ACM SIGPLAN Notices
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Christina Ralph‐Nearman are published in Top authors papers by Hidegorô Nakano are co-authored with Top authors papers by A. M. Verbeek are co-authored with Top authors papers by Kamran Aghasadeghi are co-authored with Top fields papers by J. Fischer are about Top journals papers by Kashif Hussain are published in Top authors papers by Wei Hong Lau are co-authored with Top journals papers by Mark Roberts are published in