Eric L. Seidel
About
Eric L. Seidel has authored 9 papers that have received a total of 148 indexed citations.
This includes 6 papers in Artificial Intelligence, 4 papers in Information Systems and 4 papers in Software. The topics of these papers are Logic, programming, and type systems (6 papers), Software Testing and Debugging Techniques (4 papers) and Security and Verification in Computing (4 papers). Eric L. Seidel is often cited by papers focused on Logic, programming, and type systems (6 papers), Software Testing and Debugging Techniques (4 papers) and Security and Verification in Computing (4 papers) and collaborates with scholars based in United States and United Kingdom. Eric L. Seidel's co-authors include Ranjit Jhala, Westley Weimer, Niki Vazou, Simon Peyton-Jones and Dimitrios Vytiniotis and has published in prestigious journals such as ACM SIGPLAN Notices, Journal of Functional Programming and Proceedings of the ACM on Programming Languages
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Dídac Gil de la Iglesia are co-authored with Top countries impacted by papers by Peter Svensson Top authors papers by Jane Woolcock are co-authored with Top journals papers by Tina Skinner are published in Top fields papers by Juliane Schober are about Top fields papers by Shilpa Yadahalli are about Top fields papers by Kai-Juan Wong are about Top journals papers by Rebecca Caeser are published in