Anton Setzer

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 15

Top Topics

Transactional Properties

Graphical User Interfaces

Top Venues

Math. Struct. Comput. Sci.

Publications

Fahad F. Alhabardi, Anton Setzer
A model of Solidity-style smart contracts in the theorem prover Agda. AIBThings (2023)
Fahad F. Alhabardi, Anton Setzer
A simulator of Solidity-style smart contracts in the theorem prover Agda. ICBTA (2023)
Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer
Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions for Access Control. CoRR (2022)
Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer
Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control. TYPES (2021)
Ulrich Berger, Anton Setzer
Undecidability of Equality for Codata Types. CMCS (2018)
Stephan Adelsberger, Anton Setzer, Eric Walkingshaw
Declarative GUIs: Simple, Consistent, and Verified. PPDP (2018)
Stephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov, Anton Setzer
Formal Verification for Feature-Based Composition of Workflows. EDCC (2018)
Anton Setzer
Modelling Bitcoin in Agda. CoRR (2018)
Ulrich Berger, Ralph Matthes, Anton Setzer
Martin Hofmann's Case for Non-Strictly Positive Data Types. TYPES (2018)
Stephan Adelsberger, Anton Setzer, Eric Walkingshaw
Developing GUI Applications in a Verified Setting. SETTA (2018)
Andreas Abel, Stephan Adelsberger, Anton Setzer
Interactive programming in Agda - Objects and graphical user interfaces. J. Funct. Program. 27 (2017)
Karim Kanso, Anton Setzer
A light-weight integration of automated and interactive theorem proving. Math. Struct. Comput. Sci. 26 (1) (2016)
Bashar Igried, Anton Setzer
Defining Trace Semantics for CSP-Agda. TYPES (2016)
Bashar Igried, Anton Setzer
Trace and Stable Failures Semantics for CSP-Agda. CoALP-Ty (2016)
Bashar Igried, Anton Setzer
Programming with monadic CSP-style processes in dependent type theory. TyDe@ICFP (2016)
Anton Setzer, Andreas Abel, Brigitte Pientka, David Thibodeau
Unnesting of Copatterns. RTA-TLCA (2014)
Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer
Copatterns: programming infinite structures by observations. POPL (2013)
Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick
Verification of Solid State Interlocking Programs. SEFM Workshops (2013)
Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer
Fibred Data Types. LICS (2013)
Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer
A Categorical Semantics for Inductive-Inductive Definitions. CALCO (2011)
Fredrik Nordvall Forsberg, Anton Setzer
Inductive-Inductive Definitions. CSL (2010)
Karim Kanso, Faron Moller, Anton Setzer
Automated Verification of Signalling Principles in Railway Interlocking Systems. Electron. Notes Theor. Comput. Sci. 250 (2) (2009)
Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer
-Calculus into a Mathematical Model of C++. Theory Comput. Syst. 43 (3-4) (2008)
Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer
Functional concepts in C++. Trends in Functional Programming (2006)
Anton Setzer
Object-oriented programming in dependent type theory. Trends in Functional Programming (2006)
Anton Setzer
Partial Recursive Functions in Martin-Löf Type Theory. CiE (2006)
Peter Dybjer, Anton Setzer
Indexed induction-recursion. J. Log. Algebraic Methods Program. 66 (1) (2006)
Will Harwood, Faron Moller, Anton Setzer
Weak Bisimulation Approximants. CSL (2006)
Anton Setzer, Peter G. Hancock
Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version). Dependently Typed Programming (2004)
Markus Michelbrink, Anton Setzer
State Dependent IO-Monads in Type Theory. CTCS (2004)
Peter Dybjer, Anton Setzer
Induction-recursion and initial algebras. Ann. Pure Appl. Log. 124 (1-3) (2003)
Anton Setzer
Java as a Functional Programming Language. TYPES (2002)
Peter Dybjer, Anton Setzer
Indexed Induction-Recursion. Proof Theory in Computer Science (2001)
Anton Setzer
Extending Martin-Löf Type Theory by one Mahlo-universe. Arch. Math. Log. 39 (3) (2000)
Peter G. Hancock, Anton Setzer
Interactive Programs in Dependent Type Theory. CSL (2000)
Peter Dybjer, Anton Setzer
A Finite Axiomatization of Inductive-Recursive Definitions. TLCA (1999)
Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm
The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. J. Symb. Log. 64 (1) (1999)
Anton Setzer
Well-Ordering, Proofs for Martin-Löf Type Theory. Ann. Pure Appl. Log. 92 (2) (1998)
Anton Setzer
Translating Set Theoretical Proofs into Type Theoretical Programs. Kurt Gödel Colloquium (1997)
Anton Setzer
Inductive Definitions with Decidable Atomic Formulas. CSL (1996)
Peter Clote, Anton Setzer
-connectivity, and odd charged graphs. Proof Complexity and Feasible Arithmetics (1996)