Jakob Schulz

According to our database, Jakob Schulz authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2024

Karatsuba Multiplication on Integers.

Jakob Schulz, Emin Karayel

Arch. Formal Proofs, 2024

Schönhage-Strassen Multiplication.

Jakob Schulz

Arch. Formal Proofs, 2024