Loïc Pottier

811 citations
24 papers · 169 indexed · h-index 9

Loïc Pottier

22 papers receiving 147 citations

Peers

Loïc Pottier
Comparison fields: 5 of 45
  • Computational Mathematics 5
  • Information Systems and Management 30
  • Computational Theory and Mathematics 61
  • Theoretical Computer Science 3
  • Software 10
Replace William S. Moses with:
William S. Moses United States
Keith Seymour United States
Benjamin Quétier France
Fengguang Song United States
Vicenç Beltrán Spain
Stefanie Scherzinger Germany
Owen Kaser Canada
Joel Coffman United States
Philippe Clauss France
Nicole Schweikardt Germany
Loïc Pottier relative to William S. Moses United States William S. Moses's profile →
Citations per field
00.5×
William S. Moses · 1×
Citations per year

Countries citing papers authored by Loïc Pottier

Since Specialization
Citations

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

Fields of papers citing papers by Loïc Pottier

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network

The 25 scholars most cited alongside Loïc Pottier, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.

Border = papers with Loïc Pottier Line = papers co-authored together Loïc Pottier links everyone, so they are left out of the graph.

All Works

20 of 20 papers shown
#Work
1 20250
2 20241
3 20242
4 20231
5 20228
6 20226
7 20224
8 20213
9 20212
10 20209
11 20206
12 20196
13 200412
14
Mathematics and Proof Presentation in Pcoq
200118
15
Extraction dans le Calcul des Constructions Inductives.
20011
16
CtCoq: an environment for mathematical reasoning.
19991
17 199826
18 19968
19 199516
20
Sub-groups of Zn, standard basis, and linear diophantine systems
19911

About Loïc Pottier

Loïc Pottier is a scholar working on Information Systems and Management, Software, Computational Theory and Mathematics, Algebra and Number Theory and Computer Networks and Communications, having authored 24 papers that have together received 169 indexed citations. Recurring topics across this work include Scientific Computing and Data Management (9 papers), Distributed and Parallel Computing Systems (7 papers), Advanced Data Storage Technologies (5 papers), Polynomial and algebraic computation (3 papers), Mathematics, Computing, and Information Processing (2 papers), Protein Structure and Dynamics (2 papers), Model-Driven Software Engineering Techniques (2 papers) and Digital Image Processing Techniques (2 papers). The work is most often cited by research in Computational Mathematics (5 citations), Information Systems and Management (30 citations), Computational Theory and Mathematics (61 citations), Theoretical Computer Science (3 citations) and Software (10 citations). Loïc Pottier has collaborated with scholars based in United States, France and Switzerland. Frequent co-authors include Yves Bertot, Marc-Antoine Berthod, Laurent Baratchart, Ewa Deelman, Laurence Rideau, Rafael Ferreira da Silva, Michel A. Cuendet, Henri Casanova, Harel Weinstein and Trilce Estrada. Their work appears in journals such as Journal of Computational Science, Journal of Chemical Theory and Computation, The Journal of Physical Chemistry B, Electronic Notes in Theoretical Computer Science and Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE.

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

Rankless by CCL
2026