Laurent Régnier

1.5k total citations
15 papers, 482 citations indexed

About

Laurent Régnier is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications. According to data from OpenAlex, Laurent Régnier has authored 15 papers receiving a total of 482 indexed citations (citations by other indexed papers that have themselves been cited), including 14 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 1 paper in Computer Networks and Communications. Recurrent topics in Laurent Régnier's work include Logic, programming, and type systems (14 papers), Logic, Reasoning, and Knowledge (12 papers) and Formal Methods in Verification (6 papers). Laurent Régnier is often cited by papers focused on Logic, programming, and type systems (14 papers), Logic, Reasoning, and Knowledge (12 papers) and Formal Methods in Verification (6 papers). Laurent Régnier collaborates with scholars based in France and Italy. Laurent Régnier's co-authors include Vincent Danos, Thomas Ehrhard, Hugo Herbelin, Cosimo Laneve, Pasquale Malacaria, Andrea Asperti, Patrick Baillot, Yves Lafont and Jean-Yves Girard and has published in prestigious journals such as Theoretical Computer Science, Electronic Notes in Theoretical Computer Science and Archive for Mathematical Logic.

In The Last Decade

Laurent Régnier

15 papers receiving 455 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Laurent Régnier France 11 444 350 44 38 33 15 482
Thomas Ehrhard France 14 606 1.4× 467 1.3× 60 1.4× 66 1.7× 40 1.2× 50 673
Paul-André Melliès France 11 377 0.8× 269 0.8× 40 0.9× 43 1.1× 28 0.8× 35 416
Ulrich Berger United Kingdom 13 398 0.9× 333 1.0× 21 0.5× 35 0.9× 24 0.7× 42 453
Thomas Streicher Germany 12 331 0.7× 278 0.8× 72 1.6× 23 0.6× 55 1.7× 53 394
Martin Hyland United Kingdom 16 542 1.2× 382 1.1× 134 3.0× 52 1.4× 101 3.1× 28 627
Bengt Nordström Sweden 6 411 0.9× 280 0.8× 30 0.7× 45 1.2× 20 0.6× 14 441
Stefano Varricchio Italy 10 259 0.6× 334 1.0× 19 0.4× 22 0.6× 35 1.1× 46 387
Masahito Hasegawa Japan 9 219 0.5× 122 0.3× 45 1.0× 24 0.6× 29 0.9× 23 240
Sam Staton United Kingdom 11 314 0.7× 226 0.6× 29 0.7× 34 0.9× 13 0.4× 48 338
Kent Petersson Sweden 5 349 0.8× 230 0.7× 30 0.7× 41 1.1× 19 0.6× 7 375

Countries citing papers authored by Laurent Régnier

Since Specialization
Citations

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

Fields of papers citing papers by Laurent Régnier

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Laurent Régnier

This figure shows the co-authorship network connecting the top 25 collaborators of Laurent Régnier. A scholar is included among the top collaborators of Laurent Régnier 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 Laurent Régnier. Laurent Régnier 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.
Ehrhard, Thomas & Laurent Régnier. (2008). Uniformity and the Taylor expansion of ordinary lambda-terms. Theoretical Computer Science. 403(2-3). 347–372. 37 indexed citations
2.
Ehrhard, Thomas & Laurent Régnier. (2006). Differential interaction nets. Theoretical Computer Science. 364(2). 166–195. 42 indexed citations
3.
Ehrhard, Thomas & Laurent Régnier. (2005). Differential Interaction Nets. Electronic Notes in Theoretical Computer Science. 123. 35–74. 11 indexed citations
4.
Danos, Vincent & Laurent Régnier. (2004). Head Linear Reduction. 10 indexed citations
5.
Ehrhard, Thomas & Laurent Régnier. (2003). The differential lambda-calculus. Theoretical Computer Science. 309(1-3). 1–41. 99 indexed citations
6.
Danos, Vincent, Hugo Herbelin, & Laurent Régnier. (2002). Game semantics and abstract machines. 394–405. 34 indexed citations
7.
Asperti, Andrea, Vincent Danos, Cosimo Laneve, & Laurent Régnier. (2002). Paths in the lambda-calculus. Three years of communications without understanding. 7. 426–436. 4 indexed citations
8.
Malacaria, Pasquale & Laurent Régnier. (2002). Some results on the interpretation of lambda -calculus in operator algebras. 63–72. 10 indexed citations
9.
Danos, Vincent & Laurent Régnier. (2002). Local and asynchronous beta-reduction (an analysis of Girard's execution formula). 296–306. 15 indexed citations
10.
Baillot, Patrick, Vincent Danos, Thomas Ehrhard, & Laurent Régnier. (1997). Timeless Games. 56–77. 12 indexed citations
11.
Danos, Vincent & Laurent Régnier. (1996). Reversible, Irreversible and Optimal λ-machines. Electronic Notes in Theoretical Computer Science. 3. 40–60. 6 indexed citations
12.
Girard, Jean-Yves, Yves Lafont, & Laurent Régnier. (1995). Proceedings of the workshop on Advances in linear logic. 7 indexed citations
13.
Asperti, Andrea, Vincent Danos, Cosimo Laneve, & Laurent Régnier. (1994). Paths in the lambda-calculus. 426–436. 15 indexed citations
14.
Régnier, Laurent. (1994). Une équivalence sur les lambda- termes. Theoretical Computer Science. 126(2). 281–292. 33 indexed citations
15.
Danos, Vincent & Laurent Régnier. (1989). The structure of multiplicatives. Archive for Mathematical Logic. 28(3). 181–203. 147 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 Thomas Ehrhard Breakdown of academic impact, for papers by Paul-André Melliès Breakdown of academic impact, for papers by Ulrich Berger Breakdown of academic impact, for papers by Thomas Streicher Breakdown of academic impact, for papers by Martin Hyland Breakdown of academic impact, for papers by Bengt Nordström Breakdown of academic impact, for papers by Stefano Varricchio Breakdown of academic impact, for papers by Masahito Hasegawa Breakdown of academic impact, for papers by Sam Staton Breakdown of academic impact, for papers by Kent Petersson
Rankless by CCL
2026