Sebastiaan J. C. Joosten

Available identifiers

zbMath Open joosten.sebastiaan-j-cMaRDI QIDQ1785853

List of research outcomes

Publication	Date of Publication	Type
Automated Verification of Parallel Nested DFS	2022-10-13	Paper
Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL	2020-11-02	Paper
A verified implementation of the Berlekamp-Zassenhaus factorization algorithm	2020-04-07	Paper
A verified implementation of algebraic numbers in Isabelle/HOL	2020-03-03	Paper
A formalization of the LLL basis reduction algorithm	2018-10-04	Paper
Finding models through graph saturation	2018-10-01	Paper
Certifying safety and termination proofs for integer transition systems	2017-09-22	Paper
Parsing and Printing of and with Triples	2017-07-21	Paper
Type Checking by Domain Analysis in Ampersand	2016-01-08	Paper
Ampersand	2011-06-17	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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