Matthieu Martel

943 total citations
39 papers, 159 citations indexed

About

Matthieu Martel is a scholar working on Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence. According to data from OpenAlex, Matthieu Martel has authored 39 papers receiving a total of 159 indexed citations (citations by other indexed papers that have themselves been cited), including 32 papers in Computational Theory and Mathematics, 18 papers in Hardware and Architecture and 12 papers in Artificial Intelligence. Recurrent topics in Matthieu Martel's work include Numerical Methods and Algorithms (25 papers), Parallel Computing and Optimization Techniques (17 papers) and Formal Methods in Verification (8 papers). Matthieu Martel is often cited by papers focused on Numerical Methods and Algorithms (25 papers), Parallel Computing and Optimization Techniques (17 papers) and Formal Methods in Verification (8 papers). Matthieu Martel collaborates with scholars based in France, United States and Algeria. Matthieu Martel's co-authors include Olivier Bouissou, Alexandre Chapoutot, Radhia Cousot, Francesco Logozzo, Pierre-Loïc Garoche, Mikaël Barboteu, Sergiy Bogomolov, Céline Bellanger and Pavithra Prabhakar and has published in prestigious journals such as SHILAP Revista de lepidopterología, Computers & Mathematics with Applications and Lecture notes in computer science.

In The Last Decade

Matthieu Martel

30 papers receiving 151 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Matthieu Martel France	6	122	72	49	26	21	39	159
Yong Kiam Tan Sweden	9	85 0.7×	44 0.6×	117 2.4×	13 0.5×	20 1.0×	19	168
Sylvie Putot France	7	76 0.6×	35 0.5×	27 0.6×	16 0.6×	27 1.3×	13	124
Aude Maignan France	6	113 0.9×	137 1.9×	32 0.7×	29 1.1×	8 0.4×	18	215
Tino Teige Germany	7	190 1.6×	54 0.8×	86 1.8×	110 4.2×	21 1.0×	15	237
Eva Darulová Germany	8	171 1.4×	155 2.2×	65 1.3×	25 1.0×	84 4.0×	18	243
Christoph Lauter France	7	158 1.3×	78 1.1×	25 0.5×	4 0.2×	51 2.4×	25	182
A. S. Kossatchev Russia	9	55 0.5×	40 0.6×	32 0.7×	133 5.1×	10 0.5×	37	198
Yakir Vizel United States	6	101 0.8×	56 0.8×	79 1.6×	63 2.4×	45 2.1×	14	172
David M. Russinoff United States	6	177 1.5×	83 1.2×	116 2.4×	30 1.2×	37 1.8×	18	214
Marc Daumas France	9	160 1.3×	59 0.8×	29 0.6×	5 0.2×	61 2.9×	26	190

Countries citing papers authored by Matthieu Martel

Since Specialization

Citations

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

Fields of papers citing papers by Matthieu Martel

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Matthieu Martel

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

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Bellanger, Céline, et al.. (2025). Formally proved specification of non-nested STL formulas as synchronous observers. Science of Computer Programming. 245. 103315–103315.

Martel, Matthieu, et al.. (2024). Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures. SPIRE - Sciences Po Institutional REpository. 12–22.

Bellanger, Céline, et al.. (2023). Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers. Electronic Proceedings in Theoretical Computer Science. 395. 188–204. 1 indexed citations

Martel, Matthieu, et al.. (2023). Scaling-up the Analysis of Neural Networks by Affine Forms: A Block-Wise Noising Approach¹. 122–130.

Martel, Matthieu, et al.. (2022). Efficient Neural Network Validation with Affine Forms. 72. 179–185. 1 indexed citations

Martel, Matthieu, et al.. (2022). Code Generation for Neural Networks Based on Fixed-point Arithmetic. ACM Transactions on Embedded Computing Systems. 23(5). 1–28. 3 indexed citations

Martel, Matthieu, et al.. (2019). Fixed Point Computation by Exponentiating Linear Operators. 4. 1096–1102. 1 indexed citations

Martel, Matthieu, et al.. (2019). Precision Tuning and Internet of Things. 80–85. 3 indexed citations

Barboteu, Mikaël, et al.. (2018). Numerically accurate code synthesis for Gauss pivoting method to solve linear systems coming from mechanics. Computers & Mathematics with Applications. 77(11). 2883–2893. 1 indexed citations

10.

Martel, Matthieu, et al.. (2018). Mixed Precision Tuning with Salsa. 47–56. 2 indexed citations

11.

Martel, Matthieu, et al.. (2018). Mixed Precision Tuning with Salsa. 185–194. 2 indexed citations

12.

Martel, Matthieu, et al.. (2018). Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs. 5. 63–48.

13.

Martel, Matthieu, et al.. (2016). Improving the numerical accuracy of programs by automatic transformation. International Journal on Software Tools for Technology Transfer. 19(4). 427–448. 7 indexed citations

14.

Martel, Matthieu, et al.. (2014). Code Size and Accuracy-aware Synthesis of Fixed-point Programs for Matrix Multiplication. HAL (Le Centre pour la Communication Scientifique Directe). 204–214. 3 indexed citations

15.

Martel, Matthieu, et al.. (2012). A New Abstract Domain for the Representation of Mathematically Equivalent Expressions. HAL (Le Centre pour la Communication Scientifique Directe).

16.

Martel, Matthieu. (2012). Accurate Evaluation of Arithmetic Expressions (Invited Talk). Electronic Notes in Theoretical Computer Science. 287. 3–16. 2 indexed citations

17.

Martel, Matthieu. (2009). Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics. Formal Methods in System Design. 35(3). 265–278. 11 indexed citations

18.

Chapoutot, Alexandre & Matthieu Martel. (2009). Abstract Simulation: A Static Analysis of Simulink Models. HAL (Le Centre pour la Communication Scientifique Directe). 83–92. 11 indexed citations

19.

Bouissou, Olivier & Matthieu Martel. (2006). GRKLib: a Guaranteed Runge Kutta Library. 8–8. 18 indexed citations

20.

Martel, Matthieu. (2006). Semantics of roundoff error propagation in finite precision calculations. LISP and Symbolic Computation. 19(1). 7–30. 16 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