Florent Kirchner
About
Florent Kirchner has authored 7 papers that have received a total of 111 indexed citations.
This includes 6 papers in Artificial Intelligence, 3 papers in Computational Theory and Mathematics and 3 papers in Software. The topics of these papers are Logic, programming, and type systems (5 papers), Software Testing and Debugging Techniques (3 papers) and Logic, Reasoning, and Knowledge (3 papers). Florent Kirchner is often cited by papers focused on Logic, programming, and type systems (5 papers), Software Testing and Debugging Techniques (3 papers) and Logic, Reasoning, and Knowledge (3 papers) and collaborates with scholars based in France and United States. Florent Kirchner's co-authors include César Muñoz, Virgile Prévosto, Julien Signoles, Nikolaï Kosmatov and Pascal Cuoq and has published in prestigious journals such as Communications of the ACM, Science of Computer Programming and Compare A Journal of Comparative and International Education.
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Fong Pong are published in Top journals papers by Beatriz F. Côrte-Real are published in Top journals papers by Lorène Allano are published in Top journals papers by Eileen Jensen Krige are published in Top countries impacted by papers by Marijke R. Wevers Top authors papers by Marco Citterio are co-authored with Top fields papers by Burton M. Sapin are about Top authors papers by Sergio Beker are co-authored with