Adam Walker
Active 1995–2026
- 35
- Papers
- 1,543
- Citations
- 18
- h-index
- 25
- 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
- University of Cambridge10.6%
- KU Leuven9.7%
- Oxitec (United Kingdom)8.7%
- University of Pennsylvania8.4%
- Washington University in St. Louis8.3%
- National Health Service6.6%
- Other47.8%
Fields
- Computer Science38.7%
- Medicine24%
- Biochemistry, Genetics and Molecular Biology9.4%
- Engineering7.4%
- Agricultural and Biological Sciences4.1%
- Physics and Astronomy3.8%
- Other12.6%
Topics
- Formal Methods in Verification16.8%
- Multi-Agent Systems and Negotiation10%
- Transplantation: Methods and Outcomes9.9%
- Software Testing and Debugging Techniques7.2%
- Logic, programming, and type systems6.9%
- Organ Transplantation Techniques and Outcomes6.3%
- Other42.8%
Frequent coauthors
- Leonid Ryzhyk7
- Chris Gerada6
- Leander Tentrup5
- Swen Jacobs5
- Gaurang Vakil4
- Guillermo A. Pérez4
- Krzysztof Paciura4
- Roderick Bloem4
- Wayne Hing4
- Alastair McQueen3
- Alexander Legg3
- Anna Lorimer3
- Ayrat Khalimov 00013
- David Gerada3
- Felix Klein 00013
- Hanlin Zhang3
- Jean-François Raskin3
- Jennifer A. Rode3
- Martina Seidl3
- Neil I. Morrison3
- Ocan Sankur3
- Robert Könighofer3
- Romain Brenguier3
- Yifan Feng3
All papers
Loading papers…
