Inductive Definitions with Decidable Atomic Formulas. - Anton Setzer (CSL, 1996)

On PHP st-connectivity, and odd charged graphs. - Peter Clote; Anton Setzer (Proof Complexity and Feasible Arithmetics, 1996)

Translating Set Theoretical Proofs into Type Theoretical Programs. - Anton Setzer (Kurt Gödel Colloquium, 1997)

Well-Ordering, Proofs for Martin-Löf Type Theory. - Anton Setzer (Ann. Pure Appl. Log., 1998)

A Finite Axiomatization of Inductive-Recursive Definitions. - Peter Dybjer; Anton Setzer (TLCA, 1999)

The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. - Gerhard Jäger; Reinhard Kahle; Anton Setzer; Thomas Strahm (J. Symb. Log., 1999)

Interactive Programs in Dependent Type Theory. - Peter G. Hancock; Anton Setzer (CSL, 2000)

Extending Martin-Löf Type Theory by one Mahlo-universe. - Anton Setzer (Arch. Math. Log., 2000)

Java as a Functional Programming Language. - Anton Setzer (TYPES, 2002)

Induction-recursion and initial algebras. - Peter Dybjer; Anton Setzer (Ann. Pure Appl. Log., 2003)

Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version). - Anton Setzer; Peter G. Hancock (Dependently Typed Programming, 2004)

State Dependent IO-Monads in Type Theory. - Markus Michelbrink; Anton Setzer (CTCS, 2004)

Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory. - Peter G. Hancock; Anton Setzer (From sets and types to topology and analysis, 2005)

Partial Recursive Functions in Martin-Löf Type Theory. - Anton Setzer (CiE, 2006)

Weak Bisimulation Approximants. - Will Harwood; Faron Moller; Anton Setzer (CSL, 2006)

Functional concepts in C++. - Rose H. Abdul Rauf; Ulrich Berger 001; Anton Setzer (Trends in Functional Programming, 2006)

Object-oriented programming in dependent type theory. - Anton Setzer (Trends in Functional Programming, 2006)

Indexed induction-recursion. - Peter Dybjer; Anton Setzer (J. Log. Algebraic Methods Program., 2006)

Automated Verification of Signalling Principles in Railway Interlocking Systems. - Karim Kanso; Faron Moller; Anton Setzer (AVoCS, 2008)

A Provably Correct Translation of the lambda -Calculus into a Mathematical Model of C++. - Rose H. Abdul Rauf; Ulrich Berger 001; Anton Setzer (Theory Comput. Syst., 2008)

Inductive-Inductive Definitions. - Fredrik Nordvall Forsberg; Anton Setzer (CSL, 2010)

A Categorical Semantics for Inductive-Inductive Definitions. - Thorsten Altenkirch; Peter Morris; Fredrik Nordvall Forsberg; Anton Setzer (CALCO, 2011)

Coalgebras as Types Determined by Their Elimination Rules. - Anton Setzer (Epistemology versus Ontology, 2012)

Fibred Data Types. - Neil Ghani; Lorenzo Malatesta; Fredrik Nordvall Forsberg; Anton Setzer (LICS, 2013)

Copatterns: programming infinite structures by observations. - Andreas Abel 001; Brigitte Pientka; David Thibodeau 001; Anton Setzer (POPL, 2013)

Verification of Solid State Interlocking Programs. - Phillip James; Andy Lawrence; Faron Moller; Markus Roggenbach; Monika Seisenberger; Anton Setzer; Karim Kanso; Simon Chadwick (SEFM Workshops, 2013)

Unnesting of Copatterns. - Anton Setzer; Andreas Abel 001; Brigitte Pientka; David Thibodeau 001 (RTA-TLCA, 2014)

Programming with monadic CSP-style processes in dependent type theory. - Bashar Igried; Anton Setzer (TyDe@ICFP, 2016)

Defining Trace Semantics for CSP-Agda. - Bashar Igried; Anton Setzer (TYPES, 2016)

Trace and Stable Failures Semantics for CSP-Agda. - Bashar Igried; Anton Setzer (CoALP-Ty, 2016)

A light-weight integration of automated and interactive theorem proving. - Karim Kanso; Anton Setzer (Math. Struct. Comput. Sci., 2016)

Interactive programming in Agda - Objects and graphical user interfaces. - Andreas Abel 001; Stephan Adelsberger; Anton Setzer (J. Funct. Program., 2017)

Undecidability of Equality for Codata Types. - Ulrich Berger 001; Anton Setzer (CMCS, 2018)

Formal Verification for Feature-Based Composition of Workflows. - Stephan Adelsberger; Bashar Igried; Markus Moser; Vadim Savenkov; Anton Setzer (EDCC, 2018)

Declarative GUIs: Simple, Consistent, and Verified. - Stephan Adelsberger; Anton Setzer; Eric Walkingshaw (PPDP, 2018)

Developing GUI Applications in a Verified Setting. - Stephan Adelsberger; Anton Setzer; Eric Walkingshaw (SETTA, 2018)

Martin Hofmann's Case for Non-Strictly Positive Data Types. - Ulrich Berger 001; Ralph Matthes; Anton Setzer (TYPES, 2018)

Modelling Bitcoin in Agda. - Anton Setzer (CoRR, 2018)

Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control. - Fahad F. Alhabardi; Arnold Beckmann; Bogdan Lazar; Anton Setzer (TYPES, 2021)

Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions for Access Control. - Fahad F. Alhabardi; Arnold Beckmann; Bogdan Lazar; Anton Setzer (CoRR, 2022)

A model of Solidity-style smart contracts in the theorem prover Agda. - Fahad F. Alhabardi; Anton Setzer (AIBThings, 2023)

A simulator of Solidity-style smart contracts in the theorem prover Agda. - Fahad F. Alhabardi; Anton Setzer (ICBTA, 2023)

InPerpetuity{Challenging Misperceptions of the Term 'Smart Contract'}. - Monica Vessio; Arnold Beckmann; Matt J. Roach; Severine Saintier; Rhys Clements; Anton Setzer (Eur. J. Law Technol., 2024)

The extended predicative Mahlo universe in Martin-Löf type theory. - Peter Dybjer; Anton Setzer (J. Log. Comput., 2024)

SABEC: Secure and Adaptive Blockchain-Enabled Coordination Protocol for Unmanned Aerial Vehicles(UAVs) Network. - Hulya Dogan; Anton Setzer (ICISSP (1), 2025)