David Janin

9 papers and 58 indexed citations i.

David Janin has authored 9 papers that have received a total of 58 indexed citations. This includes 8 papers in Computational Theory and Mathematics, 4 papers in Artificial Intelligence and 2 papers in Computer Vision and Pattern Recognition. The topics of these papers are Advanced Algebra and Logic (4 papers), Formal Methods in Verification (3 papers) and Logic, programming, and type systems (3 papers). David Janin is often cited by papers focused on Advanced Algebra and Logic (4 papers), Formal Methods in Verification (3 papers) and Logic, programming, and type systems (3 papers) and collaborates with scholars based in France, Slovakia and Poland. David Janin's co-authors include Igor Walukiewicz, Achim Blumensath, Giacomo Lenzi and Benjamin Martin and has published in prestigious journals such as Information and Computation, Semigroup Forum and Fundamenta Informaticae