Anton Setzer - RankMe

47 papers A* 2B 5C 2Misc 2Journal 13Unranked 21

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Access Hoare Logic. CoRR Arnold Beckmann, Anton Setzer
2025	—	`conf`	SABEC: Secure and Adaptive Blockchain-Enabled Coordination Protocol for Unmanned Aerial Vehicles(UAVs) Network. ICISSP (1) Hulya Dogan, Anton Setzer
2024	J	`jnl`	InPerpetuity{Challenging Misperceptions of the Term 'Smart Contract'}. Eur. J. Law Technol. Monica Vessio, Arnold Beckmann, Matt J. Roach, Severine Saintier, Rhys Clements, Anton Setzer
2024	J	`jnl`	The extended predicative Mahlo universe in Martin-Löf type theory. J. Log. Comput. Peter Dybjer, Anton Setzer
2023	—	`conf`	A model of Solidity-style smart contracts in the theorem prover Agda. AIBThings Fahad F. Alhabardi, Anton Setzer
2023	—	`conf`	A simulator of Solidity-style smart contracts in the theorem prover Agda. ICBTA Fahad F. Alhabardi, Anton Setzer
2022	J	`jnl`	Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions for Access Control. CoRR Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer
2021	—	`conf`	Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control. TYPES Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer
2018	C	`conf`	Declarative GUIs: Simple, Consistent, and Verified. PPDP Stephan Adelsberger, Anton Setzer, Eric Walkingshaw
2018	Misc	`conf`	Developing GUI Applications in a Verified Setting. SETTA Stephan Adelsberger, Anton Setzer, Eric Walkingshaw
2018	Misc	`conf`	Formal Verification for Feature-Based Composition of Workflows. EDCC Stephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov, Anton Setzer
2018	—	`conf`	Martin Hofmann's Case for Non-Strictly Positive Data Types. TYPES Ulrich Berger, Ralph Matthes, Anton Setzer
2018	J	`jnl`	Modelling Bitcoin in Agda. CoRR Anton Setzer
2018	—	`conf`	Undecidability of Equality for Codata Types. CMCS Ulrich Berger, Anton Setzer
2017	J	`jnl`	Interactive programming in Agda - Objects and graphical user interfaces. J. Funct. Program. Andreas Abel, Stephan Adelsberger, Anton Setzer
2016	J	`jnl`	A light-weight integration of automated and interactive theorem proving. Math. Struct. Comput. Sci. Karim Kanso, Anton Setzer
2016	—	`conf`	Defining Trace Semantics for CSP-Agda. TYPES Bashar Igried, Anton Setzer
2016	—	`conf`	Programming with monadic CSP-style processes in dependent type theory. TyDe@ICFP Bashar Igried, Anton Setzer
2016	—	`conf`	Trace and Stable Failures Semantics for CSP-Agda. CoALP-Ty Bashar Igried, Anton Setzer
2014	—	`conf`	Unnesting of Copatterns. RTA-TLCA Anton Setzer, Andreas Abel, Brigitte Pientka, David Thibodeau
2013	A*	`conf`	Copatterns: programming infinite structures by observations. POPL Andreas Abel, Brigitte Pientka, David Thibodeau, Anton Setzer
2013	A*	`conf`	Fibred Data Types. LICS Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer
2013	—	`conf`	Verification of Solid State Interlocking Programs. SEFM Workshops Phillip James, Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Anton Setzer, Karim Kanso, Simon Chadwick
2012	—	`ch.`	Coalgebras as Types Determined by Their Elimination Rules. Epistemology versus Ontology Anton Setzer
2011	B	`conf`	A Categorical Semantics for Inductive-Inductive Definitions. CALCO Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer
2010	B	`conf`	Inductive-Inductive Definitions. CSL Fredrik Nordvall Forsberg, Anton Setzer
2008	J	`jnl`	A Provably Correct Translation of the Theory Comput. Syst. Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer
2008	—	`conf`	Automated Verification of Signalling Principles in Railway Interlocking Systems. AVoCS Karim Kanso, Faron Moller, Anton Setzer
2006	—	`conf`	Functional concepts in C++. Trends in Functional Programming Rose H. Abdul Rauf, Ulrich Berger, Anton Setzer
2006	J	`jnl`	Indexed induction-recursion. J. Log. Algebraic Methods Program. Peter Dybjer, Anton Setzer
2006	—	`conf`	Object-oriented programming in dependent type theory. Trends in Functional Programming Anton Setzer
2006	C	`conf`	Partial Recursive Functions in Martin-Löf Type Theory. CiE Anton Setzer
2006	B	`conf`	Weak Bisimulation Approximants. CSL Will Harwood, Faron Moller, Anton Setzer
2005	—	`ch.`	Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory. From sets and types to topology and analysis Peter G. Hancock, Anton Setzer
2004	—	`conf`	Interactive Programs and Weakly Final Coalgebras in Dependent Type Theory (Extended Version). Dependently Typed Programming Anton Setzer, Peter G. Hancock
2004	—	`conf`	State Dependent IO-Monads in Type Theory. CTCS Markus Michelbrink, Anton Setzer
2003	J	`jnl`	Induction-recursion and initial algebras. Ann. Pure Appl. Log. Peter Dybjer, Anton Setzer
2002	—	`conf`	Java as a Functional Programming Language. TYPES Anton Setzer
2001	—	`conf`	Indexed Induction-Recursion. Proof Theory in Computer Science Peter Dybjer, Anton Setzer
2000	J	`jnl`	Extending Martin-Löf Type Theory by one Mahlo-universe. Arch. Math. Log. Anton Setzer
2000	B	`conf`	Interactive Programs in Dependent Type Theory. CSL Peter G. Hancock, Anton Setzer
1999	—	`conf`	A Finite Axiomatization of Inductive-Recursive Definitions. TLCA Peter Dybjer, Anton Setzer
1999	J	`jnl`	The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. J. Symb. Log. Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm
1998	J	`jnl`	Well-Ordering, Proofs for Martin-Löf Type Theory. Ann. Pure Appl. Log. Anton Setzer
1997	—	`conf`	Translating Set Theoretical Proofs into Type Theoretical Programs. Kurt Gödel Colloquium Anton Setzer
1996	B	`conf`	Inductive Definitions with Decidable Atomic Formulas. CSL Anton Setzer
1996	—	`conf`	On Proof Complexity and Feasible Arithmetics Peter Clote, Anton Setzer