Yannick Forster
About
Yannick Forster has authored 11 papers that have received a total of 79 indexed citations.
This includes 9 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 2 papers in Social Psychology. The topics of these papers are Logic, programming, and type systems (9 papers), Formal Methods in Verification (5 papers) and Logic, Reasoning, and Knowledge (5 papers). Yannick Forster is often cited by papers focused on Logic, programming, and type systems (9 papers), Formal Methods in Verification (5 papers) and Logic, Reasoning, and Knowledge (5 papers) and collaborates with scholars based in Germany, France and United Kingdom. Yannick Forster's co-authors include Matthieu Sozeau, Matija Pretnar, Nicolas Tabareau, Sam Lindley and Ohad Kammar and has published in prestigious journals such as Accident Analysis & Prevention, Journal of Automated Reasoning and Journal of Logic and Computation
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Ali Khan are co-authored with Top fields papers by Sophie‐Caroline Sacleux are about Top authors papers by Sandra Tippenhauer are co-authored with Top fields papers by Naji Habra are about Top fields papers by Andrew Dries are about Top authors papers by Hervé Bredin are co-authored with Top countries impacted by papers by Allison Perrin Top fields papers by Q. Molenaar are about