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 fields papers by Wolfram Hartmann are about Top fields papers by J. E. Egan are about Top fields papers by Emily Reeves are about Top countries impacted by papers by G. Gracia Top fields papers by M. Heisel are about Top authors papers by B. Seebohm Rowntree are co-authored with Top authors papers by Leighton H. Duncan are co-authored with Top fields papers by Jaleela S. Jawad are about