| Programming with monadic CSP-style processes in dependent type theory B Igried, A Setzer Proceedings of the 1st International Workshop on Type-Driven Development, 28-38, 2016 | 11 | 2016 |
| Trace and stable failures semantics for csp-agda B Igried, A Setzer arXiv preprint arXiv:1709.04714, 2017 | 3 | 2017 |
| Defining trace semantics for CSP-Agda, 30 Jan 2018 B Igried, A Setzer in Postproceedings TYPES, 2016 | 3 | 2016 |
| Risk and Vulnerability Analyses for the protection of Information for Future communication security Based Neural Networks AK Igried, AS Takialddin, AKB Igried Journal of Advanced Sciences and Engineering Technologies 2 (1), 31-39, 2019 | 2 | 2019 |
| CSP-Agda B Igried, A Setzer Agda library, 2016 | 2 | 2016 |
| Formal Verification for Feature-based Composition of Workflows S Adelsberger, B Igried, M Moser, V Savenkov, A Setzer 2018 14th European Dependable Computing Conference (EDCC), 173-181, 2018 | 1 | 2018 |
| TYPES 2016: 22nd International Conference on Types for Proofs and Programs, May 23-26, 2016-Novi Sad, Serbia S Ghilezan, H Geuvers, J Ivetic Schloss Dagstuhl: Dagstuhl, 2018 | | 2018 |
| LIPIcs, Volume 97, TYPES'16, Complete Volume S Ghilezan, H Geuvers, J Ivetić 22nd International Conference on Types for Proofs and Programs (TYPES 2016), 2018 | | 2018 |
| Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types E Komendantskaya, J Power arXiv preprint arXiv:1709.04199, 2017 | | 2017 |
| CoALP-Ty'16 E Komendantskaya, F Farka arXiv preprint arXiv:1612.03032, 2016 | | 2016 |
| Defining Trace Semantics for CSP-Agda B Igried, A Setzer CoALP-Ty’16, 21, 2016 | | 2016 |
| Programming with Objects in Theorem Provers based on Martin Löf Type Theory A Setzer Time Table, 21, 2016 | | 2016 |
| Representing the Process Algebra CSP in Type Theory B Igried, A Setzer | | |
Anton SetzerDept of Computerv Science, Swansea UniversityVerified email at swansea.ac.uk
