Sebastiaan J. C. Joosten

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Translating three-variable first-order predicate logic to relation algebra, implemented using Z3 Fundamenta Informaticae	2026-01-22	Paper
Data migration under a changing schema in ampersand	2025-03-12	Paper
Initial experiments with TPTP-style automated theorem provers on ACL2 problems	2024-08-19	Paper
A macro for reusing abstract functions and theorems	2024-08-13	Paper
Automated verification of parallel nested DFS Tools and Algorithms for the Construction and Analysis of Systems	2022-10-13	Paper
Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL Journal of Automated Reasoning	2020-11-02	Paper
A verified implementation of the Berlekamp-Zassenhaus factorization algorithm Journal of Automated Reasoning	2020-04-07	Paper
A verified implementation of algebraic numbers in Isabelle/HOL Journal of Automated Reasoning	2020-03-03	Paper
A formalization of the LLL basis reduction algorithm	2018-10-04	Paper
Finding models through graph saturation Journal of Logical and Algebraic Methods in Programming	2018-10-01	Paper
Certifying safety and termination proofs for integer transition systems	2017-09-22	Paper
Parsing and printing of and with triples Relational and Algebraic Methods in Computer Science	2017-07-21	Paper
Type Checking by Domain Analysis in Ampersand Relational and Algebraic Methods in Computer Science	2016-01-08	Paper
Ampersand. Applying relation algebra in practice Relational and Algebraic Methods in Computer Science	2011-06-17	Paper

Research outcomes over time

This page was built for person: Sebastiaan J. C. Joosten