Frédéric Blanqui

619 total citations
15 papers, 92 citations indexed

About

Frédéric Blanqui is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Frédéric Blanqui has authored 15 papers receiving a total of 92 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Artificial Intelligence, 8 papers in Computational Theory and Mathematics and 1 paper in Computer Networks and Communications. Recurrent topics in Frédéric Blanqui's work include Logic, programming, and type systems (12 papers), Logic, Reasoning, and Knowledge (9 papers) and Semantic Web and Ontologies (4 papers). Frédéric Blanqui is often cited by papers focused on Logic, programming, and type systems (12 papers), Logic, Reasoning, and Knowledge (9 papers) and Semantic Web and Ontologies (4 papers). Frédéric Blanqui collaborates with scholars based in France, United States and Japan. Frédéric Blanqui's co-authors include Jean-Pierre Jouannaud, Mitsuhiro Okada, Masahiko Sakai and Gilles Dowek and has published in prestigious journals such as Theoretical Computer Science, Mathematical Structures in Computer Science and IEICE Transactions on Information and Systems.

In The Last Decade

Frédéric Blanqui

13 papers receiving 85 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Frédéric Blanqui France 6 89 66 11 5 3 15 92
Elaine Pimentel Brazil 6 109 1.2× 91 1.4× 7 0.6× 8 1.6× 4 1.3× 28 115
Stefan Hetzl Austria 6 101 1.1× 92 1.4× 9 0.8× 6 1.2× 27 101
David Janin France 5 51 0.6× 65 1.0× 12 1.1× 7 1.4× 14 73
Jean-Baptiste Joinet France 5 131 1.5× 112 1.7× 5 0.5× 4 0.8× 10 135
Nathanaël Fijalkow France 5 57 0.6× 55 0.8× 4 0.4× 4 0.8× 24 66
Dav M. Gabbay United Kingdom 6 112 1.3× 45 0.7× 4 0.4× 7 1.4× 2 0.7× 9 115
S. Akshay India 5 38 0.4× 40 0.6× 14 1.3× 4 0.8× 17 61
Bruno Guillaume France 7 99 1.1× 28 0.4× 4 0.4× 5 1.0× 4 1.3× 25 103
Étienne Lozes France 8 105 1.2× 93 1.4× 12 1.1× 21 4.2× 3 1.0× 28 119
Pierre Réty France 4 44 0.5× 37 0.6× 6 0.5× 4 0.8× 8 46

Countries citing papers authored by Frédéric Blanqui

Since Specialization
Citations

This map shows the geographic impact of Frédéric Blanqui's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Frédéric Blanqui with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Frédéric Blanqui more than expected).

Fields of papers citing papers by Frédéric Blanqui

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Frédéric Blanqui. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Frédéric Blanqui. The network helps show where Frédéric Blanqui may publish in the future.

Co-authorship network of co-authors of Frédéric Blanqui

This figure shows the co-authorship network connecting the top 25 collaborators of Frédéric Blanqui. A scholar is included among the top collaborators of Frédéric Blanqui based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Frédéric Blanqui. Frédéric Blanqui is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

15 of 15 papers shown
1.
Blanqui, Frédéric. (2024). Translating HOL-Light proofs to Coq. EPiC series in computing. 100. 1.
2.
Blanqui, Frédéric, et al.. (2023). A modular construction of type theories. Logical Methods in Computer Science. Volume 19, Issue 1. 2 indexed citations
3.
Blanqui, Frédéric, et al.. (2020). The New Rewriting Engine of Dedukti (System Description). DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 2 indexed citations
4.
Blanqui, Frédéric. (2020). Type Safety of Rewrite Rules in Dependent Types. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations
5.
Blanqui, Frédéric, et al.. (2018). Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice. Electronic Proceedings in Theoretical Computer Science. 274. 1 indexed citations
6.
Blanqui, Frédéric. (2017). Size-based termination of higher-order rewrite systems. 1 indexed citations
7.
Blanqui, Frédéric. (2015). Termination of rewrite relations on λ-terms based on Girard's notion of reducibility. Theoretical Computer Science. 611. 50–86. 4 indexed citations
8.
Blanqui, Frédéric, et al.. (2011). Designing a CPU model: from a pseudo-formal document to fast code. HAL (Le Centre pour la Communication Scientifique Directe). 2 indexed citations
9.
Blanqui, Frédéric, et al.. (2011). CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates. Mathematical Structures in Computer Science. 21(4). 827–859. 17 indexed citations
10.
Blanqui, Frédéric, et al.. (2011). Argument Filterings and Usable Rules in Higher-order Rewrite Systems. 4. 114–125. 6 indexed citations
11.
Sakai, Masahiko, et al.. (2009). Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems. IEICE Transactions on Information and Systems. E92-D(10). 2007–2015. 10 indexed citations
12.
Blanqui, Frédéric, et al.. (2006). CoLoR : a Coq library on rewriting and termination. TU/e Research Portal (Eindhoven University of Technology). 69–73. 15 indexed citations
13.
Blanqui, Frédéric. (2003). Définition de la classe de réécriture à intégrer. HAL (Le Centre pour la Communication Scientifique Directe).
14.
Blanqui, Frédéric, Jean-Pierre Jouannaud, & Mitsuhiro Okada. (2002). Inductive-data-type systems. Theoretical Computer Science. 272(1-2). 41–68. 25 indexed citations
15.
Blanqui, Frédéric. (2002). Definitions by rewriting in the calculus of constructions. 9–18. 6 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Elaine Pimentel Breakdown of academic impact, for papers by Stefan Hetzl Breakdown of academic impact, for papers by David Janin Breakdown of academic impact, for papers by Jean-Baptiste Joinet Breakdown of academic impact, for papers by Nathanaël Fijalkow Breakdown of academic impact, for papers by Dav M. Gabbay Breakdown of academic impact, for papers by S. Akshay Breakdown of academic impact, for papers by Bruno Guillaume Breakdown of academic impact, for papers by Étienne Lozes Breakdown of academic impact, for papers by Pierre Réty
Rankless by CCL
2026