David Aspinall

2.8k total citations
76 papers, 514 citations indexed

About

David Aspinall is a scholar working on Artificial Intelligence, Computer Networks and Communications and Hardware and Architecture. According to data from OpenAlex, David Aspinall has authored 76 papers receiving a total of 514 indexed citations (citations by other indexed papers that have themselves been cited), including 33 papers in Artificial Intelligence, 24 papers in Computer Networks and Communications and 18 papers in Hardware and Architecture. Recurrent topics in David Aspinall's work include Parallel Computing and Optimization Techniques (17 papers), Advanced Malware Detection Techniques (17 papers) and Logic, programming, and type systems (13 papers). David Aspinall is often cited by papers focused on Parallel Computing and Optimization Techniques (17 papers), Advanced Malware Detection Techniques (17 papers) and Logic, programming, and type systems (13 papers). David Aspinall collaborates with scholars based in United Kingdom, Germany and United States. David Aspinall's co-authors include Mike Just, Adriana Compagnoni, Roger Ibbett, J. F. Grainger, D. Brent Edwards, T. Kilburn, Konstantin Knorr, Lennart Beringer, Alberto Momigliano and Raed Alharbi and has published in prestigious journals such as Engineering Applications of Artificial Intelligence, Theoretical Computer Science and Lecture notes in computer science.

In The Last Decade

David Aspinall

63 papers receiving 446 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
David Aspinall United Kingdom 12 216 153 150 119 118 76 514
R. V. Levin Russia 10 306 1.4× 131 0.9× 424 2.8× 38 0.3× 110 0.9× 40 692
Boris Köpf Spain 14 794 3.7× 138 0.9× 217 1.4× 63 0.5× 359 3.0× 31 888
Bo Hong United States 15 146 0.7× 156 1.0× 393 2.6× 99 0.8× 45 0.4× 54 621
Wenbao Han China 10 226 1.0× 90 0.6× 80 0.5× 71 0.6× 26 0.2× 39 359
John Manferdelli United States 8 175 0.8× 149 1.0× 266 1.8× 50 0.4× 147 1.2× 13 587
Alessandro Rubini Italy 5 103 0.5× 57 0.4× 294 2.0× 29 0.2× 38 0.3× 11 490
Nikhil Swamy United States 18 953 4.4× 538 3.5× 306 2.0× 185 1.6× 396 3.4× 65 1.2k
Renaud Sirdey France 13 346 1.6× 119 0.8× 106 0.7× 67 0.6× 36 0.3× 56 583
Pedro Alonso Spain 12 68 0.3× 117 0.8× 195 1.3× 102 0.9× 37 0.3× 92 546
Vijay Karamcheti United States 19 230 1.1× 375 2.5× 866 5.8× 54 0.5× 39 0.3× 69 1.1k

Countries citing papers authored by David Aspinall

Since Specialization
Citations

This map shows the geographic impact of David Aspinall's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by David Aspinall with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites David Aspinall more than expected).

Fields of papers citing papers by David Aspinall

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by David Aspinall. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by David Aspinall. The network helps show where David Aspinall may publish in the future.

Co-authorship network of co-authors of David Aspinall

This figure shows the co-authorship network connecting the top 25 collaborators of David Aspinall. A scholar is included among the top collaborators of David Aspinall based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with David Aspinall. David Aspinall is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Aspinall, David, et al.. (2024). Measuring the Complexity of Benchmark NIDS Datasets via Spectral Analysis. Edinburgh Research Explorer. 335–341.
2.
Aspinall, David, et al.. (2021). Evaluating Model Robustness to Adversarial Samples in Network Intrusion Detection. 2021 IEEE International Conference on Big Data (Big Data). 3343–3352. 5 indexed citations
3.
Aspinall, David & David Butler. (2019). Multi-Party Computation. 2019. 2 indexed citations
4.
Aspinall, David, et al.. (2016). PhoneWrap - Injecting the "How Often" into Mobile Apps. Edinburgh Research Explorer (University of Edinburgh). 11–19. 4 indexed citations
5.
Micallef, Nicholas, H. Güneş Kayacık, Mike Just, Lynne Baillie, & David Aspinall. (2015). Sensor use and usefulness: Trade-offs for data-driven authentication on mobile devices. ResearchOnline (Glasgow Caledonian University). 189–197. 7 indexed citations
6.
Carette, Jacques, David Aspinall, & Christoph Lange. (2013). Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 2 indexed citations
7.
Just, Mike & David Aspinall. (2012). On the security and usability of dual credential authentication in UK online banking. ResearchOnline (Glasgow Caledonian University). 259–264. 8 indexed citations
8.
Aspinall, David, Lennart Beringer, Martin Hofmann, Hans‐Wolfgang Loidl, & Alberto Momigliano. (2007). A program logic for resources. Theoretical Computer Science. 389(3). 411–445. 32 indexed citations
9.
Sannella, Donald, Martin Hofmann, David Aspinall, et al.. (2005). Mobile Resource Guarantees (Project Evaluation Paper). 211–226. 2 indexed citations
10.
Aspinall, David & Kenneth MacKenzie. (2005). Mobile Resource Guarantees and Policies. 1 indexed citations
11.
Aspinall, David, et al.. (2005). Proof general/eclipse: a generic interface for interactive proof. International Joint Conference on Artificial Intelligence. 1587–1588. 6 indexed citations
12.
Aspinall, David, Stephen Gilmore, Martin Hofmann, & Donald Sannella. (2005). Mobile Resource Guarantees for Smart Devices. 4 indexed citations
13.
Aspinall, David, Lennart Beringer, Martin Hofmann, Hans‐Wolfgang Loidl, & Alberto Momigliano. (2004). A Program Logic for Resource Verification.
14.
Aspinall, David & Adriana Compagnoni. (2002). Subtyping dependent types. 933. 86–97. 15 indexed citations
15.
Aspinall, David & Adriana Compagnoni. (2001). Subtyping dependent types. Theoretical Computer Science. 266(1-2). 273–309. 29 indexed citations
16.
Aspinall, David, et al.. (1978). Microprocessor and Its Application. CERN Document Server (European Organization for Nuclear Research). 3 indexed citations
17.
Aspinall, David, E.L. Dagless, & R.D. Dowsing. (1977). Design methods for digital systems including parallelism. UEA Digital Repository (University of East Anglia). 1(2). 49–56. 2 indexed citations
18.
Aspinall, David, D.J. Kinniment, & D. Brent Edwards. (1968). Associative memories in large computer systems and An integrated associateve memory matrix.. IFIP Congress. 796–800. 3 indexed citations
19.
Edwards, D. Brent, David Aspinall, & T. Kilburn. (1964). Design principles of the magnetic tape system for the atlas computer. Radio and Electronic Engineer. 27(1). 65–65.
20.
Aspinall, David, et al.. (1958). A decimal adder using a stored addition table. ˜The œproceedings of the Institution of Electrical Engineers. Part B, Radio and electronic engineering, including communication engineering. 105(20). 129–135. 4 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Rankless by CCL
2026