Edwin C. Brady
Active 2003–2026
- Affiliations
- University of St AndrewsThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0002-9734-367X
- 35
- Papers
- 806
- Citations
- 13
- h-index
- 15
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science95.8%
- Decision Sciences1%
- Engineering0.8%
- Biochemistry, Genetics and Molecular Biology0.4%
- Business, Management and Accounting0.4%
- Mathematics0.4%
- Other1.2%
Topics
- Logic, programming, and type systems32%
- Formal Methods in Verification17.1%
- Logic, Reasoning, and Knowledge10.6%
- Parallel Computing and Optimization Techniques7.9%
- Software Engineering Research7.4%
- Security and Verification in Computing5.8%
- Other19.3%
Frequent coauthors
- Kevin Hammond7
- Jan de Muijnck-Hughes4
- James McKinna3
- Wim Vanderbauwhede3
- Cezar Ionescu2
- Constantine Theocharis2
- David R. Christiansen2
- Guillaume Allais2
- Nicola Botta2
- Andrea Kohlhase1
- Cezary Kaliszyk1
- Christoph A. Herrmann1
- Claudio Sacerdoti Coen1
- Colin G. Johnson1
- Conor McBride1
- Dennis Müller 00011
- Ellis Kesterton1
- Franck Slama1
- James H. Davenport1
- Jens Palsberg1
- Jeremy Yallop1
- Jerry Swan1
- Karol Pak1
- Michael Kohlhase1
All papers
Loading papers…
