| 2025 | ICISSP | SABEC: Secure and Adaptive Blockchain-Enabled Coordination Protocol for Unmanned Aerial Vehicles(UAVs) Network. | Hulya Dogan, Anton Setzer |
| 2018 | EDCC | Formal Verification for Feature-Based Composition of Workflows. | Stephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov, Anton Setzer |
| 2018 | PPDP | Declarative GUIs: Simple, Consistent, and Verified. | Stephan Adelsberger, Anton Setzer, Eric Walkingshaw |
| 2018 | SETTA | Developing GUI Applications in a Verified Setting. | Stephan Adelsberger, Anton Setzer, Eric Walkingshaw |
| 2016 | ICFP | Programming with monadic CSP-style processes in dependent type theory. | Bashar Igried, Anton Setzer |
| 2013 | LICS | Fibred Data Types. | Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer |
| 2013 | POPL | Copatterns: programming infinite structures by observations. | Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer |
| 2013 | SEFM | Verification of Solid State Interlocking Programs. | Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick |
| 2011 | CALCO | A Categorical Semantics for Inductive-Inductive Definitions. | Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer |
| 2010 | CSL | Inductive-Inductive Definitions. | Fredrik Nordvall Forsberg, Anton Setzer |
| 2006 | CiE | Partial Recursive Functions in Martin-Lf Type Theory. | Anton Setzer |
| 2006 | CSL | Weak Bisimulation Approximants. | Will Harwood, Faron Moller, Anton Setzer |
| 2000 | CSL | Interactive Programs in Dependent Type Theory. | Peter G. Hancock, Anton Setzer |
| 1996 | CSL | Inductive Definitions with Decidable Atomic Formulas. | Anton Setzer |