Matthieu Sozeau
About
Matthieu Sozeau has authored 14 papers that have received a total of 112 indexed citations.
This includes 14 papers in Artificial Intelligence, 10 papers in Computational Theory and Mathematics and 1 paper in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (14 papers), Formal Methods in Verification (9 papers) and Logic, Reasoning, and Knowledge (6 papers). Matthieu Sozeau is often cited by papers focused on Logic, programming, and type systems (14 papers), Formal Methods in Verification (9 papers) and Logic, Reasoning, and Knowledge (6 papers) and collaborates with scholars based in France, Germany and Sweden. Matthieu Sozeau's co-authors include Nicolas Tabareau, Éric Tanter, Yannick Forster, Alexander Krauß and Ana Bove and has published in prestigious journals such as Journal of the ACM, ACM SIGPLAN Notices and Journal of Automated Reasoning
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Philip J. van der Eijk are about Top countries impacted by papers by Nandana Mihindukulasooriya Top authors papers by Abdullah Ghabashi are co-authored with Top fields papers by Beppie van den Bogaerde are about Top fields papers by G Frank are about Top authors papers by Isabel de Madariaga are co-authored with Top fields papers by Joseph Reimer are about Top authors papers by William Baer are co-authored with