Peter Sestoft
Impact in
- Software top 1%
- Software Testing and Debugging Techniques
- Model-Driven Software Engineering Techniques
- Hardware and Architecture top 1%
- Parallel Computing and Optimization Techniques
Papers in
-
- Logic, programming, and type systems 17
- Logic, Reasoning, and Knowledge 7
- Software 15
- Spreadsheets and End-User Computing 6
- Model-Driven Software Engineering Techniques 5
- Co-authors
- Neil D. Jones (4 shared papers)Carsten K. Gomard (3 shared papers)Harald Søndergaard (4 shared papers)Anne Louise Gimsing (1 shared paper)Ole K. Borggaard (1 shared paper)Stephan Diehl (1 shared paper)Pieter Hartel (1 shared paper)Allan Lind-Thomsen (1 shared paper)
- Journals
- ACM SIGPLAN Notices (4 papers)Journal of Functional Programming (1 paper)LISP and Symbolic Computation (1 paper)RNA (1 paper)Acta veterinaria Scandinavica (1 paper)
- Partner nations
- DenmarkAustraliaUnited Kingdom
In The Last Decade
Peter Sestoft
36 papers receiving 1.3k citations
Peter Sestoft's Hit Papers
Peers
Comparison fields: 5 of 82
- Software 349
- Hardware and Architecture 525
- Computational Theory and Mathematics 664
- Artificial Intelligence 1.1k
- Information Systems 297
Countries citing papers authored by Peter Sestoft
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
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-authors
The 22 scholars most cited alongside Peter Sestoft, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 40 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | Partial evaluation and automatic program generation Hit paper breakdown → | 1993 | 858 |
| 2 | 1989 | 148 | |
| 3 | 1997 | 111 | |
| 4 | 1989 | 79 | |
| 5 | 2004 | 53 | |
| 6 | 1992 | 46 | |
| 7 | 2000 | 34 | |
| 8 | 1990 | 31 | |
| 9 | 2007 | 30 | |
| 10 | 1988 | 14 | |
| 11 | 1991 | 14 | |
| 12 | 2006 | 11 | |
| 13 | 1985 | 11 | |
| 14 | Runtime Code Generation with JVM and CLR | 2002 | 8 |
| 15 | 2020 | 8 | |
| 16 | 2012 | 7 | |
| 17 | 2006 | 6 | |
| 18 | 2011 | 5 | |
| 19 | 2014 | 5 | |
| 20 | Compile-time Scope Resolution for Statecharts Transitions | 2002 | 4 |
About Peter Sestoft
Peter Sestoft is a scholar working on Artificial Intelligence, Software, Computer Networks and Communications, Computational Theory and Mathematics and Hardware and Architecture, having authored 40 papers that have together received 1.5k indexed citations. Recurring topics across this work include Logic, programming, and type systems (17 papers), Logic, Reasoning, and Knowledge (7 papers), Parallel Computing and Optimization Techniques (6 papers), Spreadsheets and End-User Computing (6 papers), Advanced Database Systems and Queries (6 papers), Model-Driven Software Engineering Techniques (5 papers), Computability, Logic, AI Algorithms (4 papers) and Formal Methods in Verification (4 papers). The work is most often cited by research in Software (349 citations), Hardware and Architecture (525 citations), Computational Theory and Mathematics (664 citations), Artificial Intelligence (1.1k citations) and Information Systems (297 citations). Peter Sestoft has collaborated with scholars based in Denmark, Australia and United Kingdom. Frequent co-authors include Neil D. Jones, Carsten K. Gomard, Harald Søndergaard, Anne Louise Gimsing, Ole K. Borggaard, Stephan Diehl, Pieter Hartel, Allan Lind-Thomsen, Jan Gorodkin and Niels Larsen. Their work appears in journals such as ACM SIGPLAN Notices, Journal of Functional Programming, LISP and Symbolic Computation, RNA and Acta veterinaria Scandinavica.
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.