Research Program Towards High-Quality and Intelligent Software (THIS)

Filter

2023
Choreographic Programming of Isolated Transactions
Smeele, T. & Jongmans, S. S., 13 Apr 2023, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 378, p. 49-60 12 p.
Research output: Contribution to journal › Conference Article in journal › Academic › peer-review

Open Access
The ICARUS-System for Interactive Coherence Establishment in Logic Programs
Thevapalan, A. & Heyninck, J., 12 Sept 2023, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 385, p. 256-259 4 p.
Research output: Contribution to journal › Conference Article in journal › Academic › peer-review

Open Access
2022
ABE Squared: Accurately Benchmarking Efficiency of Attribute-Based Encryption
Venema, M., de la Piedra, A. & Alpár, G., 15 Feb 2022, In: IACR Transactions on Cryptographic Hardware and Embedded Systems. 2022, 2, p. 192-239 48 p.
Research output: Contribution to journal › Conference Article in journal › Academic › peer-review

Open Access
On Nested Justification Systems
Marynissen, S., Heyninck, J., Bogaerts, B. & Denecker, M., Sept 2022, In: Theory and Practice of Logic Programming. 22, 5, p. 641-657 17 p.
Research output: Contribution to journal › Conference Article in journal › Academic › peer-review

Open Access

Research output