Frédéric Blanqui

13 papers and 80 indexed citations i.

Frédéric Blanqui has authored 13 papers that have received a total of 80 indexed citations. This includes 11 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 (11 papers), Logic, Reasoning, and Knowledge (10 papers) and Formal Methods in Verification (7 papers). Frédéric Blanqui is often cited by papers focused on Logic, programming, and type systems (11 papers), Logic, Reasoning, and Knowledge (10 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in France, Japan and United States. Frédéric Blanqui's co-authors include Jean-Pierre Jouannaud, Mitsuhiro Okada, Gilles Dowek, Masahiko Sakai and Albert Rubio and has published in prestigious journals such as Theoretical Computer Science, Journal of Functional Programming and Mathematical Structures in Computer Science.