Erik Poll
About
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
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Ravi Balakrishnan are about Top countries impacted by papers by B. B. Das Top fields papers by Ahmed M. Elbarbary are about Top fields papers by M. Bahiana are about Top journals papers by Hiroko Noguchi are published in Top journals papers by Brian L. Bingham are published in Top authors papers by Jilani P. Shaik are co-authored with Top journals papers by Frank Maes are published in