Erik Poll

3.9k total citations
58 papers, 1.4k citations indexed

About

Erik Poll is a scholar working on Artificial Intelligence, Software and Computer Networks and Communications. According to data from OpenAlex, Erik Poll has authored 58 papers receiving a total of 1.4k indexed citations (citations by other indexed papers that have themselves been cited), including 36 papers in Artificial Intelligence, 20 papers in Software and 14 papers in Computer Networks and Communications. Recurrent topics in Erik Poll's work include Logic, programming, and type systems (22 papers), Software Testing and Debugging Techniques (14 papers) and Formal Methods in Verification (11 papers). Erik Poll is often cited by papers focused on Logic, programming, and type systems (22 papers), Software Testing and Debugging Techniques (14 papers) and Formal Methods in Verification (11 papers). Erik Poll collaborates with scholars based in Netherlands, United States and United Kingdom. Erik Poll's co-authors include Joeri de Ruiter, Gary T. Leavens, Simon Thompson, Michael D. Ernst, David R. Cok, Lilian Burdy, Yoonsik Cheon, K. Rustan M. Leino, Joseph R. Kiniry and Joost Visser and has published in prestigious journals such as ACM Computing Surveys, IEEE Transactions on Smart Grid and International Journal of Electrical Power & Energy Systems.

In The Last Decade

Erik Poll

55 papers receiving 1.3k citations

Peers — A (Enhanced Table)

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

Name	h						Papers	Cites
Erik Poll Netherlands	15	931	471	441	367	265	58	1.4k
Helmut Veith Austria	19	802 0.9×	547 1.2×	865 2.0×	218 0.6×	384 1.4×	60	1.6k
Christian Schallhart United Kingdom	13	547 0.6×	393 0.8×	469 1.1×	299 0.8×	313 1.2×	38	1.1k
Shengchao Qin United Kingdom	17	443 0.5×	314 0.7×	337 0.8×	255 0.7×	194 0.7×	97	909
Lucas C. Cordeiro Brazil	16	302 0.3×	365 0.8×	456 1.0×	214 0.6×	211 0.8×	109	1.1k
Leonardo de Moura United States	17	827 0.9×	1.1k 2.4×	718 1.6×	1.0k 2.8×	370 1.4×	43	2.1k
Guillaume Brat United States	13	533 0.6×	978 2.1×	651 1.5×	353 1.0×	261 1.0×	46	1.5k
Jean-Raymond Abrial Switzerland	14	802 0.9×	637 1.4×	868 2.0×	340 0.9×	376 1.4×	26	1.5k
Taolue Chen United Kingdom	18	449 0.5×	305 0.6×	283 0.6×	383 1.0×	153 0.6×	108	979
Cesare Tinelli United States	17	872 0.9×	447 0.9×	784 1.8×	218 0.6×	216 0.8×	73	1.3k
Roderick Bloem Austria	24	750 0.8×	810 1.7×	1.1k 2.6×	214 0.6×	193 0.7×	90	1.7k

Countries citing papers authored by Erik Poll

Since Specialization

Citations

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

Fields of papers citing papers by Erik Poll

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Erik Poll

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

Poll, Erik, et al.. (2024). Fuzzers for Stateful Systems: Survey and Research Directions. ACM Computing Surveys. 56(9). 1–23. 7 indexed citations

Poll, Erik, et al.. (2019). Non-Repudiation and End-to-End Security for Electric-Vehicle Charging. Radboud Repository (Radboud University). 1–5. 10 indexed citations

Ruiter, Joeri de & Erik Poll. (2015). Protocol state fuzzing of TLS implementations. University of Birmingham Research Portal (University of Birmingham). 193–206. 112 indexed citations

Poll, Erik, et al.. (2013). A security protocol for information-centric networking in smart grids. Radboud Repository (Radboud University). 1–10. 12 indexed citations

Poll, Erik, et al.. (2011). Rigorous specifications of the SSH Transport Layer. Data Archiving and Networked Services (DANS). 4 indexed citations

Mostowski, Wojciech & Erik Poll. (2010). Electronic passports in a nutshell. Radboud Repository (Radboud University). 4 indexed citations

Tews, Hendrik, et al.. (2008). Nova Micro--Hypervisor Verification. Data Archiving and Networked Services (DANS). 6 indexed citations

Eekelen, M.C.J.D. van, et al.. (2008). AHA: Amortized Heap Space Usage Analysis. 36–53. 8 indexed citations

Mostowski, Wojciech & Erik Poll. (2007). Testing the Java Card Applet Firewall. Data Archiving and Networked Services (DANS). 1 indexed citations

10.

Haack, Christian, et al.. (2007). Immutable Objects for a Java-Like Language. Lecture notes in computer science. 4421. 347–362. 1 indexed citations

11.

Eekelen, M.C.J.D. van, et al.. (2007). AHA: Amortized Heap Space Usage Analysis. Project Paper. 1 indexed citations

12.

Poll, Erik, et al.. (2007). Verifying an implementation of SSH. Data Archiving and Networked Services (DANS). 164–177. 11 indexed citations

13.

Haack, Christian, et al.. (2007). Proceedings of the Workshop on Verification and Analysis of Multi-threaded Java-like Programs. Data Archiving and Networked Services (DANS). 1 indexed citations

14.

Jacobs, Bart & Erik Poll. (2004). Java Program Verification at Nijmegen: Developments and Perspective. Lecture notes in computer science. 3233. 134–153. 16 indexed citations

15.

Poll, Erik, et al.. (2002). A java reference model of transacted memory for smart cards. University of Twente Research Information. 9–9. 2 indexed citations

16.

Jacobs, Bart & Erik Poll. (2002). Coalgebras and monads in the semantics of Java. Theoretical Computer Science. 291(3). 329–349. 10 indexed citations

17.

Berg, Joachim van den, Bart Jacobs, & Erik Poll. (2000). Formal Specification and Verification of JavaCard's Application Identifier Class. Lecture notes in computer science. 137–150. 3 indexed citations

18.

Poll, Erik. (1998). Subtyping and Inheritance for Categorical Datatypes : Preliminary Report (Type Theory and its Applications to Computer Systems). Kyoto University Research Information Repository (Kyoto University). 1023(1023). 112–125. 1 indexed citations

19.

Poll, Erik & Simon Thompson. (1998). Adding the axioms to Axiom: Towards a system of automated reasoning in Aldor. Kent Academic Repository (University of Kent). 4 indexed citations

20.

Poll, Erik. (1997). Subtyping and Inheritance for Inductive Types. Kent Academic Repository (University of Kent). 3 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