Search Results - Anton Setzer

Study
International
Research
Business
Alumni
News & Events
Support & Wellbeing

Swansea University's Research Repository

0 items
English
Cymraeg

Advanced
Browse the Catalogue
Options

Search: Anton Setzer

Search: 'Anton Setzer'

Showing 21 - 40 of 41 query time: 0.02s

Sort

Search Tools: Get RSS Feed

Select Page | with selected:

Conference Paper/Proceeding/Abstract

Weak Bisimulation Approximants / Will Harwood, Faron Moller

Swansea University Author: Anton Setzer
Published in Computer Science Logic (2006)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Book chapter

Inductive-Inductive Definitions / Fredrik Nordvall Forsberg

Swansea University Author: Anton Setzer
Published in Computer Science Logic (2010)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

Automated Verification of Signalling Principles in Railway Interlocking Systems / Karim Kanso, Faron Moller

Swansea University Author: Anton Setzer
Published in Electronic Notes in Theoretical Computer Science (2009)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

Automated Verification of Signalling Principles in Railway Interlocking Systems / Karim Kanso

Swansea University Authors: Faron Moller, Anton Setzer
Published in Electronic Notes in Theoretical Computer Science (2009)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Developing GUI Applications in a Verified Setting / Stephan Adelsberger, Eric Walkingshaw

Swansea University Author: Anton Setzer
Published in Dependable Software Engineering. Theories, Tools, and Applications (2018)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Declarative GUIs: Simple, Consistent, and Verified / Stephan Adelsberger, Eric Walkingshaw

Swansea University Author: Anton Setzer
Published in PPDP '18 Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming (2018)

Download now

Show QR Code

Journal article

Interactive programming in Agda – Objects and graphical user interfaces / Andreas Abel, Stephan Adelsberger

Swansea University Author: Anton Setzer
Published in Journal of Functional Programming (2017)

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Martin Hofmann’s case for non-strictly positive 1 data types / Ralph Matthes, Anton Setzer

Swansea University Author: Ulrich Berger
Published in 24th International Conference on Types for Proofs and Programs (2019)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Martin Hofmann’s case for non-strictly positive data types / Ralph Matthes

Swansea University Authors: Ulrich Berger, Anton Setzer
Published in Leibniz International Proceedings in Informatics, LIPIcs (2019)

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Verifying Correctness of Smart Contracts with Conditionals / Fahad Alhabardi, Bogdan Lazar

Swansea University Author: Anton Setzer
Published in 2022 IEEE 1st Global Emerging Technology Blockchain Forum: Blockchain & Beyond (iGETblockchain) (2022)

In collection: Faculty of Science and Engineering

Get full text
Show QR Code

Conference Paper/Proceeding/Abstract

Unnesting of Copatterns / Andreas Abel, Brigitte Pientka, David Thibodeau

Swansea University Author: Anton Setzer
Published in Rewriting and Typed Lambda Calculi (2014)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Journal article

A Provably Correct Translation of the λ-Calculus into a Mathematical Model of C++ / Rose H. Abdul Rauf

Swansea University Authors: Ulrich Berger, Anton Setzer
Published in Theory of Computing Systems (2008)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Copatterns: programming infinite structures by observations / Andreas Abel, Brigitte Pientka, David Thibodeau

Swansea University Author: Anton Setzer
Published in Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2013)

In collection: Faculty of Science and Engineering

Check full text
Show QR Code

Conference Paper/Proceeding/Abstract

A Categorical Semantics for Inductive-Inductive Definitions / Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg

Swansea University Author: Anton Setzer
Published in Algebra and Coalgebra in Computer Science. 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings (2011)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Fibred Data Types / Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg

Swansea University Author: Anton Setzer
Published in Logic in Computer Science (LICS), 2013 28th Annual IEEE/ACM Symposium on (2013)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Formal Verification for Feature-Based Composition of Workflows / Stephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov

Swansea University Author: Anton Setzer
Published 2018

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control / Fahad F. Alhabardi, Bogdan Lazar

Swansea University Authors: Arnold Beckmann, Anton Setzer
Published in 27th International Conference on Types for Proofs and Programs (TYPES 2021) (2022)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Conference Paper/Proceeding/Abstract

Verification of Solid State Interlocking Programs / Andy Lawrence, Faron Moller, Markus Roggenbach, Monika Seisenberger, Karim Kanso, et al

Swansea University Authors: Phillip James, Anton Setzer
Published in Software Engineering and Formal Methods (2014)

Download now

Show QR Code

Book chapter

Verification of Solid State Interlocking Programs / Phillip James, Andy Lawrence, Markus Roggenbach, Anton Setzer, Karim Kanso, et al

Swansea University Authors: Faron Moller, Monika Seisenberger
Published in Software Engineering and Formal Methods (2014)

In collection: Faculty of Science and Engineering

Show QR Code

Journal article

InPerpetuity{Challenging Misperceptions of the Term ‘Smart Contract’} / Monica L Vessio, Séverine Saintier

Swansea University Authors: Arnold Beckmann, Matt Roach, Rhys Clements, Anton Setzer
Published in European Journal of Law and Technology (2024)

In collection: Faculty of Science and Engineering

Download now

Show QR Code

Select Page | with selected: