Thomas Ammer

According to our database, Thomas Ammer authored at least 6 papers between 2021 and 2026.

Collaborative distances:

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

2026

Formal Primal-Dual Algorithm Analysis.

Mohammad Abdulaziz, Thomas Ammer

CoRR, April, 2026

Nominal Unification.

Guilherme Borges Brandão, Thomas Ammer, Daniele Nantes Sobrinho, Mauricio Ayala-Rincón, Christian Urban, Maribel Fernández, Mohammad Abdulaziz

Arch. Formal Proofs, 2026

2025

A Formal Analysis of Algorithms for Matroids and Greedoids.

Mohammad Abdulaziz, Thomas Ammer, Shriya Meenakshisundaram, Adem Rimpapa

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024

A Formal Analysis of Capacity Scaling Algorithms for Minimum Cost Flows.

Mohammad Abdulaziz, Thomas Ammer

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2022

Number Theoretic Transform.

Thomas Ammer, Katharina Kreuzer

Arch. Formal Proofs, 2022

2021

van Emde Boas Trees.

Thomas Ammer, Peter Lammich

Arch. Formal Proofs, 2021