Axel Simon

445 total citations
17 papers, 78 citations indexed

About

Axel Simon is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Axel Simon has authored 17 papers receiving a total of 78 indexed citations (citations by other indexed papers that have themselves been cited), including 12 papers in Artificial Intelligence, 9 papers in Computational Theory and Mathematics and 5 papers in Hardware and Architecture. Recurrent topics in Axel Simon's work include Formal Methods in Verification (8 papers), Logic, programming, and type systems (7 papers) and Parallel Computing and Optimization Techniques (4 papers). Axel Simon is often cited by papers focused on Formal Methods in Verification (8 papers), Logic, programming, and type systems (7 papers) and Parallel Computing and Optimization Techniques (4 papers). Axel Simon collaborates with scholars based in Germany, United Kingdom and France. Axel Simon's co-authors include Andy King, Bogdan Mihaila, Frank Huch, Olaf Chitil, Thomas Reps, Alan Mycroft, Roberto Giacobazzi and Jacob M. Howe and has published in prestigious journals such as Theoretical Computer Science, Science of Computer Programming and International Journal of Computer Mathematics.

In The Last Decade

Axel Simon

13 papers receiving 70 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Axel Simon Germany 7 57 44 34 27 20 17 78
Mathias Preiner Austria 5 52 0.9× 51 1.2× 17 0.5× 44 1.6× 12 0.6× 13 98
César Kunz Spain 4 38 0.7× 23 0.5× 34 1.0× 19 0.7× 8 0.4× 6 66
Fred Mesnard Réunion 7 107 1.9× 98 2.2× 28 0.8× 36 1.3× 9 0.5× 9 129
David Pichardie France 8 109 1.9× 61 1.4× 34 1.0× 27 1.0× 36 1.8× 26 133
Juan Manuel Crespo Spain 3 31 0.5× 17 0.4× 33 1.0× 19 0.7× 8 0.4× 6 62
Jan Strejček Czechia 5 36 0.6× 39 0.9× 10 0.3× 27 1.0× 7 0.3× 21 69
Bow-Yaw Wang Taiwan 7 95 1.7× 47 1.1× 10 0.3× 46 1.7× 28 1.4× 25 122
Ming Kawaguchi United States 5 93 1.6× 52 1.2× 30 0.9× 45 1.7× 9 0.5× 11 129
Aleksandar Chakarov United States 4 45 0.8× 33 0.8× 12 0.4× 33 1.2× 7 0.3× 9 85
Andreas Holzer Austria 4 76 1.3× 42 1.0× 34 1.0× 51 1.9× 7 0.3× 13 142

Countries citing papers authored by Axel Simon

Since Specialization
Citations

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

Fields of papers citing papers by Axel Simon

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Axel Simon

This figure shows the co-authorship network connecting the top 25 collaborators of Axel Simon. A scholar is included among the top collaborators of Axel Simon 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 Axel Simon. Axel Simon is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

17 of 17 papers shown
1.
Howe, Jacob M., Andy King, & Axel Simon. (2018). Incremental Closure for Systems of Two Variables Per Inequality. Theoretical Computer Science. 768. 1–42.
2.
Simon, Axel. (2014). Deriving a complete type inference for Hindley–Milner and vector sizes using expansion. Science of Computer Programming. 95. 254–271.
3.
Simon, Axel, et al.. (2014). The GDSL toolkit. 1–6.
4.
Giacobazzi, Roberto, et al.. (2014). Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241). DROPS (Schloss Dagstuhl – Leibniz Center for Informatics).
5.
6.
Simon, Axel, et al.. (2012). GDSL: A Generic Decoder Specification Language for Interpreting Machine Language. Electronic Notes in Theoretical Computer Science. 289. 53–64. 8 indexed citations
7.
Simon, Axel, et al.. (2012). Summarized Dimensions Revisited. Electronic Notes in Theoretical Computer Science. 288. 75–86. 2 indexed citations
8.
Mycroft, Alan, et al.. (2012). Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 6 indexed citations
9.
Mihaila, Bogdan, et al.. (2011). Precise Static Analysis of Binaries by Extracting Relational Information. 357–366. 14 indexed citations
10.
Simon, Axel. (2010). Speeding up Polyhedral Analysis by Identifying Common Constraints. Electronic Notes in Theoretical Computer Science. 267(1). 127–138. 4 indexed citations
11.
Simon, Axel & Andy King. (2010). The two variable per inequality abstract domain. LISP and Symbolic Computation. 23(1). 87–143. 11 indexed citations
12.
Simon, Axel. (2010). A Note on the Inversion Join for Polyhedral Analysis. Electronic Notes in Theoretical Computer Science. 267(1). 115–126. 1 indexed citations
13.
Simon, Axel. (2008). Value-range analysis of C programs towards proving the absence of buffer overflow vulnerabilities. 6 indexed citations
14.
Simon, Axel. (2008). Value-Range Analysis of C Programs. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 11 indexed citations
15.
Simon, Axel & Andy King. (2004). Convex hull of planarh-polyhedra. International Journal of Computer Mathematics. 81(3). 259–271. 1 indexed citations
16.
Simon, Axel, et al.. (2003). Two Variables per Linear Inequality as an Abstract Domain. 1 indexed citations
17.
Simon, Axel, Olaf Chitil, & Frank Huch. (2000). Typeview: A Tool for Understanding Type Errors. Kent Academic Repository (University of Kent). 11 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

Breakdown of academic impact, for papers by Mathias Preiner Breakdown of academic impact, for papers by César Kunz Breakdown of academic impact, for papers by Fred Mesnard Breakdown of academic impact, for papers by David Pichardie Breakdown of academic impact, for papers by Juan Manuel Crespo Breakdown of academic impact, for papers by Jan Strejček Breakdown of academic impact, for papers by Bow-Yaw Wang Breakdown of academic impact, for papers by Ming Kawaguchi Breakdown of academic impact, for papers by Aleksandar Chakarov Breakdown of academic impact, for papers by Andreas Holzer
Rankless by CCL
2026