Lucas Dixon

33 papers receiving 2.3k citations

Hit Papers

Constructing Induction Rules for Deductive Synthesis Proofs20062026201220192006201720184008001.2k

Peers

Lucas Dixon
Comparison fields: 5 of 114
  • Artificial Intelligence 1.8k
  • Computational Theory and Mathematics 555
  • Information Systems 554
  • Computer Networks and Communications 323
  • Software 290
Replace Luca de Alfaro with:
Luca de Alfaro United States
Jeremy Gow United Kingdom
Harold Abelson United States
Hermann Maurer Austria
Hal Abelson United States
Michael Lesk United States
Mordechai Ben‐Ari Israel
Chris Hankin United Kingdom
Dinghao Wu United States
Christoph Meinel Germany
Lucas Dixon relative to Luca de Alfaro United States Luca de Alfaro's profile →
Citations per field
00.5×4.9×
Luca de Alfaro · 1×
Citations per year

Countries citing papers authored by Lucas Dixon

Since Specialization
Citations

This map shows the geographic impact of Lucas Dixon'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 Lucas Dixon with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Lucas Dixon more than expected).

Fields of papers citing papers by Lucas Dixon

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Lucas Dixon. 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 Lucas Dixon. The network helps show where Lucas Dixon may publish in the future.

Co-authorship network of co-authors of Lucas Dixon

This figure shows the co-authorship network connecting the top 25 collaborators of Lucas Dixon. A scholar is included among the top collaborators of Lucas Dixon 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 Lucas Dixon. Lucas Dixon 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
#WorkIndexed citations
1 1
2 13
3 7
4 2
5 59
6 2
7 10
8 19
9 31
10 14
11 102
12
Measuring and Mitigating Unintended Bias in Text Classificationbreakdown →
338
13 17
14 9
15 5
16
Ex Machinabreakdown →
369
17 11
18 13
19
Verified Planning by Deductive Synthesis in Intuitionistic Linear Logic
3
20 4

About Lucas Dixon

Lucas Dixon is a scholar working on Artificial Intelligence, Software and Communication, having authored 34 papers that have together received 2.5k indexed citations. Recurring topics across this work include Hate Speech and Cyberbullying Detection (15 papers), Logic, programming, and type systems (11 papers) and Topic Modeling (9 papers). The work is most often cited by research in Software (290 citations), Artificial Intelligence (1.8k citations) and Computational Theory and Mathematics (555 citations). Lucas Dixon has collaborated with scholars based in United States, United Kingdom and Italy. Frequent co-authors include Alan Bundy, Jacques Fleuriot, Jeremy Gow, Nithum Thain, Ellery Wulczyn, Jeffrey Sorensen, Lucy Vasserman, John Li, Yiqing Hua and Dario Taraborelli. Their work appears in journals such as Expert Systems with Applications, IEEE Transactions on Visualization and Computer Graphics and Social Science Computer Review.

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