Sebastian Hunt

1.3k total citations
15 papers, 455 citations indexed

About

Sebastian Hunt is a scholar working on Artificial Intelligence, Computer Networks and Communications and Signal Processing. According to data from OpenAlex, Sebastian Hunt has authored 15 papers receiving a total of 455 indexed citations (citations by other indexed papers that have themselves been cited), including 13 papers in Artificial Intelligence, 8 papers in Computer Networks and Communications and 6 papers in Signal Processing. Recurrent topics in Sebastian Hunt's work include Security and Verification in Computing (9 papers), Logic, programming, and type systems (7 papers) and Distributed systems and fault tolerance (6 papers). Sebastian Hunt is often cited by papers focused on Security and Verification in Computing (9 papers), Logic, programming, and type systems (7 papers) and Distributed systems and fault tolerance (6 papers). Sebastian Hunt collaborates with scholars based in United Kingdom, Sweden and United States. Sebastian Hunt's co-authors include David Sands, David Clark, Pasquale Malacaria and Chris Hankin and has published in prestigious journals such as ACM SIGPLAN Notices, Science of Computer Programming and Journal of Computer Security.

In The Last Decade

Sebastian Hunt

13 papers receiving 424 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Sebastian Hunt United Kingdom 9 422 274 176 102 77 15 455
Tamara Rezk France 13 506 1.2× 324 1.2× 184 1.0× 132 1.3× 68 0.9× 35 554
Herbert Wiklicky United Kingdom 10 255 0.6× 85 0.3× 118 0.7× 46 0.5× 98 1.3× 44 315
Vincent Simonet France 8 415 1.0× 248 0.9× 155 0.9× 144 1.4× 44 0.6× 11 431
Cătălin Hriţcu United States 11 334 0.8× 118 0.4× 105 0.6× 116 1.1× 73 0.9× 36 373
Dominique Devriese Belgium 13 623 1.5× 285 1.0× 183 1.0× 181 1.8× 155 2.0× 69 670
John D. Ramsdell United States 9 268 0.6× 87 0.3× 107 0.6× 117 1.1× 85 1.1× 20 352
Daryl McCullough United States 6 353 0.8× 165 0.6× 179 1.0× 90 0.9× 52 0.7× 9 389
Alejandro Russo Sweden 13 592 1.4× 449 1.6× 242 1.4× 208 2.0× 35 0.5× 50 673
Vasilis Pappas United States 8 529 1.3× 356 1.3× 192 1.1× 157 1.5× 41 0.5× 8 571
Hassen Saı̈di United States 8 244 0.6× 336 1.2× 211 1.2× 202 2.0× 23 0.3× 16 438

Countries citing papers authored by Sebastian Hunt

Since Specialization
Citations

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

Fields of papers citing papers by Sebastian Hunt

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Sebastian Hunt

This figure shows the co-authorship network connecting the top 25 collaborators of Sebastian Hunt. A scholar is included among the top collaborators of Sebastian Hunt 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 Sebastian Hunt. Sebastian Hunt 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.
Hunt, Sebastian, et al.. (2023). Reconciling Shannon and Scott with a Lattice of Computable Information. Proceedings of the ACM on Programming Languages. 7(POPL). 1987–2016.
2.
Hunt, Sebastian & David Sands. (2021). A Quantale of Information. City Research Online (City University London). 1–15. 3 indexed citations
3.
Clark, David, Sebastian Hunt, & Pasquale Malacaria. (2007). A static analysis for quantifying information flow in a simple imperative language. Journal of Computer Security. 15(3). 321–371. 85 indexed citations
4.
Hunt, Sebastian & David Sands. (2006). On flow-sensitive security types. ACM SIGPLAN Notices. 41(1). 79–90. 15 indexed citations
5.
Hunt, Sebastian & David Sands. (2006). On flow-sensitive security types. 79–90. 119 indexed citations
6.
Clark, David, Sebastian Hunt, & Pasquale Malacaria. (2005). Quantified Interference for a While Language. Electronic Notes in Theoretical Computer Science. 112. 149–166. 48 indexed citations
7.
Clark, David, Sebastian Hunt, & Pasquale Malacaria. (2004). Non-Interference For Weak Observers. UCL Discovery (University College London). 4. 7000–7000. 3 indexed citations
8.
Clark, David, Chris Hankin, & Sebastian Hunt. (2002). Information flow for Algol-like languages. Computer Languages Systems & Structures. 28(1). 3–28. 25 indexed citations
9.
Clark, David, Sebastian Hunt, & Pasquale Malacaria. (2002). Quantitative Analysis of the Leakage of Confidential Data. Electronic Notes in Theoretical Computer Science. 59(3). 238–251. 89 indexed citations
10.
Hunt, Sebastian, et al.. (1995). Composition in hierarchical CLP. International Joint Conference on Artificial Intelligence. 640–645.
11.
Hankin, Chris & Sebastian Hunt. (1994). Approximate fixed points in abstract interpretation. Science of Computer Programming. 22(3). 283–306. 3 indexed citations
12.
Hunt, Sebastian & David Sands. (1991). Binding time analysis. 154–165. 33 indexed citations
13.
Hunt, Sebastian & Chris Hankin. (1991). Fixed points and frontiers: a new perspective. Journal of Functional Programming. 1(1). 91–120. 16 indexed citations
14.
Hunt, Sebastian & David Sands. (1991). Binding time analysis. ACM SIGPLAN Notices. 26(9). 154–165. 7 indexed citations
15.
Hunt, Sebastian. (1989). Frontiers and open sets in abstract interpretation. 1–13. 9 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 Tamara Rezk Breakdown of academic impact, for papers by Herbert Wiklicky Breakdown of academic impact, for papers by Vincent Simonet Breakdown of academic impact, for papers by Cătălin Hriţcu Breakdown of academic impact, for papers by Dominique Devriese Breakdown of academic impact, for papers by John D. Ramsdell Breakdown of academic impact, for papers by Daryl McCullough Breakdown of academic impact, for papers by Alejandro Russo Breakdown of academic impact, for papers by Vasilis Pappas Breakdown of academic impact, for papers by Hassen Saı̈di
Rankless by CCL
2026