Anton Setzer

891 total citations
22 papers, 227 citations indexed

About

Anton Setzer is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Anton Setzer has authored 22 papers receiving a total of 227 indexed citations (citations by other indexed papers that have themselves been cited), including 19 papers in Artificial Intelligence, 14 papers in Computational Theory and Mathematics and 3 papers in Software. Recurrent topics in Anton Setzer's work include Logic, programming, and type systems (18 papers), Logic, Reasoning, and Knowledge (9 papers) and Formal Methods in Verification (8 papers). Anton Setzer is often cited by papers focused on Logic, programming, and type systems (18 papers), Logic, Reasoning, and Knowledge (9 papers) and Formal Methods in Verification (8 papers). Anton Setzer collaborates with scholars based in United Kingdom, Sweden and Austria. Anton Setzer's co-authors include Peter Dybjer, Andreas Abel, Brigitte Pientka, Faron Moller, Reinhard Kähle, Gerhard Jäger, Thomas Strahm, Neil Ghani and Eric Walkingshaw and has published in prestigious journals such as ACM SIGPLAN Notices, Journal of Symbolic Logic and Journal of Functional Programming.

In The Last Decade

Anton Setzer

22 papers receiving 214 citations

Peers — A (Enhanced Table)

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

Name h Career Trend Papers Cites
Anton Setzer United Kingdom 8 175 157 38 20 19 22 227
Ulrich Berger United Kingdom 13 398 2.3× 333 2.1× 25 0.7× 6 0.3× 17 0.9× 42 453
Kent Petersson Sweden 5 349 2.0× 230 1.5× 26 0.7× 8 0.4× 27 1.4× 7 375
Christian G. Fermüller Austria 11 274 1.6× 225 1.4× 18 0.5× 14 0.7× 8 0.4× 29 322
Bengt Nordström Sweden 6 411 2.3× 280 1.8× 26 0.7× 8 0.4× 36 1.9× 14 441
Horst Reichel Germany 7 198 1.1× 172 1.1× 31 0.8× 2 0.1× 18 0.9× 23 255
Richard A. Platek United States 5 161 0.9× 165 1.1× 7 0.2× 6 0.3× 7 0.4× 10 216
Herman Geuvers Netherlands 11 297 1.7× 228 1.5× 25 0.7× 2 0.1× 26 1.4× 51 343
Irène Guessarian France 7 155 0.9× 155 1.0× 11 0.3× 4 0.2× 9 0.5× 28 213
Julian Bradfield United Kingdom 7 92 0.5× 107 0.7× 45 1.2× 12 0.6× 29 1.5× 14 181
Michał Walicki Norway 8 111 0.6× 77 0.5× 9 0.2× 13 0.7× 17 0.9× 35 145

Countries citing papers authored by Anton Setzer

Since Specialization
Citations

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

Fields of papers citing papers by Anton Setzer

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

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

Co-authorship network of co-authors of Anton Setzer

This figure shows the co-authorship network connecting the top 25 collaborators of Anton Setzer. A scholar is included among the top collaborators of Anton Setzer 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 Anton Setzer. Anton Setzer 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.
Dybjer, Peter & Anton Setzer. (2023). The extended predicative Mahlo universe in Martin-Löf type theory. Journal of Logic and Computation. 34(6). 1032–1063. 1 indexed citations
2.
Setzer, Anton, et al.. (2023). A model of Solidity-style smart contracts in the theorem prover Agda. Cronfa (Swansea University). 239. 1–10. 2 indexed citations
3.
Setzer, Anton, et al.. (2023). A simulator of Solidity-style smart contracts in the theorem prover Agda. Cronfa (Swansea University). 1–11. 1 indexed citations
4.
Setzer, Anton, et al.. (2022). Verifying Correctness of Smart Contracts with Conditionals. 1–6. 3 indexed citations
5.
Setzer, Anton, et al.. (2018). Formal Verification for Feature-Based Composition of Workflows. Cronfa (Swansea University). 85. 173–181. 1 indexed citations
6.
Abel, Andreas, et al.. (2017). Interactive programming in Agda – Objects and graphical user interfaces. Journal of Functional Programming. 27. 5 indexed citations
7.
Setzer, Anton, et al.. (2016). Programming with monadic CSP-style processes in dependent type theory. Cronfa (Swansea University). 124. 28–38. 2 indexed citations
8.
Setzer, Anton, et al.. (2014). A light-weight integration of automated and interactive theorem proving. Mathematical Structures in Computer Science. 26(1). 129–153. 2 indexed citations
9.
Abel, Andreas, et al.. (2013). Copatterns. ACM SIGPLAN Notices. 48(1). 27–38. 9 indexed citations
10.
Ghani, Neil, et al.. (2013). Fibred Data Types. Cronfa (Swansea University). 141. 243–252. 2 indexed citations
11.
Abel, Andreas, et al.. (2013). Copatterns. 27–38. 44 indexed citations
12.
Moller, Faron, et al.. (2009). Automated Verification of Signalling Principles in Railway Interlocking Systems. Electronic Notes in Theoretical Computer Science. 250(2). 19–31. 34 indexed citations
13.
Setzer, Anton. (2009). Specifying railway interlocking systems. Cronfa (Swansea University). 1 indexed citations
14.
Dybjer, Peter & Anton Setzer. (2005). Indexed induction–recursion. The Journal of Logic and Algebraic Programming. 66(1). 1–49. 19 indexed citations
15.
Setzer, Anton, et al.. (2005). State Dependent IO-Monads in Type Theory. Electronic Notes in Theoretical Computer Science. 122. 127–146. 6 indexed citations
16.
Dybjer, Peter & Anton Setzer. (2003). Induction–recursion and initial algebras. Annals of Pure and Applied Logic. 124(1-3). 1–47. 29 indexed citations
17.
Setzer, Anton. (2003). Java as a Functional Programming Language. 1 indexed citations
18.
Setzer, Anton. (2000). Extending Martin-Löf Type Theory by one Mahlo-universe. Archive for Mathematical Logic. 39(3). 155–181. 21 indexed citations
19.
Jäger, Gerhard, Reinhard Kähle, Anton Setzer, & Thomas Strahm. (1999). The proof-theoretic analysis of transfinitely iterated fixed point theories. Journal of Symbolic Logic. 64(1). 53–67. 22 indexed citations
20.
Setzer, Anton. (1998). Well-ordering proofs for Martin-Löf type theory. Annals of Pure and Applied Logic. 92(2). 113–159. 17 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 Ulrich Berger Breakdown of academic impact, for papers by Kent Petersson Breakdown of academic impact, for papers by Christian G. Fermüller Breakdown of academic impact, for papers by Bengt Nordström Breakdown of academic impact, for papers by Horst Reichel Breakdown of academic impact, for papers by Richard A. Platek Breakdown of academic impact, for papers by Herman Geuvers Breakdown of academic impact, for papers by Irène Guessarian Breakdown of academic impact, for papers by Julian Bradfield Breakdown of academic impact, for papers by Michał Walicki
Rankless by CCL
2026