Schönhage-Strassen Multiplication. - Jakob Schulz (Arch. Formal Proofs, 2024)

Karatsuba Multiplication on Integers. - Jakob Schulz; Emin Karayel (Arch. Formal Proofs, 2024)

Weakly Acyclic Diagrams: A Data Structure for Infinite-State Symbolic Verification. - Michael Blondin; Michaël Cadilhac; Xin-Yi Cui; Philipp Czerner; Javier Esparza; Jakob Schulz (TACAS (3), 2025)