Most downloads
-
4584
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4130
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2517
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published
Latest publications
Statistical investigations into the geometry and homology of random programs
Research output: Working paper › Preprint › Research
Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Towards Clean Reversible Lossless Compression
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review