Peter Sestoft

3.1k total citations · 1 hit paper
40 papers, 1.5k citations indexed

About

Peter Sestoft is a scholar working on Artificial Intelligence, Software and Computer Networks and Communications. According to data from OpenAlex, Peter Sestoft has authored 40 papers receiving a total of 1.5k indexed citations (citations by other indexed papers that have themselves been cited), including 22 papers in Artificial Intelligence, 15 papers in Software and 11 papers in Computer Networks and Communications. Recurrent topics in Peter Sestoft's work include Logic, programming, and type systems (17 papers), Logic, Reasoning, and Knowledge (7 papers) and Spreadsheets and End-User Computing (6 papers). Peter Sestoft is often cited by papers focused on Logic, programming, and type systems (17 papers), Logic, Reasoning, and Knowledge (7 papers) and Spreadsheets and End-User Computing (6 papers). Peter Sestoft collaborates with scholars based in Denmark, Australia and United Kingdom. Peter Sestoft's co-authors include Neil D. Jones, Carsten K. Gomard, Harald Søndergaard, Ole K. Borggaard, Anne Louise Gimsing, Stephan Diehl, Pieter Hartel, Ebbe Sloth Andersen, Christian Zwieb and Niels Larsen and has published in prestigious journals such as Environmental Science & Technology, Journal of Hazardous Materials and RNA.

In The Last Decade

Peter Sestoft

36 papers receiving 1.3k citations

Hit Papers

Partial evaluation and automatic program generation 1993 2026 2004 2015 1993 250 500 750
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. Partial evaluation and automatic program generation
    1993 858 citations Neil D. Jones, Carsten K. Gomard et al. Medical Entomology and Zoology profile →

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Peter Sestoft Denmark 12 1.1k 664 525 349 297 40 1.5k
Bernd Mahr Germany 8 646 0.6× 513 0.8× 102 0.2× 229 0.7× 215 0.7× 31 961
Amal Ahmed United States 22 1.0k 0.9× 505 0.8× 206 0.4× 101 0.3× 223 0.8× 62 1.1k
David Detlefs United States 18 732 0.6× 363 0.5× 763 1.5× 267 0.8× 255 0.9× 34 1.4k
P. J. Landin United Kingdom 6 956 0.8× 618 0.9× 262 0.5× 116 0.3× 146 0.5× 9 1.1k
Alexandre Petrenko Canada 18 268 0.2× 495 0.7× 335 0.6× 1.1k 3.1× 272 0.9× 73 1.2k
Daan Leijen United States 18 837 0.7× 347 0.5× 553 1.1× 177 0.5× 419 1.4× 68 1.3k
Pascal Fradet France 14 480 0.4× 148 0.2× 83 0.2× 131 0.4× 327 1.1× 44 662
Aaron Stump United States 14 596 0.5× 512 0.8× 92 0.2× 257 0.7× 124 0.4× 53 802
Derek C. Oppen United States 12 834 0.7× 720 1.1× 109 0.2× 244 0.7× 106 0.4× 16 1.1k
P. Zafiropulo Switzerland 10 350 0.3× 567 0.9× 172 0.3× 217 0.6× 165 0.6× 14 945

Countries citing papers authored by Peter Sestoft

Since Specialization
Citations

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

Fields of papers citing papers by Peter Sestoft

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Peter Sestoft

This figure shows the co-authorship network connecting the top 25 collaborators of Peter Sestoft. A scholar is included among the top collaborators of Peter Sestoft 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 Peter Sestoft. Peter Sestoft 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.
Sestoft, Peter, et al.. (2022). On the cost semantics for spreadsheets with sheet-defined functions. VBN Forskningsportal (Aalborg Universitet). 69. 101103–101103. 1 indexed citations
2.
Sestoft, Peter. (2014). Spreadsheet Implementation Technology: Basics and Extensions. CERN Document Server (European Organization for Nuclear Research). 4 indexed citations
3.
Sestoft, Peter. (2012). Programming Language Concepts. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 7 indexed citations
4.
Sestoft, Peter. (2011). Organizing research data. Acta veterinaria Scandinavica. 53(S1). S2–S2. 5 indexed citations
5.
Birkedal, Lars, et al.. (2010). Modular verification of linked lists with views via separation logic. IT University Of Copenhagen (IT University of Copenhagen). 1–7. 3 indexed citations
6.
Sestoft, Peter. (2008). Implementing function spreadsheets. IT University Of Copenhagen (IT University of Copenhagen). 91–94. 4 indexed citations
7.
Andersen, Ebbe Sloth, Allan Lind-Thomsen, Bjarne Knudsen, et al.. (2007). Semiautomated improvement of RNA alignments. RNA. 13(11). 1850–1859. 30 indexed citations
8.
Sestoft, Peter. (2006). Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 : proceedings. Springer eBooks. 1 indexed citations
9.
Sestoft, Peter, et al.. (2006). The C5 Generic Collection Library for C# and CLI. Journal of Hazardous Materials. 195. 82–91. 6 indexed citations
10.
Sestoft, Peter. (2006). Programming Languages and Systems. Lecture notes in computer science. 11 indexed citations
11.
Wąsowski, Andrzej & Peter Sestoft. (2002). Compile-time Scope Resolution for Statecharts Transitions. 4 indexed citations
12.
Sestoft, Peter. (2002). Java Precisely. 2 indexed citations
13.
Sestoft, Peter. (2001). Demonstrating Lambda Calculus Reduction. Electronic Notes in Theoretical Computer Science. 45. 424–432.
14.
Sestoft, Peter. (1997). Deriving a lazy abstract machine. Journal of Functional Programming. 7(3). 231–264. 111 indexed citations
15.
Jones, Neil D., Carsten K. Gomard, & Peter Sestoft. (1993). Partial evaluation and automatic program generation. Medical Entomology and Zoology. 858 indexed citations breakdown →
16.
Sestoft, Peter, et al.. (1990). Referential transparency, definiteness and unfoldability. Acta Informatica. 27(6). 31 indexed citations
17.
Sestoft, Peter. (1989). Replacing function parameters by global variables. 39–53. 79 indexed citations
18.
Sestoft, Peter, et al.. (1988). A bibliography on partial evaluation. ACM SIGPLAN Notices. 23(2). 19–26. 14 indexed citations
19.
Jones, Neil D., Peter Sestoft, & Harald Søndergaard. (1987). MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). 386–413. 2 indexed citations
20.
Jones, Neil D., Peter Sestoft, & Harald Søndergaard. (1985). An experiment in partial evaluation. ACM SIGPLAN Notices. 20(8). 82–87. 11 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 Bernd Mahr Breakdown of academic impact, for papers by Amal Ahmed Breakdown of academic impact, for papers by David Detlefs Breakdown of academic impact, for papers by P. J. Landin Breakdown of academic impact, for papers by Alexandre Petrenko Breakdown of academic impact, for papers by Daan Leijen Breakdown of academic impact, for papers by Pascal Fradet Breakdown of academic impact, for papers by Aaron Stump Breakdown of academic impact, for papers by Derek C. Oppen Breakdown of academic impact, for papers by P. Zafiropulo
Rankless by CCL
2026