Guillaume Melquiond

2.0k total citations
32 papers, 781 citations indexed

About

Guillaume Melquiond is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence. According to data from OpenAlex, Guillaume Melquiond has authored 32 papers receiving a total of 781 indexed citations (citations by other indexed papers that have themselves been cited), including 30 papers in Computational Theory and Mathematics, 14 papers in Hardware and Architecture and 11 papers in Artificial Intelligence. Recurrent topics in Guillaume Melquiond's work include Numerical Methods and Algorithms (27 papers), Parallel Computing and Optimization Techniques (14 papers) and Logic, programming, and type systems (11 papers). Guillaume Melquiond is often cited by papers focused on Numerical Methods and Algorithms (27 papers), Parallel Computing and Optimization Techniques (14 papers) and Logic, programming, and type systems (11 papers). Guillaume Melquiond collaborates with scholars based in France, United States and India. Guillaume Melquiond's co-authors include Sylvie Boldo, Florent de Dinechin, Jean‐Michel Muller, Claude-Pierre Jeannerod, Nathalie Revol, Vincent Lefèvre, Serge Torres, Christoph Lauter, Nicolas Brisebarre and Damien Stehlé and has published in prestigious journals such as IEEE Transactions on Computers, Computers & Mathematics with Applications and Theoretical Computer Science.

In The Last Decade

Guillaume Melquiond

28 papers receiving 743 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Guillaume Melquiond France 13 624 291 206 165 135 32 781
Claude-Pierre Jeannerod France 11 444 0.7× 158 0.5× 106 0.5× 130 0.8× 136 1.0× 33 563
Nathalie Revol France 8 389 0.6× 147 0.5× 76 0.4× 107 0.6× 115 0.9× 23 522
Nicolas Brisebarre France 10 339 0.5× 124 0.4× 62 0.3× 125 0.8× 141 1.0× 32 446
Arnaud Tisserand France 12 427 0.7× 155 0.5× 187 0.9× 314 1.9× 303 2.2× 58 709
Ulrich Kulisch Germany 20 732 1.2× 124 0.4× 99 0.5× 124 0.8× 213 1.6× 55 956
Sun Yuan Kung United States 5 187 0.3× 320 1.1× 188 0.9× 283 1.7× 260 1.9× 7 904
Jean-Marc Delosme United States 14 271 0.4× 156 0.5× 86 0.4× 187 1.1× 177 1.3× 46 587
Damien Stehlé France 13 386 0.6× 122 0.4× 697 3.4× 275 1.7× 81 0.6× 33 1.1k
Patrice Quinton France 14 282 0.5× 565 1.9× 206 1.0× 228 1.4× 77 0.6× 59 992
Dong-U Lee United States 16 281 0.5× 121 0.4× 138 0.7× 312 1.9× 148 1.1× 26 671

Countries citing papers authored by Guillaume Melquiond

Since Specialization
Citations

This map shows the geographic impact of Guillaume Melquiond'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 Guillaume Melquiond with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Guillaume Melquiond more than expected).

Fields of papers citing papers by Guillaume Melquiond

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Guillaume Melquiond. 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 Guillaume Melquiond. The network helps show where Guillaume Melquiond may publish in the future.

Co-authorship network of co-authors of Guillaume Melquiond

This figure shows the co-authorship network connecting the top 25 collaborators of Guillaume Melquiond. A scholar is included among the top collaborators of Guillaume Melquiond 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 Guillaume Melquiond. Guillaume Melquiond is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Melquiond, Guillaume, et al.. (2023). Enabling Floating-Point Arithmetic in the Coq Proof Assistant. Journal of Automated Reasoning. 67(4). 1 indexed citations
2.
Boldo, Sylvie, Claude-Pierre Jeannerod, Guillaume Melquiond, & Jean‐Michel Muller. (2023). Floating-point arithmetic. Acta Numerica. 32. 203–290. 12 indexed citations
3.
Melquiond, Guillaume, et al.. (2022). WhyMP, a formally verified arbitrary-precision integer library. Journal of Symbolic Computation. 115. 74–95.
4.
Mahboubi, Assia, et al.. (2018). Formally Verified Approximations of Definite Integrals. Journal of Automated Reasoning. 62(2). 281–300. 4 indexed citations
5.
Boldo, Sylvie & Guillaume Melquiond. (2017). Computer Arithmetic and Formal Proofs. 326. 5 indexed citations
6.
Melquiond, Guillaume, et al.. (2015). Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq. Journal of Automated Reasoning. 57(3). 187–217. 9 indexed citations
7.
Boldo, Sylvie, et al.. (2014). Trusting computations: A mechanized proof from partial differential equations to actual program. Computers & Mathematics with Applications. 68(3). 325–352. 9 indexed citations
8.
Boldo, Sylvie, Jacques-Henri Jourdan, Xavier Leroy, & Guillaume Melquiond. (2014). Verified Compilation of Floating-Point Computations. Journal of Automated Reasoning. 54(2). 135–163. 12 indexed citations
9.
Boldo, Sylvie, et al.. (2014). Coquelicot: A User-Friendly Library of Real Analysis for Coq. Mathematics in Computer Science. 9(1). 41–62. 34 indexed citations
10.
Melquiond, Guillaume. (2012). Floating-point arithmetic in the Coq system. Information and Computation. 216. 14–23. 17 indexed citations
11.
Boldo, Sylvie, et al.. (2012). Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program. Journal of Automated Reasoning. 50(4). 423–456. 23 indexed citations
12.
Boldo, Sylvie & Guillaume Melquiond. (2011). Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq. HAL (Le Centre pour la Communication Scientifique Directe). 243–252. 57 indexed citations
13.
Dinechin, Florent de, Christoph Lauter, & Guillaume Melquiond. (2010). Certifying the Floating-Point Implementation of an Elementary Function Using Gappa. IEEE Transactions on Computers. 60(2). 242–253. 45 indexed citations
14.
Rump, Siegfried M., Paul Zimmermann, Sylvie Boldo, & Guillaume Melquiond. (2009). Computing predecessor and successor in rounding to nearest. BIT Numerical Mathematics. 49(2). 419–431. 7 indexed citations
15.
Edmonson, William & Guillaume Melquiond. (2009). IEEE Interval Standard Working Group - P1788: Current Status. 12. 231–234. 4 indexed citations
16.
Melquiond, Guillaume & Sylvain Pion. (2007). Formally certified floating-point filters for homogeneous geometric predicates. RAIRO - Theoretical Informatics and Applications. 41(1). 57–69. 11 indexed citations
17.
Pion, Sylvain, Hervé Brönnimann, & Guillaume Melquiond. (2006). A Proposal to add Interval Arithmetic to the C++ Standard Library. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 0. 5 indexed citations
18.
Dinechin, Florent de, Christoph Lauter, & Guillaume Melquiond. (2006). Assisted verification of elementary functions using Gappa. 1318–1322. 36 indexed citations
19.
Brönnimann, Hervé, Guillaume Melquiond, & Sylvain Pion. (2005). The design of the Boost interval arithmetic library. Theoretical Computer Science. 351(1). 111–118. 28 indexed citations
20.
Dinechin, Florent de, Christoph Lauter, & Guillaume Melquiond. (2005). Assisted verification of elementary functions. HAL (Le Centre pour la Communication Scientifique Directe). 17. 4 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 Claude-Pierre Jeannerod Breakdown of academic impact, for papers by Nathalie Revol Breakdown of academic impact, for papers by Nicolas Brisebarre Breakdown of academic impact, for papers by Arnaud Tisserand Breakdown of academic impact, for papers by Ulrich Kulisch Breakdown of academic impact, for papers by Sun Yuan Kung Breakdown of academic impact, for papers by Jean-Marc Delosme Breakdown of academic impact, for papers by Damien Stehlé Breakdown of academic impact, for papers by Patrice Quinton Breakdown of academic impact, for papers by Dong-U Lee
Rankless by CCL
2026