Erik Poll

38 papers and 788 indexed citations i.

Erik Poll has authored 38 papers that have received a total of 788 indexed citations. This includes 23 papers in Artificial Intelligence, 13 papers in Software and 10 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (12 papers), Software Testing and Debugging Techniques (10 papers) and Formal Methods in Verification (8 papers). Erik Poll is often cited by papers focused on Logic, programming, and type systems (12 papers), Software Testing and Debugging Techniques (10 papers) and Formal Methods in Verification (8 papers) and collaborates with scholars based in The Netherlands, United Kingdom and France. Erik Poll's co-authors include Joeri de Ruiter, Bart Jacobs, Michael Menth, Joost Visser and Joachim van den Berg and has published in prestigious journals such as IEEE Transactions on Smart Grid, ACM Computing Surveys and International Journal of Electrical Power & Energy Systems