Thomas Ehrhard

2.2k total citations
50 papers, 673 citations indexed

About

Thomas Ehrhard is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Political Science and International Relations. According to data from OpenAlex, Thomas Ehrhard has authored 50 papers receiving a total of 673 indexed citations (citations by other indexed papers that have themselves been cited), including 37 papers in Artificial Intelligence, 25 papers in Computational Theory and Mathematics and 8 papers in Political Science and International Relations. Recurrent topics in Thomas Ehrhard's work include Logic, programming, and type systems (35 papers), Logic, Reasoning, and Knowledge (31 papers) and Formal Methods in Verification (13 papers). Thomas Ehrhard is often cited by papers focused on Logic, programming, and type systems (35 papers), Logic, Reasoning, and Knowledge (31 papers) and Formal Methods in Verification (13 papers). Thomas Ehrhard collaborates with scholars based in France, Italy and Australia. Thomas Ehrhard's co-authors include Laurent Régnier, Christine Tasson, Michele Pagani, Olivier Laurent, Vincent Danos, Jean-Yves Girard, Sharyl Martini, Patrick Lincoln, Gianluigi Bellin and Vito Michele Abrusci and has published in prestigious journals such as SHILAP Revista de lepidopterología, Journal of the ACM and Theoretical Computer Science.

In The Last Decade

Thomas Ehrhard

46 papers receiving 644 citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Thomas Ehrhard France	14	606	467	66	60	40	50	673
J. L. Bell Canada	3	441 0.7×	303 0.6×	38 0.6×	85 1.4×	45 1.1×	3	533
Laurent Régnier France	11	444 0.7×	350 0.7×	38 0.6×	44 0.7×	33 0.8×	15	482
J. M. E. Hyland United Kingdom	10	533 0.9×	423 0.9×	44 0.7×	71 1.2×	53 1.3×	13	611
Paul-André Melliès France	11	377 0.6×	269 0.6×	43 0.7×	40 0.7×	28 0.7×	35	416
Marcelo Fiore United Kingdom	16	816 1.3×	557 1.2×	116 1.8×	151 2.5×	55 1.4×	67	903
Martin Hyland United Kingdom	16	542 0.9×	382 0.8×	52 0.8×	134 2.2×	101 2.5×	28	627
Thorsten Altenkirch United Kingdom	14	590 1.0×	361 0.8×	92 1.4×	63 1.1×	28 0.7×	51	633
Filippo Bonchi Italy	12	335 0.6×	252 0.5×	47 0.7×	32 0.5×	14 0.3×	57	408
Thomas Streicher Germany	12	331 0.5×	278 0.6×	23 0.3×	72 1.2×	55 1.4×	53	394
Ulrich Berger United Kingdom	13	398 0.7×	333 0.7×	35 0.5×	21 0.3×	24 0.6×	42	453

Countries citing papers authored by Thomas Ehrhard

Since Specialization

Citations

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

Fields of papers citing papers by Thomas Ehrhard

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Thomas Ehrhard

This figure shows the co-authorship network connecting the top 25 collaborators of Thomas Ehrhard. A scholar is included among the top collaborators of Thomas Ehrhard 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 Thomas Ehrhard. Thomas Ehrhard 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

Ehrhard, Thomas. (2023). A coherent differential PCF. Logical Methods in Computer Science. Volume 19, Issue 4. 1 indexed citations

Ehrhard, Thomas, Claudia Faggian, & Michele Pagani. (2023). The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic. SPIRE - Sciences Po Institutional REpository. 1 indexed citations

Ehrhard, Thomas. (2019). Differentials and distances in probabilistic coherence spaces. HAL (Le Centre pour la Communication Scientifique Directe). 2 indexed citations

Bedock, Camille, Damien Bol, & Thomas Ehrhard. (2017). Political Scientists and Electoral Reforms in Europe and Canada: What They Know, What They Do. Election Law Journal Rules Politics and Policy. 16(3). 335–340. 1 indexed citations

Ehrhard, Thomas, Christine Tasson, & Michele Pagani. (2014). Probabilistic coherence spaces are fully abstract for probabilistic PCF. SPIRE - Sciences Po Institutional REpository. 309–320. 27 indexed citations

Ehrhard, Thomas, et al.. (2013). The stack calculus. SHILAP Revista de lepidopterología. 113. 93–108. 1 indexed citations

Ehrhard, Thomas, et al.. (2012). Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion. Logical Methods in Computer Science. Volume 8, Issue 4. 3 indexed citations

Ehrhard, Thomas, et al.. (2011). A relational semantics for parallelism and non-determinism in a functional setting. Annals of Pure and Applied Logic. 163(7). 918–934. 9 indexed citations

Ehrhard, Thomas. (2011). The Scott model of linear logic is the extensional collapse of its relational model. Theoretical Computer Science. 424. 20–45. 14 indexed citations

10.

Ehrhard, Thomas & Olivier Laurent. (2010). Interpreting a finitary pi-calculus in differential interaction nets. Information and Computation. 208(6). 606–633. 13 indexed citations

11.

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

12.

Ehrhard, Thomas & Laurent Régnier. (2006). Differential interaction nets. Theoretical Computer Science. 364(2). 166–195. 42 indexed citations

13.

Ehrhard, Thomas & Laurent Régnier. (2003). The differential lambda-calculus. Theoretical Computer Science. 309(1-3). 1–41. 99 indexed citations

14.

Ehrhard, Thomas, et al.. (2001). On phase semantics and denotational semantics: the exponentials. Annals of Pure and Applied Logic. 109(3). 205–241. 28 indexed citations

15.

Ehrhard, Thomas. (2000). Parallel and serial hypercoherences. Theoretical Computer Science. 247(1-2). 39–81. 6 indexed citations

16.

Ehrhard, Thomas. (1999). A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries. Information and Computation. 152(1). 111–137. 12 indexed citations

17.

Baillot, Patrick, Vincent Danos, Thomas Ehrhard, & Laurent Régnier. (1997). Timeless Games. 56–77. 12 indexed citations

18.

Ehrhard, Thomas. (1996). Projecting sequential algorithms on strongly stable functions. Annals of Pure and Applied Logic. 77(3). 201–244. 11 indexed citations

19.

Girard, Jean-Yves, J. Lambek, Andreas Blass, et al.. (1995). Advances in Linear Logic. Cambridge University Press eBooks. 93 indexed citations

20.

Ehrhard, Thomas, et al.. (1994). Sequentiality in an Extensional Framework. Information and Computation. 110(2). 265–296. 15 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