Edwin Brady
About
Edwin Brady has authored 13 papers that have received a total of 170 indexed citations.
This includes 12 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 6 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (10 papers), Formal Methods in Verification (6 papers) and Advanced Software Engineering Methodologies (5 papers). Edwin Brady is often cited by papers focused on Logic, programming, and type systems (10 papers), Formal Methods in Verification (6 papers) and Advanced Software Engineering Methodologies (5 papers) and collaborates with scholars based in United Kingdom, United States and Germany. Edwin Brady's co-authors include Kevin Hammond, Saleem Bhatti, Wim Vanderbauwhede, Claudio Sacerdoti Coen and Nicola Botta and has published in prestigious journals such as Lecture notes in computer science, ACM SIGPLAN Notices and Journal of Functional Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Romana Roccaldo are about Top countries impacted by papers by Harald Skinnemoen Top countries impacted by papers by B.D. Adelstein Top fields papers by Abdalkarim Awad are about Top countries impacted by papers by Hamda Khansaheb Top journals papers by L. A. Underkofler are published in Top authors papers by Grant G. Thompson are co-authored with Top fields papers by Victoria Chatzimavridou-Grigoriadou are about