Sean Sedwards

About

Sean Sedwards has authored 27 papers that have received a total of 225 indexed citations. This includes 11 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 6 papers in Software. The topics of these papers are Formal Methods in Verification (10 papers), Adversarial Robustness in Machine Learning (7 papers) and Software Reliability and Analysis Research (5 papers). Sean Sedwards is often cited by papers focused on Formal Methods in Verification (10 papers), Adversarial Robustness in Machine Learning (7 papers) and Software Reliability and Analysis Research (5 papers) and collaborates with scholars based in Canada, Japan and Italy. Sean Sedwards's co-authors include Krzysztof Czarnecki, Ichiro Hasuo, Gidon Ernst, Axel Legay and Zhenya Zhang and has published in prestigious journals such as Journal of Theoretical Biology, Seminars in Cancer Biology and Theoretical Computer Science.

In The Last Decade

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Sören Bergmann Breakdown of academic impact, for papers by Peter J. Markie Breakdown of academic impact, for papers by Yiqi Huang Breakdown of academic impact, for papers by Patricia Piñeiro Breakdown of academic impact, for papers by B. Boboye Breakdown of academic impact, for papers by Christian Roth Breakdown of academic impact, for papers by Guozhi Zhao Breakdown of academic impact, for papers by Roman Gál